（意）贝尔纳斯科尼编绘2012 年出版48 页ISBN：9787530752487
谁是森林里最漂亮的动物？“我！”河马说。“不，是我！”长颈鹿反驳道。但是，当一个猎人要捉森林里最漂亮的动物时，他们还愿意做那只最漂亮的动物吗？不！所以长颈鹿尝试着要变得像河马，像他那样丑，还有点儿笨。......
（法）德尼兹·加亚尔，贝尔纳代特·德尚，J. 阿尔德伯特等著2010 年出版544 页ISBN：9787010091198
本书是一部别开生面的教科书。当然是一本历史教科书，但它是由欧洲不同国家的14位历史学家共同编写的。我和他们都深信，在各国历史之外，还有一幅更为全面的欧洲历史嬗变的图景，当然我们不能因此就排除各国历史。...
（德）马丁·克兰著；（德）马努拉·奥尔特绘；李晓旸译2016 年出版45 页ISBN：9787562952367
这是一本适合小学低年级儿童阅读的桥梁书。提奥、尼尔斯和亨利是好朋友，他们要开展一次班级旅行。可是提奥从没有离开最心爱的补丁小熊一个人出来旅行过。虽然提奥是个男孩，但是一想到要在没有补丁熊的情况下...
（德）厄兹叙，（德）瓦尔杜里兹著2014 年出版608 页ISBN：9787302346005
This third edition of a classic textbook can be used to teach at the senior undergraduate and graduate levels.分布式数据库系统原理
（德）弗兰克·赖芬贝格著；（德）苏珊娜·魏希顿绘；陆阳，修洁译2015 年出版87 页ISBN：9787110087831
本书是一部有趣的冒险小说，故事讲述了古罗马时期一个10岁的小男孩如何通过自己的努力，将自己由一个奴隶变成一名出色赛马手的故事，情节跌宕起伏、引人入胜。小读者可以在阅读本书的时候体验一次不同寻常的冒险...
（德）诺伯特·费什，（德）托马斯·威尔肯著；祝泮瑜译2015 年出版344 页ISBN：9787302411499
本书全面参考了建筑设计、能源规划以及建筑设备方面与产能标准相关的理念，展示了居住建筑、非居住建筑以及城市街区的实际案例，同时也展示了产能建筑标准在全球范围内的应用潜力。...
（德）阿尔弗雷德·柯内尔文；（德）英格博格·迈尔-雷伊图；陈俊译2016 年出版16 页ISBN：7534681626
白鹅瓦彻尔站在樱桃树下，浮想联翩，它突然感觉背上有什么东西打了一下。原来是一颗樱桃掉到它的背上，染红了它洁白的羽毛。白鹅觉得大事不妙，天要塌下来了。它四处奔走，向这种动物诉说。大家安慰它也无济于事，闹.....
（美）霍尼娜著；（美）德舍尔，（美）德卡洛，（美）洛克里奇绘；赵妍译2012 年出版140 页ISBN：7535366708
本套书以蝙蝠侠为主角的经典短篇小说集，情节惊险跌宕，既有扣人心弦的推理破案，又有英勇的战斗和奇幻的冒险。书中彩插精美，内容精彩是孩子课外阅读娱乐的首选。...
（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631
本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
