Lecture Notes in Computer Science 3299 Automated Technology for Verification and analysis Second Int
ATVA 20042004 年出版506 页ISBN：3540236104
Lecture Notes in Computer Science 3707 Automated Technology for Verification and Analysis Third Inte
ATVA 20052005 年出版506 页ISBN：3540292098
Spectral and High-Order Methods with Applications Mathematics Monograph Series 3
Jie Shen2006 年出版326 页ISBN：
HUMAN FACTORS IN COMPUTING SYSTEMS-IV AND GRAPHICS INTERFACE
1987 年出版339 页ISBN：044470308X
DEPOSITIONAL SYSTEMS An Introduction to Sedimentology and SStratigraphy Second Edition
2222 年出版604 页ISBN：013202912X
AUTOMATION PRODUCTION SYSTEMS AND COMPUTER-INTEGRATED MANUFACTURING
MIKELL P.GROOVER2222 年出版856 页ISBN：7302054843
本书覆盖了制造系统的几个主要技术和工程环节。本书的特点是有较多的定量和工程内容，包括385个例题和案例分析。
世界社会主义 理论、运动和制度=World socialism theories，movements and systems
孔寒冰2017 年出版0 页ISBN：
PROCEEDINGS SBCCI99 Ⅻ SYMPOSIUM ON INTEGRATED CIRCUITS AND SYSTEMS DESIGN
2222 年出版236 页ISBN：076950387X
SECOND INTERNATIONAL CONFERENCE ON WATER AND IONS IN BIOLOGICAL SYSTEMS
BUCHAREST2222 年出版343 页ISBN：
LUSTRATION AND TRANSITIONAL JUSTICE PERSONNEL SYSTEMS IN THE CZECH REPUBLIC
HUNGARY2011 年出版312 页ISBN：
