（美）M.安伯罗丝著相关电子书下载

（美）埃德蒙·M.克拉克（EDMUNDM.CLARKE，JR.），（美）ORNAGRUMBERG，（美）DORONA.PELED著；吴尽昭，何安平，高新岩译2018 年出版226 页ISBN：9787121352744

模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书共分18章，涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver...

（美）马克·吐温（Twain，M.）著；朱蔓译2001 年出版256 页ISBN：7544116042

（美）（M.布鲁凯尔）Milada Broukal著1999 年出版157 页ISBN：7806455663

（美）（M.布鲁凯尔）Milada Broukal著1999 年出版216 页ISBN：7806455671

（美）M.希尔奎特著；朱立人译1974 年出版312 页ISBN：3017·149

（美）韦斯（Wiese，M.）著；单　玎译1991 年出版336 页ISBN：7500512079

（美）罗克斯坦（Rockstein，M.）著；李绍文等译1988 年出版437 页ISBN：7030004825

书名原文:Biochemistryofinsects:本书共计14章

（美）M.曼切尔著；艾丰等编译1981 年出版243 页ISBN：7236·001

（美）詹姆斯·M.布坎南（James M.Buchanan），（美）戈登·塔洛克（Gordon Tullock）著；陈光金译2000 年出版384 页ISBN：7500428456

（美）A.阿拉比（Ailsa Allaby），（美）M.阿拉比（Michael Allaby）主编；陈有发等译1998 年出版803 页ISBN：7502815325

据牛津大学出版社1990年英文版译出牛津大学出版社授权出版。