（美）格拉瑟（Mark Glasser）等编著；王欣等译2007 年出版294 页ISBN：9787811143706
本书内容包括9章：绪论；验证原理；高级验证方法学介绍；面向对象编程的特点；事务级建模的特点；高级验证方法学的机理；验证平台的组成；完整的验证平台；可替换的验证平台；验证平台中的模块等。本书是针对IC开发设......
（美）约翰·哈格尔三世（John Hagel Ⅲ），（美）马克·辛格（Marc Singer）著；董清等译1999 年出版250 页ISBN：7505819119
（美）沃尔特·斯坦奇菲尔德著；栾晟楠译2012 年出版333 页ISBN：9787115262059
继卷一对动画基本概念和基础技巧的讲解，卷二将引领读者进一步深入学习如何创作动画，如何在传统技术法进行突破和创意，如何在传统的绘画技巧上更加成熟和个性化的创作，以及更多的实践练习。...
发展进程中的国家与法律 第三世界问题的解决和制度变革 problem solving and institutional change in the third world
（美）安·塞德曼（Ann Seidman），（美）罗伯特·塞德曼（Robert B. Seidman）著；冯玉军，俞飞译2006 年出版470 页ISBN：750366486X
本书介绍了“法律与发展运动”的始末，运用问题解决方法论对发展中国家的法制化进程进行了研究和分析，对中国相关的问题也有分析和论述，体现了对于第三世界法律与发展的反思。...
（美）马克·桑布恩2010 年出版146 页ISBN：9787508621647
本书是一本成功励志读物。本书告诉我们每个人只要迈出一小步，就能让我们平凡无奇的生活变得卓尔不凡。
（美）马克·戈贝（Marc Gobe）著；向桢译2004 年出版345 页ISBN：7807000007
本书讲述了公司品牌建立的方法。品牌不再是一个公司的产品标志，它越来越多地包含了情感的因素，而只有注重情感的品牌，才能为消费者认可。...
