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

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

高阶逻辑辅助证明系统

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

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

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

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

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

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

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

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

格林童话

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

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

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

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

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

本尼随时看 动物宝宝

（德）萨布里娜·库弗著；（德）卡尔-海因茨·霍乐林等绘；陈妙新译2015 年出版23 页ISBN：7121245167

《本尼随时看》是从德国引进的幼儿启蒙图书。全套包含165个分册，内容涵盖儿童文学、幼儿科普两大类。“发现世界”是孩子的天性，本分套包含1-55共55个分册。该辑为孩子们讲述了身边不能不知的小科学。不仅有...

小女巫的魔法之旅

（德）凯雅·瑞德著；（德）君特·雅各布绘；徐胤译；任溶溶审译2014 年出版28 页ISBN：9787513550505

《小女巫的魔法之旅》：小女巫海默利娜决定独自到外面去冒险，她把备用魔法杖留给家里的朋友们，然后就出发了。冒险可真不是一件容易的事情啊，海默利娜的脚上磨出了水泡，摔进溪水里浑身湿透，还被蚂蚁钻进衣服里爬.....

“我”爱“你”

（德）哈瑞特·格伦特曼著；（德）安珂·阿姆·博尔格图；时晓译2011 年出版56 页ISBN：9787514302165

这是一本绘本文学书。一本分四个篇章，一篇一个故事，故事分别从爱情和生活的不同阶段介入，故事中的人物或者正处在寻找幸福的阶段，或者刚刚获得幸福开始热恋，或者已经从热恋期进入磨合期，作者就着这些傻傻的漫画.....

软件产品线工程

（德）KlausPohl，（德）GunterBockle，（荷）FrankvanderLinden著2010 年出版294 页ISBN：9787118068986

本书围绕适用于特定领域软件产品开发的软件产品线工程框架展开，该框架是基于过去数年的经验开发的。框架强调了软件产品线工程与其他单一系统开发的主要区别。书中描述了领域工程和应用工程过程、可变性及其...