（美）伯杰龙（Bergeron，J.）著；张春等译2006 年出版345 页ISBN：7121030764
验证是制造出功能正确的芯片的必要步骤，是一个证明设计思路是如何实现的过程。本书首先介绍验证的基本概念和各种工具，验证的重要性和代价，比较了不同的验证方法，以及测试和验证的区别。然后从方法学的角度探讨...
（美）贝弗里·J.西尔弗著2012 年出版281 页ISBN：9787509714218
本书依据国际劳工运动大量的新数据库，对劳工运动进行了长历史时段和全球范围的研究，揭示出19世纪晚期以来地方的劳工运动与国际范围内的政治、经济、社会进程是相关的。通过对所选的全球工业一种有深度的、实...
（瑞典）B.哈格曼（BruceHugman）编；（瑞典）J.拉巴迪（JERRYLABADIE）参编；周耕，程刚，李文武，张东伟译；（瑞典）刘株荣（LIUZHURONG）校2015 年出版173 页ISBN：9787122219992
本书作为医药领域对危机解救原理和方法进行权威论述的唯一教程，是UMC（乌普萨拉监测中心）对有效预测、预防和管理危机的一本实用手册。本书重点介绍了药品和医疗保健领域的危机案例，同时它对所有其他领域的危机...
Robert M. Gray编著2012 年出版409 页ISBN：9787030344731
《信息论基础》(原书第2版)是信息论领域中一本简明易懂的教材。主要内容包括：熵、信源、信道容量、率失真、数据压缩与编码理论和复杂度理论等方面的介绍。《信息论基础》(原书第2版)还对网络信息论和假设检...
Concepts of programming languages = 程序设计语言概念 （第七版 影印版）
Robert W. Sebesta2006 年出版726 页ISBN：7040194112
本书是畅销书作家Robert W. Sebesta的一部力作，涵盖了程序设计语言的基本内容，所涉及的问题广泛且富有深度。主要内容包括程序设计语言预备知识、主要程序设计语言进展、描述语法与语义、词法与语法分析、名...
（美）小克里斯·J.维廷（Chris J.Witting）著；徐海鸥译2001 年出版365 页ISBN：7801621727
你希望成功吗？首先，你必须明白成功对你意味着什么。其次，你需要制定达至成功的计划。本书提供了特有的、简单易懂的、有助于你集中精力确立成功目标和选择最佳实施途径达到成功目标的方法。这是一项激励计划，它...
（美）罗伯特·阿尔伯特·格拉汉姆（Robert Albert Graham）著2010 年出版202 页ISBN：9787030258540
冲击波压缩科学从最初只有少数杰出科学家参与的独特领域，发展到对科学知识和工业技术等诸多方面都有重要贡献的学科。它与我们关于地球物理、行星物理和天体物理的知识从根本上得到了改善；冲击波加工技术也在...
（美）罗伯特·P.迈尔斯（Robert P. Miles）著；许林海译2003 年出版443 页ISBN：7205054842
沃伦·巴菲特以及伯克希尔·哈撒韦公司的成功是一个传奇。如果你想获知这些成功背后的奥秘，就必须深入地去了解伯克希尔·哈撒韦公司自由的管理模式。《投资大师沃伦·巴菲特的管理奥秘》为我们揭示了公司的...
（法）布隆代尔（Blondel，J.），（意）科塔（Cotta，M.）主编；史志钦等译2006 年出版265 页ISBN：7301105487
本书是对自由民主国家的政府及其支持性政党关系的研究，作者选取了11个国家为例，一个是总统制（美国），一个是半总统制（法国），其余都是议会制，既包括议会政府，也包括联合政府。本书从职务任命、政策制定和政治......
（英）Christopher J. Humphries，（英）Lynne R. Parenti著 张明理等译2004 年出版167 页ISBN：7040141817
本书由国际著名生物地理学权威专家Christopher J. Humphries和Lynne R. Parenti编著，中国科学院植物研究所植物分类地理研究室张明理研究员等翻译。内容涉及分支系统学、生物地理分布，以及涉及地质学、地史变...
