Lecture Notes in Computer Science 3185 Formal Methods for the Design of Real-Time Systems Internatio
Communication and Systems2004 年出版295 页ISBN：
PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON COMPUTER-AIDED ARCHITECTURAL DESIGN RESEARCH IN
虞刚，周琦，董卫编2007 年出版671 页ISBN：9787564109257
本书主要内容包括CAADRIA会议主题发言人的演讲以及参与会议人员的论文、与会人员也大都是世界范围内在CAAD领域颇有建树的教师和研究人员。
英语专业本科毕业论文设计与写作指导 第2版=THESIS DESIGN AND WRITING GUIDE FOR ENGLISH MAJORS(SECOND EDITION)
李正栓，焦绘宏主编2013 年出版330 页ISBN：
中国科学技术史 物理学及相关技术 土木工程与航海技术 Physics and physical technology Civil engineering and nautics
李约瑟（Joseph Needham）著2008 年出版1030 页ISBN：9787030224224
本书系统论述中国古代土木工程及航海技术的发展历史和主要成就。
动画设计教学实践系列 动画角色设计与剧本创作 Animation character design and script creation
王锦洪等编著2015 年出版370 页ISBN：9787531466048
本册图书包括动画角色与场景设计，动画剧本创作基础，动画构图原则三部分，系统地介绍了三部分的知识体系，基本原理以及在动画设计应用实践中所起到的作用，语言平实，理论与实际紧密联系，图片详实，极具说服力，是......
可靠性与维修性工程概论 An Introduction to Reliability and Maintainaility Engineering 英文 eng
（美）埃贝灵（Ebeling，C.E.）著2008 年出版486 页ISBN：9787302177548
本书是在国外被广泛采用的可靠性工程方面的入门教材，对概念、模型、方法等的阐述清晰易懂。内容主要有3部分：第1部分为基本模型，包括失效分布与模型、系统可靠性、可靠性物理模型、可靠性与维修性设计、可用性...
Genome-scale algorithm design biological sequence analysis in the era of high-throughput sequencing
Veli Makinen ; Djamal Belazzougui ; Fabio Cunial ; Alexabdeu I. Tomescu2015 年出版391 页ISBN：1107078536
