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领域颇有建树的教师和研究人员。
Lecture Notes in Computer Science 4128 Euro-Par 2006 Parallel Processing 12th International Euro-Par
Wolfgang E.Nagel2006 年出版1221 页ISBN：
岩土结构工程新进展 ADVANCES IN GEOTECHNICAL AND STRUCTURAL ENGINEERING 第五届中俄城市与矿山岩土与结构工程会议 英文
王来，乔卫国，王崇革主编2008 年出版503 页ISBN：7564600600
LECTURE NOTES IN ENGINEERING EDITED BY C.A.BREBBIA AND S.A.ORSZAG 41 DIFFERENCE EQUATIONS FROM DIFFE
1989 年出版282 页ISBN：0387507396
Lecture Notes in Computer Science 4863 Algorithms and Models for the Web-Graph 5th International Wor
WAW 20072007 年出版217 页ISBN：9783540770039
Graphs and Order The Role of Graphs in the Theory of Ordered Sets and Its Applications
1985 年出版796 页ISBN：9027719438
Lecture Notes in Computer Science 4024 Petri Nets and Other Models of Convurrency-ICATPN 2006 27th I
2006 年出版440 页ISBN：3540346996
