（英）伊迪丝·内斯比特著；任溶溶译2005 年出版233 页ISBN：7532466167
《闯祸的快乐少年》讲述了巴斯塔布尔家的六个孩子：多拉、奥斯瓦德、迪基、诺埃尔、霍·奥等。他们每天在一起，蒸良心布丁救济穷人，扮演吉卜赛人给人算命、赶着驴车卖货，甚至于扮演穷孩子乞讨，这一切都是为了挣钱...
（英）洛伦兹·格利茨（Lawrence Galitz）著；唐旭等译1998 年出版484 页ISBN：7505814478
（英）萨拉·德拉蒙特，保罗·阿特金森，奥德特·帕里著2009 年出版207 页ISBN：9787301148143
《如何指导研究生》剖析了西方国家的高等教育从培养健全个人的学园向证书颁发机构的变迁的原因，对于当代的“学历社会”、“证书社会”的诸多问题做出了有说服力的预见。这是一本经过时间检验、证明具有重大...
乔丽英编著2004 年出版490 页ISBN：7500656564
本书基础篇介绍Pro/ENGINEER的各种初、中级绘图命令，并结合一些实例，达到讲练结合的目的；实例篇主要介绍Pro/ENGINEER的高级绘图命令，更加侧重实际操作。...
（英）福莱特著；于大卫译2013 年出版487 页ISBN：9787539963693
1886年，封闭的温菲尔德校园里发生了一场悲剧，一名小学生意外溺亡，在场的休·皮拉斯特、银行家族的继承人爱德华和南美领主的儿子米奇被卷入了这一神秘事件。爱德华的母亲奥古斯塔为了袒护儿子，私下与米奇达成协...
（英）理雅各译释2014 年出版378 页ISBN：9787542644541
本书选自理雅各19世纪出版的《中国经典》第二卷对“孟子”一书的主体文章译释，侧重于对《孟子》原著英语译释的把握，舍去了关于孟子的介绍和各方面的论述的英语内容，使本书更加便于对孟子原著的英译把握和借鉴...
（英）托尔金著；邓嘉宛，杜蕴慈译2013 年出版540 页ISBN：7208113033
本书是奇幻小说典范。全书分六卷和附录故事从魔戒持有者弗罗多身上展开，他在不知情的情况下继承了一枚戒指，却发现这枚戒指是黑暗魔君索隆迟迟不能统治世界的关键。他因此陷入善恶双方争夺的处境中。几经波折...
（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631
本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
