（德）霍尔格·阿佩尔（Holger Appel），（德）克里斯托弗·海茵（Christoph Hein）著；刘海宁译1999 年出版268 页ISBN：7214023415
（德）托比亚斯·尼普科夫（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
这是一本绘本文学书。一本分四个篇章，一篇一个故事，故事分别从爱情和生活的不同阶段介入，故事中的人物或者正处在寻找幸福的阶段，或者刚刚获得幸福开始热恋，或者已经从热恋期进入磨合期，作者就着这些傻傻的漫画.....
