伽马绝密行动 戴姆勒-奔驰与克莱斯勒合并纪实

（德）霍尔格·阿佩尔（Holger Appel），（德）克里斯托弗·海茵（Christoph Hein）著；刘海宁译1999 年出版268 页ISBN：7214023415

德国幽默故事选 《蒂尔·奥伊伦斯皮格尔》及其他

（德）佩森-彼得森，（德）库切拉著；袁志英等译1992 年出版225 页ISBN：7532712605

高阶逻辑辅助证明系统

（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631

本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...

猩球崛起 黎明之战

（美）艾力克斯·欧文著；李镭译2014 年出版306 页ISBN：9787513315814

本书由即将在中国上映的同名电影改编而成。讲述获得智慧的黑猩猩凯撒致力于维护猿类族群与人类之间的微妙平衡以及和平共处，但由于另一只黑猩猩疤脸对人类的仇恨并阴谋夺取地球控制权而暗杀凯撒，并导致猿族与...

马克斯·韦伯艺术随笔

（美）马克斯·韦伯著2011 年出版128 页ISBN：9787515500027

马克思·韦伯是20世纪俄裔美国画家，首批用抽象风格作画的美国人之一。最初在纽约布鲁克林的普拉特研究院接受艺术训练，从事艺术教育好几年后，自费到巴黎学习。在巴黎，他开始与马蒂斯交往，并成为他的第一个学生。...

社会工作行政 动态管理与人际关系 第3版

（美）雷克斯·A.斯基德莫尔（Rex A.Skidmore）著；张曙等译2005 年出版302 页ISBN：7300063101

本书阐述社会工作行政的理论与实务。

2030发生在美国的真实故事

（美国）阿尔伯特·布鲁克斯著；李振康译2015 年出版329 页ISBN：9787514336207

2030年的美国祸不单行。全球变暖，海平面上升，医疗保险体系完全破产，但是国债利息就高达三亿美院。甚至，表面上的好事最后也会转化为灾难。年轻一代同样无法忍受为了照料老年人儿大量消耗时间和金钱，恨屋及乌，仇.....

企业价值评估=Corporafe Valuafion for Porffolio lnvesfmenf

罗伯特·A·G蒙克斯（Robert A.G.Monks）亚历山德拉·里德·拉杰科斯（Alexandra Reed Lajoux）著2015 年出版0 页ISBN：

时间序列分析 预测与控制 英文版 第3版

（美）博克斯，（英）詹金斯，（美）雷恩斯著2005 年出版598 页ISBN：7115137722

本书讲述了时间序列随机（统计）模型的建立及许多重要领域的使用。

汽车变速器理论基础、选择、设计与应用

（德）瑙海姆，（德）伯尔彻，（德）诺瓦克著2014 年出版547 页ISBN：9787111415152

本书共分17章，全面地叙述了汽车变速器的开发过程。内容主要包括：交通—车辆—传动系统回顾、动力传递基础、传动比选择、汽车变速器系统的基本设计原理、汽车变速器的典型设计、重要部件（如换档机构、起步元件...