（美）格拉瑟（Mark Glasser）等编著；王欣等译2007 年出版294 页ISBN：9787811143706
本书内容包括9章：绪论；验证原理；高级验证方法学介绍；面向对象编程的特点；事务级建模的特点；高级验证方法学的机理；验证平台的组成；完整的验证平台；可替换的验证平台；验证平台中的模块等。本书是针对IC开发设......
（美）达恩·海瑞格尔，约翰·W.斯洛柯姆著2010 年出版482 页ISBN：9787301159828
本书既对经典的组织行为学理论进行了阐述，又对组织行为学最新的发展趋势和研究成果进行了介绍；既有助于初学者入门，又保持了一定的理论深度。为了建立理论和实践之间的联系，作者提供了许多新的实例、应用练习和...
南来寒主编；（德）戈·毕尔格著；（英）威廉姆·斯特朗绘；杨洋译写2015 年出版48 页ISBN：9787533285142
世界儿童文学名著绘本馆精选世界文学史上最有影响力的儿童文学名篇，以精彩的故事形式全新呈现，配以精美绘图，更加适合当代儿童阅读。丛书插画均来源于美国国会图书馆所藏，高水准原汁原味。...
（美）卡尔·布鲁纳，（美）艾伦·H.梅尔茨著2010 年出版249 页ISBN：9787504954923
本书是作者1987年应拉斐尔·马提奥利系列讲座的邀请，所作演讲的讲稿。本书特别关注不确定性以及信息的作用，尤其关注获取信息的成本。
（德）西格弗里德·克纳佩，（美）泰德·布鲁瑟原著2012 年出版274 页ISBN：9787894291424
（德）布鲁门伯格著2014 年出版377 页ISBN：9787208117747
本书是布鲁门伯格的神话学研究代表作，全面考量荷马以来的神话创作和神话研究传统，力求发掘其中的西方思想资源，并特别重视呈现在文学与哲学中的思想与想像的关系。他以“实在专制主义”作为解释神话起源的假设...
（美）法兰克·布鲁尼（Frank Bruni）著；高飞译2003 年出版193 页ISBN：7111115287
本书主要介绍了美国总统布什的竞选及其一些鲜为人知的轶事。
