Lecture Notes in Computer Science 4229 Formal Techniques for Networked and Distributed Systems-FORTE
2006 年出版486 页ISBN：3540462198
Lecture Notes in Artificial Intelligence 2403 Foundations and Applications of Multi-Agent Systems UK
2002 年出版261 页ISBN：3540439625
Fourth International Conference on Trends in On-Line Computer Control Systems 5-8 April 1982
1982 年出版124 页ISBN：0852962568
Lenture Notes in Computer Science 3472 Model-Based Testing of Reactive Systems Advanced Lectures
2005 年出版659 页ISBN：3540262784
Lecture Notes in Artificial Intelligence 3394 Adaptice Agents and Multi-Agent Systems II Adaptation
2005 年出版313 页ISBN：3540252606
Lecture Notes in Computer Science 3307 Web Information Systems-WISE 2004 Workshops WISE 2004 Interna
2004 年出版275 页ISBN：3540238921
protein-carbohydrate interactions in biological systems the molecular biology of microbial pathogeni
d.l.lark and s.normark and b.-e.uhlin and h.wolf-watz1986 年出版464 页ISBN：0124366651
MicroStation工程设计应用教程 表现篇 Tutorials for the engineering design and application in MicroStation Visual
汤众，刘烈辉，栾蓉等编著2008 年出版238 页ISBN：9787112098224
本书共分为七章，内容为绪论，MicroStation三维绘图基本知识、三维实体建模与编辑、三维表面建模与编辑、渲染、漫游与动画、接口技术等。
Lecture Notes in Computer Science 3731 Formal Techniques for Networked and Distributed Systems-FORTE
2005 年出版558 页ISBN：354029189X
