（美）Prakash Rashinkar，（美）Peter Paterson，（美）Leena Singh著；孙海平，丁健译2005 年出版263 页ISBN：7121005891
本书从最高层次的系统级验证直至最终的物理实现和签付，详细介绍了各种设计抽象级别和各阶段所涉及到的各种验证方法及工具。主要内容包括各种不同类型的仿真、软件/硬件协同验证、数字/模拟混合验证、网表静...
（美）阿诺德（Arnold，K.） （美）高林（Gosling，J.） （美）福尔摩斯（Holmes，D.）著2003 年出版673 页ISBN：7508314999
在市面上充斥着各种各样的介绍Java的书籍。显然，选择一本合适的书籍对我们学习Java语言有着重要的影响。本书由有“Java之父”之称的James Gosling以及另外两位面向对象世界里的大师（Ken Arnold和David Holme...
（美）Avraham Shtub，（美）Jonathan F. Bard，（美）Shlomo Globerson著2009 年出版488 页ISBN：9787302212140
本书结合国际项目管理理论体系的事实标准PMBOK（项目管理知识体系），围绕理论和实践，阐述了现代项目管理的理论、方法和工具，既涉及项目管理的基础理论和前沿，又注重实际和应用。本书的结构基本按照PMBOK的功能领域...
（美）Karl Wiegers，（美）Joy Beatty著2016 年出版547 页ISBN：9787302426820
作为经典的软件需求工程畅销书，本书经过全面修订和更新，深入描述实用性强的、高效的、经过实际检验的端到端需求工程管理技术，通过丰富的实例来演示如何利用最佳实践来减少订单变更，提高客户满意度，减少开发成本...
（美）托马斯·J. 瑟吉奥万尼（Thomas J. Sergiovanni），（美）罗伯特·J. 斯特兰特（Robert J. Starratt）著；王明洲等译2005 年出版290 页ISBN：7534370108
本书对教育督导的理论基础、督导平台、教学与学习、评价等分别阐述，并穿插实例。
（美）罗伯特·H. 弗兰克（Robert H. Frank），（美）本·S. 伯南克（Ben S. Bernanke）著2010 年出版424 页ISBN：9787302222927
本书的一大特色是摒弃了以往教材对数学推导的过度依赖，更多地通过范例给出直观的经济学概念和观点。
（美）艾伦著；（美）美泰绘；高静云译2015 年出版71 页ISBN：7535369936
这是根据芭比最新电影改编的故事书，故事内容全面丰富、图片精美，保持了芭比故事一贯的精美风格，让女孩在有趣优美的故事中受到心灵的启迪，感受梦想的力量。适合5～12岁儿童阅读。...
（美）丹尼斯·勒贝夫（Dennis Le Boeuf），（美）景黎明著2017 年出版367 页ISBN：9787122291790
本书分为17个大主题、82个单元，完整讲解必备的英语语法，适合初级英语学习者阅读参考，自修或教学两相宜。书中每个单元的结构皆分为语法说明和活用练习两大部分。全书采用彩色印刷，以呈现最佳的语法结构图解，并穿...
（美）查尔斯·H. 扎斯特罗（Charles H. Zastrow），（美）卡伦·K. 柯斯特－阿什曼（Karen K. Kirst-Ashman）著；师海玲，孙岳等译2006 年出版952 页ISBN：7300071546
本书对有关人类行为与社会环境的基本理论观点作了系统阐述。
