Lecture Notes in Computer Science 4444 Program Analysis and Compilation
Theory and Practice Essays Dedicated to Reinhard Wilhelm in the Occasion of His 60th Birthday2007 年出版361 页ISBN：9783540713159
Durability of Composites for civil structural applications
vistasp M.Karbhari2007 年出版366 页ISBN：
STRUCTURAL STUDIES OF MACROMOLECULES BY SPECTROSCOPIC METHODS
K.J.IVIN1976 年出版339 页ISBN：0471431206
Lecture Notes in Computer Science 4634 Static Analysis 14th International Symposium
SAS 20072007 年出版467 页ISBN：9783540740605
Lecture Notes in Computer Science 4134 Static Analysis 13th International Symposium
SAS 20062006 年出版443 页ISBN：3540377565
Lecture Notes in Computer Science 3148 Static Analysis 11th International Symposium
SAS 20042004 年出版393 页ISBN：3540227911
Lecture Notes in Computer Science 3672 Static Analysis 12th International Symposium
SAS 20052005 年出版369 页ISBN：3540285849
Principle of Structural Design 结构设计原理
张建仁，刘小燕主编2011 年出版524 页ISBN：9787114093500
本书主要内容包括绪论,钢筋混凝土结构,预应力混凝土结构,砖石结构四部分。
Logic in Computer Science Modelling and Reasoning about Systems 〔Second Edition〕
Michael Huth2004 年出版427 页ISBN：
Lecture Notes in Computer Science 4522 Image Analysis 15th Scandinavian Conference
SCIA 2007 Aalborg2222 年出版0 页ISBN：
