（美）（R.M.克利格曼）（Robert M. Kliegman）主编相关电子书下载

（美）埃德蒙·M.克拉克（EDMUNDM.CLARKE，JR.），（美）ORNAGm>RUMBm>ERG，（美）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

（美）阿拉斯泰尔·伊恩·约翰斯顿（Alastair Iain Johnston），（美）罗伯特·罗斯（m>Robertm> Ross）主编；黎晓蕾，袁征译2001 年出版379 页ISBN：7501151253

内部发行。本书集纳了各国学者研究探讨对中国实行“接触”政策的论文。他们从不同的视角，介绍了不同国家和各类世界性组织对中国采取的各种接触政策和策略。...