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