Lecture Notes in Computer Science 3113 Theory Is Forever Essays Dedicated to Arto Salomaa on The Occ
2004 年出版283 页ISBN：3540223932
Lecture Notes in Computer Science 183 The Munich Project CIP Volume I:The Wide Spectrum Language CIP
1985 年出版275 页ISBN：3540151877
Lecture Notes in Computer Science 3185 Formal Methods for the Design of Real-Time Systems Internatio
Communication and Systems2004 年出版295 页ISBN：
Lecture Notes in Artificial Intelligence 4118 Agents and Peer-to-Peer Computing 4th International Wo
AP2PC 20052006 年出版172 页ISBN：9783540490258
Lecture Notes in Computer Science 4602 Data and Applications Security XXI 21st Annual IFIP WG 11.3 W
2007 年出版292 页ISBN：9783540735335
Lecture Notes in Artificial Intelligence 4529 Foundations of Fuzzy Logic and Soft Computing 12th Int
IFSA 20072007 年出版830 页ISBN：9783540729174
Lecture Notes in Computer Science 755 Formal Program Development IFIP TC2/WG 2.1 State-of-the-Art Re
1993 年出版372 页ISBN：3540574999
PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON COMPUTER-AIDED ARCHITECTURAL DESIGN RESEARCH IN
虞刚，周琦，董卫编2007 年出版671 页ISBN：9787564109257
本书主要内容包括CAADRIA会议主题发言人的演讲以及参与会议人员的论文、与会人员也大都是世界范围内在CAAD领域颇有建树的教师和研究人员。
Lecture Notes in Artificial Intelligence 2922 Advances in Agent Communication Intenational Workshop
ACL 20032004 年出版403 页ISBN：3540207694
