Lecture Notes in Computer Science 2635 From Object-Orientation to Formal Methods Essays in Memory of
2004 年出版389 页ISBN:354021366X
CONCEPTS IN DATA STRUCTURES AND SOFTWARE DEVELOPMENT:A TEXT FOR THE SECOND COURSE IN COMPUTER SCIENC
G.MICHAEK SCHNEIDER STEVEN C.BRUELL1992 年出版526 页ISBN:0314774602
Lecture Notes in Computer Science 3243 Algorithms and Models for the Web-Graph Third International W
WAW 20042004 年出版187 页ISBN:3540234276
Lecture Notes in Computer Science 3323 Rules and Rule Markup Languages for the Semantic Web Third In
RuleML 20042004 年出版215 页ISBN:3540238425
Lecture Notes in Computer Science 3791 Rules and Rule Markup Languages for the Semantic Web First In
RuleML 20052005 年出版225 页ISBN:354029922X
Lecture Notes in Computer Science 3185 Formal Methods for the Design of Real-Time Systems Internatio
Communication and Systems2004 年出版295 页ISBN:
计算机科学—C++软件工程方法(第2版)Computer Science_ A Structred Approach Using C++_Second Edition
Behrouz A.Forouzan2006 年出版0 页ISBN:
Lecture Notes in Computer Science 3376 Topics in Cryptology-CT-RSA 2005 The Cryptographers'Track at
2005 年出版385 页ISBN:3540243992
The Minicomputer in On-Line Systems Small Computers in Terminal-Based Systems and Distributed Proces
1981 年出版334 页ISBN:0876265794
TRS-80 Color Programs Programs for Color BASIC and Extended Color BASIC on the TRS-80 Color Computer
1982 年出版333 页ISBN:0918398614