Lecture Notes in Computer Science 4202 Formal Modeling and Analysis of Timed Systems 4th Internation
FORMATS 20062006 年出版369 页ISBN：3540450262
Lecture Notes in Computer Science 3706 Principles and Practice of Constraint Programming-CP 2005 11t
CP 20052005 年出版887 页ISBN：3540292381
Lecture Notes in Computer Science 4204 Principles and Practice of Constraint Programming-CP 2006 12t
CP 20062006 年出版774 页ISBN：3540462678
Lecture Notes in Computer Science 4407 Logic-Based Program Synthesis and Transformation 16th Interna
LOPSTR 20062007 年出版236 页ISBN：9783540714095
Lecture Notes in Computer Science 3271 Management of Multimedia Networks and Services 7th IFIP/IEEE
MMNS 20042004 年出版335 页ISBN：3540232397
Lecture Notes in Computer Science 4484 Theory and Applications of Models of Computaion 4th Internati
TAMC 20072007 年出版772 页ISBN：9783540725039
MicroStation工程设计应用教程 表现篇 Tutorials for the engineering design and application in MicroStation Visual
汤众，刘烈辉，栾蓉等编著2008 年出版238 页ISBN：9787112098224
本书共分为七章，内容为绪论，MicroStation三维绘图基本知识、三维实体建模与编辑、三维表面建模与编辑、渲染、漫游与动画、接口技术等。
Lecture Notes in Computer Science 3135 Transactions on Rough Sets II Rough Sets and Fuzzy Sets
2004 年出版363 页ISBN：3540239901
Lecture Notes in Computer Science 4249 Cryptographic Hardware and Embedded Systems-CHES 2006 8th Int
2006 年出版462 页ISBN：3540465596
