王立军主编2009 年出版216 页ISBN：9787122046468
本书介绍了数控机床程序编制基础、FANUC系统和SIEMENS系统数控车床编程，数控车床操作等内容。
（美）D·M·哈兰，（美）R·D·罗伦茨著2007 年出版470 页ISBN：9787802181687
本书通过实例，分析了在卫星、火箭和航天探测器出现危险情况的时候所应该采取的策略和方法。
何志元，王美顺，张美荣主编2007 年出版190 页ISBN：9787504614384
本书包括手术学总论、临床手术等三个部分。主要介绍了外科的基础知识及基本技能。
（丹）比约纳（Bjorner，D.）著2007 年出版802 页ISBN：9787302154327
本书介绍系统与语言的规约的基本原理和技术。
