（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631
本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
（英）阿诺德·汤因比，维罗尼卡·M·汤因比编著；劳景素，复旦大学历史系世界史教研室译；靳文翰，周东辉校2015 年出版1029 页ISBN：7532769698
（英）阿诺德·托因比（Arnold Toynbee）主编；（英）F.C.琼斯（F.C.Jones）等著；复旦大学外文系英语教研组译1995 年出版905 页ISBN：753271716X
（美）库尔特·勒温（KURTLEWIN）著2018 年出版250 页ISBN：9787565721281
在这本书中，库尔特·勒温提出了力场分析的概念，并提供了一个框架，用来考察影响社会状况的因素（力量）、最初的社会情况。它的力量，要么是推动运动向一个目标（帮助部队），要么是阻止运动向一个目标（阻碍力量）......
（德国）克劳斯·鲍姆加特，康奈利阿·诺伊戴尔特著；许婷译2010 年出版47 页ISBN：9787500798637
劳拉的妈妈应邀到剧院做大提琴手，全家人从乡下搬进城里。进城后爸爸在家一边工作，一边照顾两个孩子。弟弟汤米是百货个淘气包，总爱给劳拉惹麻烦……劳拉非常想念从前的树林、草地、野花、秋千和朋友们。 一天...
（德）瑙海姆，（德）伯尔彻，（德）诺瓦克著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个分册。该辑为孩子们讲述了身边不能不知的小科学。不仅有...
