（美）格拉瑟（
本书内容包括9章：绪论；验证原理；高级验证方法学介绍；面向对象编程的特点；事务级建模的特点；高级验证方法学的机理；验证平台的组成；完整的验证平台；可替换的验证平台；验证平台中的模块等。本书是针对IC开发设......
大卫·L.斯卡格斯，米尼德·S.科歇尔著2018 年出版645 页ISBN：9787559107046
本书从属于“骨科标准手术技术丛书”， 第二版，原书作者汇集世界知名的骨科专家，具有丰富的临床经验，他们把宝贵的经验汇成本书。本书主要介绍小儿骨科学相关的各种手术及处理，包括概述、术前准备、手术适应证与....
（美）大卫·A.惠顿，金·S.卡梅伦著；庄孟升等译2016 年出版604 页ISBN：730242568X
本书提供了大量的实践练习、案例以及最新的方法，在学习管理技能与应用这些技能之间搭建了桥梁。作者基于在各类企业中对有效管理者的广泛研究，从个人、人际关系和团体三个方面对管理技能进行了全面的探讨。本...
（美）大卫·威灵顿著；刘经安译2012 年出版344 页ISBN：9787539640129
本书为引进版长篇小说。作品主人公是侦探Laura Caxton，她与刚出现的吸血鬼军团进行了生死搏斗。距离Laura Caxton在《13发子弹》中差点死去，已经过去了几个月。在那以后，她成了一名侦探，找到了全新的生活和爱情...
（美）大卫·林登著；覃薇薇译2014 年出版224 页ISBN：9787300200927
我们为什么会感到快乐，我们为什么会感觉良好？作者是心理学家、神经科学家，他从神经科学、脑科学、认知心理学、行为心理学等角度对此作出了分析，不但能使读者学习心理学知识，还可以帮助读者调节情绪，享受快乐人.....
（美）大卫·巴塞特-帕金斯编；吴欢，景芳译2012 年出版379 页ISBN：9787561845011
本书是一本介绍最新两年美国优秀室内设计师作品的精选集。
(美)大卫·哈特威尔编2009 年出版500 页ISBN：9787501186839
本书收录美国有代表性的科幻小说25篇，向读者展示了美国科幻文学的整体风貌。
（美）
本书详细介绍如何使用WebLogic Server 8.1开发和管理可伸缩和安全的企业Java应用程序。
CCNA Routing and Switching考前辅导 英文
（美）
（美）亨利·埃蒙斯，大卫·阿尔特著；彭相珍译2016 年出版327 页ISBN：7515341300
保持健康的大脑和好的记忆力其实并没有很多人想的那么难。结合最新神经科学研究和先人有关大脑活力的古老智慧，以及正念理论和减压方法，两位博士向大家证明：年龄增长而头脑依旧敏锐是可以实现的。他们也给出了...
