（德）诺伯特·费什，（德）托马斯·威尔肯著；祝泮瑜译2015 年出版344 页ISBN：9787302411499
本书全面参考了建筑设计、能源规划以及建筑设备方面与产能标准相关的理念，展示了居住建筑、非居住建筑以及城市街区的实际案例，同时也展示了产能建筑标准在全球范围内的应用潜力。...
（德）霍尔格·阿佩尔（Holger Appel），（德）克里斯托弗·海茵（Christoph Hein）著；刘海宁译1999 年出版268 页ISBN：7214023415
（德）阿尔弗雷德·柯内尔文；（德）英格博格·迈尔-雷伊图；陈俊译2016 年出版16 页ISBN：7534681626
白鹅瓦彻尔站在樱桃树下，浮想联翩，它突然感觉背上有什么东西打了一下。原来是一颗樱桃掉到它的背上，染红了它洁白的羽毛。白鹅觉得大事不妙，天要塌下来了。它四处奔走，向这种动物诉说。大家安慰它也无济于事，闹.....
（美）霍尼娜著；（美）德舍尔，（美）德卡洛，（美）洛克里奇绘；赵妍译2012 年出版140 页ISBN：7535366708
本套书以蝙蝠侠为主角的经典短篇小说集，情节惊险跌宕，既有扣人心弦的推理破案，又有英勇的战斗和奇幻的冒险。书中彩插精美，内容精彩是孩子课外阅读娱乐的首选。...
（德）福瑞编文；（德）苟琛·比克绘；叶子译2009 年出版28 页ISBN：9787508388137
精灵艾玛有很多美好的愿望，她想要一头小马，金色的翅膀还要一座宫殿……小精灵还有很多愿望，但是她最想要的是一把魔杖，这样她就可以很容易的实现其他所有的愿望。有一天艾玛最好的朋友艾宫失踪了，艾玛焦急地找她...
（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631
本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
（美）科尼莉亚·莫德·斯佩尔曼著；（美）凯西·帕金森绘；黄雪妍译2016 年出版27 页ISBN：9787121279867
《我的感觉》系列汇集了孩子们经常发生的八种情绪，比如害怕、难过、喜欢自己、嫉妒、生气、关心别人、想念、担心等，用彩图和易懂的故事展现出各种情绪的表现特征及相对应的处理方式，使孩子形象掌握调理自己情...
（法）法兰斯瓦·普拉斯著；韩毓泽译；阎纯德审译2013 年出版59 页ISBN：9787537666428
《大熊》是一本情节起伏跌宕的儿童故事类图书，它讲述了史前时代，在一个以狩猎为生的部落里，降生了一个婴儿卡奥。冥冥之中，他被故事的讲述者“我”大熊，悉心守护着。因在一次狩猎麋鹿之中，被鹿群首领坦妲迷惑，......
阿姆斯特朗，斯佩里2018 年出版181 页ISBN：9787550142794
这是阿姆斯特朗·斯佩里自写自绘的一部儿童小说。讲述了一个叫做伊诺克撒切尔的小男孩搭乘传奇的飞云号进行首次试航的故事，这艘快速帆船创下了从纽约到圣弗兰西斯科的记录。书中对于航行的船只的描绘，作者的...
