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领域颇有建树的教师和研究人员。
Photoelectrochemical materials and energy conversion processes volume 12
richardc.alkireanddieterm.kolbandjaceklipkowskiandphilipn.ross2010 年出版359 页ISBN：3527328599
Malayan Chinese and China:Conversion in Identity Consciousness
1945-19571997 年出版166 页ISBN：
MUNICIPAL SOLID WASTE TO ENERGY CONVERSION PROCESSES ECONOMIC
TECHNICAL2010 年出版0 页ISBN：
Lecture Notes in Computer Science 4024 Petri Nets and Other Models of Convurrency-ICATPN 2006 27th I
2006 年出版440 页ISBN：3540346996
OXIDE SEMICONDUCTORS FOR SOLAR ENERGY CONVERSION THTANIUM DIOXIDE
JANUSZ NOWOTNY2012 年出版393 页ISBN：9781439848395
