（美）格拉瑟（Mark Glasser）等编著；王欣等译2007 年出版294 页ISBN：9787811143706
本书内容包括9章：绪论；验证原理；高级验证方法学介绍；面向对象编程的特点；事务级建模的特点；高级验证方法学的机理；验证平台的组成；完整的验证平台；可替换的验证平台；验证平台中的模块等。本书是针对IC开发设......
（美）达恩·海瑞格尔，约翰·W.斯洛柯姆著2010 年出版482 页ISBN：9787301159828
本书既对经典的组织行为学理论进行了阐述，又对组织行为学最新的发展趋势和研究成果进行了介绍；既有助于初学者入门，又保持了一定的理论深度。为了建立理论和实践之间的联系，作者提供了许多新的实例、应用练习和...
南来寒主编；（德）戈·毕尔格著；（英）威廉姆·斯特朗绘；杨洋译写2015 年出版48 页ISBN：9787533285142
世界儿童文学名著绘本馆精选世界文学史上最有影响力的儿童文学名篇，以精彩的故事形式全新呈现，配以精美绘图，更加适合当代儿童阅读。丛书插画均来源于美国国会图书馆所藏，高水准原汁原味。...
俄罗斯科学院高尔基世界文学研究所集体编；谷羽，王亚民译2006 年出版402 页ISBN：7805878307
王亚卓编著2006 年出版400 页ISBN：7505858696
本书从现金流、应收账款、存货三个方面论述现代企业资金运作的高效性，以全新的视角关注在企业内流通的现金流，并切实关注企业发展中的新问题，从市场、管理、财务更新等角度全面阐述了现代企业管理手段的有效运...
俄罗斯科学院高尔基世界文学研究所集体编；谷羽，王亚民译2006 年出版390 页ISBN：7805878307
