（美）柯尔著；（美）迪根绘；蒲公英童书馆译2011 年出版39 页ISBN：7221091918
新版神奇校车神奇无比，科普经典助力经典阅读！蒲公英童书馆经典巨献！
（美）乔安娜·柯尔著；（美）布鲁斯·迪根绘；谢徽译2005 年出版37 页ISBN：7536534590
这是一套给5～10岁孩子阅读、学习的科普丛书。它以神奇校车为载体，引领孩子走进神奇的科学世界。
（英）阿维森著；谢笛译2013 年出版31 页ISBN：9787553611549
本书采用一问一答的方式，回答了少年儿童最常问的问题。准确生动的问题解说、触类旁通的知识延伸和幽默有趣的手绘插画，充分满足了儿童的好奇心和求知欲，鼓励他们主动发问并在自主探究中寻找答案。本书介绍了有...
（英）莎士比亚著；赵长森改写2013 年出版206 页ISBN：9787532148783
父王死了，原来是叔父的阴谋。丹麦王子哈姆雷特，怎样避过杀父凶手的耳目，讨回事实的真相，而又失去了生活中本该拥有的快乐和生命呢？哈姆雷特并不是英雄豪杰这一类人，他和我们一样，是个普通而平凡的青年，这一点......
（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631
本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
（苏）巴拉诺娃（А.Баранова），（苏）柯尔卡吉娜（В.Корчагина）著；陆苹芳，刘直奉译1958 年出版126 页ISBN：13076·94
