（美）威廉姆斯（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...
（美）罗克斯坦（Rockstein，M.）著；李绍文等译1988 年出版437 页ISBN：7030004825
书名原文:Biochemistryofinsects:本书共计14章
