（美）马尔科夫著；郭雪译2017 年出版345 页ISBN：9787213084515
这是一本迄今为止最完整、最具可读性的人工智能史图书，从多个维度描绘了人工智能从爆发到遭遇寒冬再到野蛮生长的发展历程，剖析“人与机器谁将拥有未来”这一机器时代的核心伦理问题。它是迄今为止超完整、极...
（苏）卡拉什尼科夫，Н.А.，（苏）普利哈金科，О.М..著；黄德寿译1959 年出版16 页ISBN：15044.2038
（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631
本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
（南唐）李璟，（南唐）李煜撰；（宋）无名氏辑；王仲闻校订2007 年出版161 页ISBN：7101056520
《南唐二主词》约成书于宋代，后世续有辑补，各种选本、笔记、诗话等对二主词作也多有引述。然该集历来真伪混杂，词作的文字异同更为纷繁。有鉴于此，著名学者王国维先生的次子王仲闻先生搜罗该集众本，参稽多种相关...
周作人著；止庵校订2013 年出版884 页ISBN：9787530213223
本套书即包括此三十六种。老版出版后，本书编校者止庵先生又发现了周作人从未出版的《近代欧洲文学史》，现在新版共包括三十七种，收录了目前所发现的周作人全部自编文集。周作人的集外文，将另外汇编成册出版。这...
周作人著；止庵校订2013 年出版369 页ISBN：9787530213223
本套书即包括此三十六种。老版出版后，本书编校者止庵先生又发现了周作人从未出版的《近代欧洲文学史》，现在新版共包括三十七种，收录了目前所发现的周作人全部自编文集。周作人的集外文，将另外汇编成册出版。这...
（苏）柯斯秋科夫（В.А.Костюков），（苏）高恩契列恩科冈察连科（К.С.Гончаренко）著；江禄炯，蔡盛龙译1956 年出版49 页ISBN：15119·416
