（美）安德鲁·克莱门斯（AndrewClements）著2015 年出版143 页ISBN：9787511351494
本书是一部非常有意思的校园小说，小说的主人公是雷·韩斯利，原本是一个爱找麻烦的校园小魔王，因为信守承诺对哥哥的，百般克制捣蛋习性，逐步走向“不捣蛋、也有好玩”的境地，但是当他不找麻烦的时候，麻烦却找上......
(苏联)米哈伊尔·布尔加科夫著2008 年出版433 页ISBN：9787535438393
本书是俄罗斯少有的带有魔幻怪诞色彩的小说，在作者逝世二十五年后才得以公开发表。巧妙的构思、离奇的情节、深刻的哲理和完美的艺术形式，吸引了一代又一代读者，在西方和俄罗斯被誉为“讽刺文学、幻想文学和严...
（美）弗拉基米尔·纳博科夫著；主万译2013 年出版503 页ISBN：9787532762439
20世纪最受争议也是最重要的文学作品之一，既是作家个人艺术风格的集中体现，也是后现代主义文学名闻遐迩的经典。小说讲述了中年男子一位接受过高等教育行为却逾越道德范畴的欧洲移民，与一个可爱却又危险无情的...
（美）马尔科夫著；郭雪译2017 年出版345 页ISBN：9787213084515
这是一本迄今为止最完整、最具可读性的人工智能史图书，从多个维度描绘了人工智能从爆发到遭遇寒冬再到野蛮生长的发展历程，剖析“人与机器谁将拥有未来”这一机器时代的核心伦理问题。它是迄今为止超完整、极...
（苏）卡拉什尼科夫，Н.А.，（苏）普利哈金科，О.М..著；黄德寿译1959 年出版16 页ISBN：15044.2038
（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631
本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
（德）贝蒂娜·文策尔，（德）卡拉·施耐德，（德）英格丽德·于贝著；（德）马库斯·格罗利克，（德）安克·库尔，（德）安特叶·凯迪斯绘；杜平，周莹译2014 年出版246 页ISBN：9787121242977
这是一套来自德国的著名阅读系列：献给年纪和阅读能力都在成长的小读者们！《阅读这样有趣》汇集多位名家之作，其中的多册也是亚马逊的五星图书。《布丁公主和菜汤骑士》包含四个虚幻故事。《小公主征服巨龙》中...
（美）罗斯克兰斯，顾国良主编；中美交流基金会译2010 年出版207 页ISBN：9787509712474
本书是中美国际关系领域的著名学者在2006～2008年举行的三次中美关系学术研讨会的论文选集，内容涉及中美关系的政治、经济、安全、环保诸领域，就当今世界中美之间意见相左的问题如台湾问题，中国军力增长，解决朝鲜...
