（美）哈拉汉（Hallahan，Daniel P.），（美）考夫曼（Kauffman，James M.）著；高 卓，张葆华译1992 年出版356 页ISBN：7800534693
书名原文:Exceptionalchildren-education:介绍了异常儿童教育的一般概念及发展史
（美）（碧丝蕾）Jeffrey S. Beasley，（美）（米勒）Gary M. Miller著；肖善鹏，张蕾译2006 年出版863 页ISBN：7302124434
本书是现代电子通信的经典教材。本版新增了“无线数字通信“和“扩频通信”等最新技术的相关内容。
（美）威廉姆斯（Williams，C.Arther），（美）汉 斯（Heins，Richard M.）著；陈 伟等译1990 年出版612 页ISBN：7504405221
书名原文:Riskmanagementandinsurance:据美国麦格劳-希尔图书公司1985年版译出:威廉姆斯通译:威廉斯:本书介绍了风险和风险管理的一般课题
（美）约瑟夫·M.朱兰（Joseph M. Juran）著；上海朱兰质量研究院译2004 年出版342 页ISBN：7500572182
本书是质量管理大师朱兰的自传，介绍了他在推进质量运动建立质量管理系统及后来在Western Electric公司等许多亲历的故事。
（美）伊沃·达尔德（Ivo H.Daalder），（美）迈克尔·奥汉隆（Michael E.OHanlon）著；沈建译2001 年出版317 页ISBN：7501152195
（美）埃德蒙·M.克拉克（EDMUNDM.CLARKE，JR.），（美）ORNAGRUMBERG，（美）DORONA.PELED著；吴尽昭，何安平，高新岩译2018 年出版226 页ISBN：9787121352744
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书共分18章，涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver...
