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