大师与玛格丽特 全译本

(苏联)米哈伊尔·布尔加科夫著2008 年出版433 页ISBN：9787535438393

本书是俄罗斯少有的带有魔幻怪诞色彩的小说，在作者逝世二十五年后才得以公开发表。巧妙的构思、离奇的情节、深刻的哲理和完美的艺术形式，吸引了一代又一代读者，在西方和俄罗斯被誉为“讽刺文学、幻想文学和严...

纳博科夫文集 洛丽塔

（美）弗拉基米尔·纳博科夫著；主万译2013 年出版503 页ISBN：9787532762439

20世纪最受争议也是最重要的文学作品之一，既是作家个人艺术风格的集中体现，也是后现代主义文学名闻遐迩的经典。小说讲述了中年男子一位接受过高等教育行为却逾越道德范畴的欧洲移民，与一个可爱却又危险无情的...

阿基米德的浴缸 评科学中的若干神话故事

（法）斯文·奥尔托利，（法）尼·维特科夫斯基著；王懿静译2000 年出版170 页ISBN：7301043686

穆拉维约夫—阿穆尔斯基伯爵（传记资料）第一卷 （上、下册）

（俄）巴尔苏科夫著1973 年出版0 页ISBN：

人工智能简史

（美）马尔科夫著；郭雪译2017 年出版345 页ISBN：9787213084515

这是一本迄今为止最完整、最具可读性的人工智能史图书，从多个维度描绘了人工智能从爆发到遭遇寒冬再到野蛮生长的发展历程，剖析“人与机器谁将拥有未来”这一机器时代的核心伦理问题。它是迄今为止超完整、极...

无防水层桥梁上部构造的设计和施工的建议

（苏）卡拉什尼科夫，Н.А.，（苏）普利哈金科，О.М..著；黄德寿译1959 年出版16 页ISBN：15044.2038

高阶逻辑辅助证明系统

（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631

本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...

中国的海洋安全和海域管辖

季国兴著2009 年出版356 页ISBN：9787208088313

本书是一部讨论我国海洋安全和海域管辖问题的专著，是在教育部“中国海洋发展战略”项目的基础上扩展而成的。全书分上下两篇十八章，上篇全面客观地讲述了中国当前的海洋安全形势；下篇则根据《联合国海洋法公约...

国情调研 2010-2011 下

张冠梓主编；季为民副主编2012 年出版518 页ISBN：7209059105

本书对“家电下乡”政策的效果及其存在问题的调查研究；十六大以来西部农村社会保障状况的调查；信贷条件变动的就业冲击研究；北京八里桥农产品批发市场商户经营现状调查研究；集体建设用地流转与村镇社会经济发展...

国情调研 2010-2011 中

张冠梓主编；季为民副主编2012 年出版540 页ISBN：7209059105

本书对“家电下乡”政策的效果及其存在问题的调查研究；十六大以来西部农村社会保障状况的调查；信贷条件变动的就业冲击研究；北京八里桥农产品批发市场商户经营现状调查研究；集体建设用地流转与村镇社会经济发展...