(美)德博什格拉夫(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
本书是国际最知名惊悚悬疑作家的女性主角系列作品之一。讲述的是经历里离婚的创伤后,律师艾米莉在疗养心情的时候,协助警方破案并从中找回自我的故事。...