（德）阿尔弗雷德·柯内尔文；（德）英格博格·迈尔-雷伊图；陈俊译2016 年出版16 页ISBN：7534681626
白鹅瓦彻尔站在樱桃树下，浮想联翩，它突然感觉背上有什么东西打了一下。原来是一颗樱桃掉到它的背上，染红了它洁白的羽毛。白鹅觉得大事不妙，天要塌下来了。它四处奔走，向这种动物诉说。大家安慰它也无济于事，闹.....
（美）霍尼娜著；（美）德舍尔，（美）德卡洛，（美）洛克里奇绘；赵妍译2012 年出版140 页ISBN：7535366708
本套书以蝙蝠侠为主角的经典短篇小说集，情节惊险跌宕，既有扣人心弦的推理破案，又有英勇的战斗和奇幻的冒险。书中彩插精美，内容精彩是孩子课外阅读娱乐的首选。...
（德）福瑞编文；（德）苟琛·比克绘；叶子译2009 年出版28 页ISBN：9787508388137
精灵艾玛有很多美好的愿望，她想要一头小马，金色的翅膀还要一座宫殿……小精灵还有很多愿望，但是她最想要的是一把魔杖，这样她就可以很容易的实现其他所有的愿望。有一天艾玛最好的朋友艾宫失踪了，艾玛焦急地找她...
（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631
本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
周杰，曲祥金主编2008 年出版311 页ISBN：9787030222046
本书内容包括三大部分：第一部分包括第1、2章，分别介绍分析化学基本知识和定量分析的误差理论；第二部分包括第3～7章，介绍化学分析方法：滴定分析和重量分析；第三部分包括第8～10章，介绍仪器分析方法：分光光度分......
曲朝阳，刘志颖等编著2006 年出版369 页ISBN：7508439295
本书详尽地阐述了软件测试领域中的一些基本理论和实用技术。首先从软件测试的基本原则，以及常用的软件测试技术入手，介绍了与软件测试领域相关的基础知识。然后，分别从单元测试、集成测试和系统测试三个层面深...
（德）哈德，（德）舒马赫著；银晓鲲译2006 年出版96 页ISBN：7501547556
本书为德国儿童侦探小说，故事后附有与案情相关的问题与答案，具趣味性和故事性。
