（美）格拉瑟（Mark Glasser）等编著；王欣等译2007 年出版294 页ISBN：9787811143706
本书内容包括9章：绪论；验证原理；高级验证方法学介绍；面向对象编程的特点；事务级建模的特点；高级验证方法学的机理；验证平台的组成；完整的验证平台；可替换的验证平台；验证平台中的模块等。本书是针对IC开发设......
（美）索尔所，（美）麦克林，（美）麦克林著，邵志芳等译2008 年出版527 页ISBN：9787208073296
本书是美国心理系的基础教材之一，已经更新到第7版，是认知领域的权威教材之一，具有很高的实用性和学术性。本书集中介绍了认知心理学的最高成果和基础知识。...
（美）Mark Sweiger等著；陆昌辉等译2004 年出版395 页ISBN：7505393200
本书主要面向学习或在工作中运用点击流数据仓库技术的教师、学生或工程技术人员，特别适合对数据仓库技术有所了解，但希望进一步提高构建点击流数据仓库能力的应用开发人员。...
（英）马克·奥谢（Mark Oshea），（英）蒂姆·哈利戴（Tim Halliday）著；王跃招译2003 年出版254 页ISBN：7505717561
本书向两栖和爬行动物的爱好者介绍了所收录的400多种动物的生活环境、地理位置、生理特征、生活习性以及它们的学名和俗名，并向入门者提供了简易的鉴别方法。...
