（美）瓦尔特·M.博茨（Walter M.Bortz）著；祖淑珍，祖庭礼译2001 年出版262 页ISBN：7100032857
当今社会面临着日益严重的老龄化问题，本书作者为广大老年人提供了现代长寿养生的99个建议，提出以积极的态度，通过在衣食住行、休闲锻炼、心理和生理上的自我调节等方面以科学的方式度过健康愉快的晚年生活，并以...
（美）小沃尔特·M.米勒（Walter M.Miller，Jr）著；俞建青译2004 年出版316 页ISBN：7536454848
本书为科学幻想小说。书中讲述核战以后，人类文明倒退回黑暗时代。700年后的莱博维茨偶然间发现了一份20世纪工程写下的备忘录，借助于它，人们可以探索遥远的人类文明兴旺发达的过去。...
（美）M·谢里夫·巴西奥尼（M. Cherif Bassiouni）著；王秀梅译2003 年出版251 页ISBN：7503642890
本书系统论述了国际刑法的形成与发展脉络，理论体系构成框架，以及现实性问题和研究心得。
菲利普· 迪克（
本书为迪克科幻丛书之一。
（美）特伦斯·M·克劳瑞特（Terrence M. Clauretie），（美）G·斯泰西·西蒙斯（2012 年出版547 页ISBN：9787300146935
本书分四个部分系统阐述了房地产金融的基本概念和理论：第一部分从总体上介绍房地产市场、金融理论及其在房地产领域的应用；第二部分讨论与住宅房地产融资相关的问题，涉及抵押贷款市场、融资方式等内容；第三部分...
（美）道格拉斯·M·兰伯特编著2012 年出版380 页ISBN：9787121186271
本书围绕着全球供应链论坛（GSCF）流程式供应链管理的理念展开，主要包括三个内容：供应链管理的八大流程、供应链管理组元和供应链网络结构。为了有效地诊断和管理企业之间的商业关系，该书还重点介绍了用来管理商业...
（美）
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书涵盖的内容包括模型检测的基本知识、模态逻辑、符号化技术、SAT Solver、限界模型检...
