Lecture Notes in Computer Science 2635 From Object-Orientation to Formal Methods Essays in Memory of
2004 年出版389 页ISBN：354021366X
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领域颇有建树的教师和研究人员。
DATABASE MANAGEMENT IN SCIENCE AND TECHNOLOGY A CODATA Sourcebook on the Use of Computers in Data Ac
1984 年出版263 页ISBN：0444868658
Dependence Logic A New Approach to Independence Friendly Logic
Jouko Vaananen2007 年出版225 页ISBN：0521876591
Parallel and constraint logic programming an introduction to logic
parallelism and constraints1998 年出版145 页ISBN：0792393710
PROCEEDINGS OF THE 9TH WORLD CONGRESS ON COMPUTATIONAL MECHANICS AND 4TH ASIAN PACIFIC CONGRESS ON C
NASSER KHALILI2010 年出版333 页ISBN：
Lecture Notes in Computer Science 4024 Petri Nets and Other Models of Convurrency-ICATPN 2006 27th I
2006 年出版440 页ISBN：3540346996
