（美）威廉姆斯（Williams，C.Arther），（美）汉 斯（Heins，Richard M.）著；陈 伟等译1990 年出版612 页ISBN：7504405221
书名原文:Riskmanagementandinsurance:据美国麦格劳-希尔图书公司1985年版译出:威廉姆斯通译:威廉斯:本书介绍了风险和风险管理的一般课题
（美）约瑟夫·M.朱兰（Joseph M. Juran）著；上海朱兰质量研究院译2004 年出版342 页ISBN：7500572182
本书是质量管理大师朱兰的自传，介绍了他在推进质量运动建立质量管理系统及后来在Western Electric公司等许多亲历的故事。
（美）赛西·高夫，（美）戴维·托马斯，（美）梅丽莎·切瓦特桑著；刘华，陈立译2014 年出版215 页ISBN：9787510446191
本书是一本家庭教育类图书。作者在书中解答了家长们一直困惑的孩子成长问题，总结出父母需要具备有心、耐心、成熟、分寸、原则、童心、沟通、鼓励、心灵、希望等12个品质，同时就为什么必须具备这样的品质，以及...
（美）戴顿（Linnea Dayton），（美）戴维斯（Jack Davis）著；裴红义等译2002 年出版462 页ISBN：7500647530
（美）戴维·E.布朗（David E.Brown），（美）兰道尔·D.纽曼（Randall D.Neumann）主编；张佐伦等译2001 年出版541 页ISBN：750275041X
（美）戴维斯著；王美莹，程秀雪译；（美）芬兹绘2011 年出版191 页ISBN：9787541436734
本书故事主角为世界著名卡通形象之一：加菲猫。与目前市场上北妇、中青、北京出版社出版漫画版不同，本书为小说版的加菲猫故事。
（美）埃德蒙·M.克拉克（EDMUNDM.CLARKE，JR.），（美）ORNAGRUMBERG，（美）DORONA.PELED著；吴尽昭，何安平，高新岩译2018 年出版226 页ISBN：9787121352744
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书共分18章，涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver...
