Lecture Notes in Computer Science 4700 Formal Methods and Hybrid Real-Time Systems Essaya in Honour
2007 年出版539 页ISBN：9783540752202
Lecture Notes in Computer Science 3185 Formal Methods for the Design of Real-Time Systems Internatio
Communication and Systems2004 年出版295 页ISBN：
CONCEPTS IN DATA STRUCTURES AND SOFTWARE DEVELOPMENT:A TEXT FOR THE SECOND COURSE IN COMPUTER SCIENC
G.MICHAEK SCHNEIDER STEVEN C.BRUELL1992 年出版526 页ISBN：0314774602
Lecture Notes in Computer Science 3243 Algorithms and Models for the Web-Graph Third International W
WAW 20042004 年出版187 页ISBN：3540234276
Lecture Notes in Computer Science 4497 Computation and Logic in the Real World Third Conference on C
CiE 20072007 年出版826 页ISBN：9783540730002
Lecture Notes in Computer Science 3323 Rules and Rule Markup Languages for the Semantic Web Third In
RuleML 20042004 年出版215 页ISBN：3540238425
Fractional derivatives for physicists and engineers Volume II Applications = 物理及工程中的分数维微积分 第II卷 应用
Vladimir V. Uchaikin2013 年出版446 页ISBN：7040307344
超越科学大战 科学与社会关系中迷失了的话语 the missing discourse about science and society
（美）奥利卡·舍格斯特尔（Ullica Segerstrale）编；黄颖，赵玉桥译2006 年出版220 页ISBN：7300073190
本书通过各种视角，对科学大战重新定位，力图小解“科学大战代表了两种文化的冲突的观念”这种观点，并尝试更好地理解科学卫士一直坚持“科学和理性”的原因...
Lecture Notes in Computer Science 3791 Rules and Rule Markup Languages for the Semantic Web First In
RuleML 20052005 年出版225 页ISBN：354029922X
岩土结构工程新进展 ADVANCES IN GEOTECHNICAL AND STRUCTURAL ENGINEERING 第五届中俄城市与矿山岩土与结构工程会议 英文
王来，乔卫国，王崇革主编2008 年出版503 页ISBN：7564600600
