冒险密码 惊心动魄的赛马

（德）弗兰克·赖芬贝格著；（德）苏珊娜·魏希顿绘；陆阳，修洁译2015 年出版87 页ISBN：9787110087831

本书是一部有趣的冒险小说，故事讲述了古罗马时期一个10岁的小男孩如何通过自己的努力，将自己由一个奴隶变成一名出色赛马手的故事，情节跌宕起伏、引人入胜。小读者可以在阅读本书的时候体验一次不同寻常的冒险...

产能 建筑和街区作为可再生能量来源

（德）诺伯特·费什，（德）托马斯·威尔肯著；祝泮瑜译2015 年出版344 页ISBN：9787302411499

本书全面参考了建筑设计、能源规划以及建筑设备方面与产能标准相关的理念，展示了居住建筑、非居住建筑以及城市街区的实际案例，同时也展示了产能建筑标准在全球范围内的应用潜力。...

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

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

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

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

高阶逻辑辅助证明系统

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

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

妈妈在倾听

（美）坎菲尔，（美）汉森编著；马爱农，姚翠丽译2006 年出版296 页ISBN：7807323728

《心灵鸡汤》是当代美国著名作家杰克·坎菲尔和马克·汉森主编的著名心理自助丛书，两位作家以独特的眼光遴选出这些貌似平凡平淡实则富含生活哲理而又感人至深的小短文。这些小短文来自于平凡人普通的生活琐...

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

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

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

伯克利教授与沼泽地的走私犯

（德）哈德，（德）舒马赫著；银晓鲲译2006 年出版96 页ISBN：7501547556

本书为德国儿童侦探小说，故事后附有与案情相关的问题与答案，具趣味性和故事性。

格林童话

（德）雅各布·格林，（德）威廉·格林著；孙秀芬译；余良丽主编2018 年出版216 页ISBN：9787536488434

《格林童话》选录了最受孩子们喜爱的一些故事，如美丽的《白雪公主》、淘气的《小红帽》、聪明乐观的《不莱梅的音乐家》、温柔帅气的《青蛙王子》和幸运的《灰姑娘》等经典童话。这些故事情节曲折生动，文字优...

被禁的神庙 来自因特网的危险

（德）米莱娜·拜雪著；梅宁译；（德）绍亚·费德勒著；冯艳容译2004 年出版96 页ISBN：7533244524

本书包括多篇小说。书中主要介绍了一群秘密侦探俱乐部的小侦探，凭借自己的聪明才智，揭开一个个谜团，侦破了一个个疑案的故事。