(美)约瑟夫·M.朱兰(Joseph M. Juran)著;上海朱兰质量研究院译2004 年出版342 页ISBN:7500572182
本书是质量管理大师朱兰的自传,介绍了他在推进质量运动建立质量管理系统及后来在Western Electric公司等许多亲历的故事。
(美)埃德蒙·M.克拉克(EDMUNDM.CLARKE,JR.),(美)ORNAGRUMBERG,(美)DORONA.PELED著;吴尽昭,何安平,高新岩译2018 年出版226 页ISBN:9787121352744
模型检测是一种用于自动验证有限状态并发系统的技术,与基于模拟、测试和演绎推理的传统技术相比,具有许多方面的优势。本书共分18章,涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver...
M. Mohitpour等著;吴宏译2004 年出版541 页ISBN:7502145761
本书介绍了当今世界油气输送管道设计及施工等方面的一些新概念和新方法。
(美)罗克斯坦(Rockstein,M.)著;李绍文等译1988 年出版437 页ISBN:7030004825
书名原文:Biochemistryofinsects:本书共计14章