（美）马尔科夫著；郭雪译2017 年出版345 页ISBN：9787213084515
这是一本迄今为止最完整、最具可读性的人工智能史图书，从多个维度描绘了人工智能从爆发到遭遇寒冬再到野蛮生长的发展历程，剖析“人与机器谁将拥有未来”这一机器时代的核心伦理问题。它是迄今为止超完整、极...
（苏）奥米里扬诺夫斯基（Омельяновский，М.Э.）编；余谋昌，邱仁宗译1987 年出版152 页ISBN：2017·372
（苏）弗依考夫斯基（П.А.Войтковский），（苏）斯米尔诺娃（Л.И.Смирнова）著；王群章，张家茂译1957 年出版68 页ISBN：15065.51
（苏）卡拉什尼科夫，Н.А.，（苏）普利哈金科，О.М..著；黄德寿译1959 年出版16 页ISBN：15044.2038
（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631
本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
（俄）克雷洛夫著；朱宪生，邱静娟译2015 年出版337 页ISBN：9787568206754
本书收集了克雷洛夫一生创作的所有寓言。这些寓言歌颂了质朴善良的劳动人民，对统治者进行了辛辣无情的鞭笞，反映了生活的真实和俄罗斯民族性格的典型特性，形象鲜明，内容生动，语言朴实，寓意深刻，蕴含着人生哲理......
（俄）普里马科夫著2014 年出版395 页ISBN：9787500132219
本书全方位描写了中东地区半个多世纪的变迁、动荡和冲突，从历史、文化、经济、政治和国际关系等方面揭示了中东问题的特点和复杂性，系统分析了近两年中东和北非地区爆发的“阿拉伯之春”事件，预测了中东局势的...
（俄）亚历山大·谢尔盖耶维奇·普希金（Александр，Сергеевич，Пушкин）著；刘文飞主编；李政文译1999 年出版628 页ISBN：7543435268
本卷包括：《高加索的俘虏》、《科隆纳一人家》、《铜骑士》等14首长诗和《母熊的故事》、《金公鸡的故事》、《死公主和七勇士的故事》等6首童话诗。...
