Lecture Notes in Computer Science 4497 Computation and Logic in the Real World Third Conference on C
CiE 20072007 年出版826 页ISBN：9783540730002
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：
PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON COMPUTER-AIDED ARCHITECTURAL DESIGN RESEARCH IN
虞刚，周琦，董卫编2007 年出版671 页ISBN：9787564109257
本书主要内容包括CAADRIA会议主题发言人的演讲以及参与会议人员的论文、与会人员也大都是世界范围内在CAAD领域颇有建树的教师和研究人员。
计算机科学—C++软件工程方法（第2版）Computer Science_ A Structred Approach Using C++_Second Edition
Behrouz A.Forouzan2006 年出版0 页ISBN：
Lecture Notes in Computer Science 4128 Euro-Par 2006 Parallel Processing 12th International Euro-Par
Wolfgang E.Nagel2006 年出版1221 页ISBN：
Lecture Notes in Computer Science 3376 Topics in Cryptology-CT-RSA 2005 The Cryptographers'Track at
2005 年出版385 页ISBN：3540243992
TRS-80 Color Programs Programs for Color BASIC and Extended Color BASIC on the TRS-80 Color Computer
1982 年出版333 页ISBN：0918398614
Lecture Notes in Computer Science 3860 Topics in Cryptology-CT-RSA 2006 The Cryptographers'Track at
2006 年出版365 页ISBN：3540310339
