（美）德博什格拉夫（A.deBorchgrave），（英）莫斯（R.Moss）著；尤勰等（译）1981 年出版464 页ISBN：3003·1631
（美）埃德蒙·M.克拉克（EDMUNDM.CLARKE，JR.），（美）ORNAGRUMBERG，（美）DORONA.PELED著；吴尽昭，何安平，高新岩译2018 年出版226 页ISBN：9787121352744
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书共分18章，涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver...
（美）克拉茨，（美）戈德曼著；张泽灵译2008 年出版456 页ISBN：7509119715
在生活水平日益提高的今天，抗衰老、延长寿命、提高生命质量成为人们关注的热点问题。本书系统介绍抗衰老医学发展的最新进展，从营养的补充、体育锻炼、合理膳食等方面详细介绍了抗衰老的方法。...
（美）威廉 W. 纳扎洛夫（William W Nazaroff），（美）莉萨·阿尔瓦雷斯－科恩（Lisa Alvarez-Cohen）著；漆新华，刘春光译2006 年出版552 页ISBN：7502572449
本书讲述了环境工程中涉及的基本概念和原理、基本理论在水质工程、安全质量工程、危险废物管理上的应用。
（美）玛丽·希金斯·克拉克（Mary Higgins Clark）著；孙晓莹译2006 年出版254 页ISBN：7538277269
本书是国际最知名惊悚悬疑作家的女性主角系列作品之一。讲述的是经历里离婚的创伤后，律师艾米莉在疗养心情的时候，协助警方破案并从中找回自我的故事。...
