（德）萨布里娜·库弗著；（德）克莉丝汀·奥特等绘；陈妙新译2015 年出版23 页ISBN：7121245167
《本尼随时看》是从德国引进的幼儿启蒙图书。全套包含165个分册，内容涵盖儿童文学、幼儿科普两大类。“发现世界”是孩子的天性，本分套包含1-55共55个分册。该辑为孩子们讲述了身边不能不知的小科学。不仅有...
（德）伊莎贝尔·阿贝迪文；（德）达格玛·亨策图；唐陈译2017 年出版208 页ISBN：9787558302480
《萝拉的幻想世界》系列一共五册，是从德国引进的校园成长小说，适合9-12岁青少年阅读。本系列以第一人称形式讲述女孩萝拉转入一所新学校后发生的幽默成长故事。萝拉是个爱“做梦”的女孩，每天晚上幻想自己化身...
（德）伊莎贝尔·阿贝迪文；（德）达格玛·亨策图；唐陈译2017 年出版255 页ISBN：9787558302497
《萝拉的幻想世界》系列一共五册，是从德国引进的校园成长小说，适合9-12岁青少年阅读。本系列以第一人称形式讲述女孩萝拉转入一所新学校后发生的幽默成长故事。萝拉是个爱“做梦”的女孩，每天晚上幻想自己化身...
（德）厄兹叙，（德）瓦尔杜里兹著2014 年出版608 页ISBN：9787302346005
This third edition of a classic textbook can be used to teach at the senior undergraduate and graduate levels.分布式数据库系统原理
（德）歌德原著；（德）阿·布伦达莫绘图；黄擎仓，李毅强编译；上海图书馆编2004 年出版252 页ISBN：7543923130
寓言以动物刻画人性，传递人生的智慧，上海图书馆从馆藏丰富的西文图书中选择最具特色的西文版本加以重新编译出版。率先推出寓言三种：《伊索寓言》、《拉封丹寓言》、《列那狐》。本书德文选自德国大文豪歌德六...
（德）诺伯特·费什，（德）托马斯·威尔肯著；祝泮瑜译2015 年出版344 页ISBN：9787302411499
本书全面参考了建筑设计、能源规划以及建筑设备方面与产能标准相关的理念，展示了居住建筑、非居住建筑以及城市街区的实际案例，同时也展示了产能建筑标准在全球范围内的应用潜力。...
（德）霍尔格·阿佩尔（Holger Appel），（德）克里斯托弗·海茵（Christoph Hein）著；刘海宁译1999 年出版268 页ISBN：7214023415
（德）阿尔弗雷德·柯内尔文；（德）英格博格·迈尔-雷伊图；陈俊译2016 年出版16 页ISBN：7534681626
白鹅瓦彻尔站在樱桃树下，浮想联翩，它突然感觉背上有什么东西打了一下。原来是一颗樱桃掉到它的背上，染红了它洁白的羽毛。白鹅觉得大事不妙，天要塌下来了。它四处奔走，向这种动物诉说。大家安慰它也无济于事，闹.....
（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631
本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
