（美）马尔科夫著；郭雪译2017 年出版345 页ISBN：9787213084515
这是一本迄今为止最完整、最具可读性的人工智能史图书，从多个维度描绘了人工智能从爆发到遭遇寒冬再到野蛮生长的发展历程，剖析“人与机器谁将拥有未来”这一机器时代的核心伦理问题。它是迄今为止超完整、极...
（苏）卡拉什尼科夫，Н.А.，（苏）普利哈金科，О.М..著；黄德寿译1959 年出版16 页ISBN：15044.2038
（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631
本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
（古罗马）弗拉维乌斯·韦格蒂乌斯·雷纳图斯著；袁坚译1998 年出版302 页ISBN：9787506567008
本丛书包括《海权对历史的影响》、《兵法》、《军队大脑》、《兵法简述》、《战争指导》、《绝对武器》、《谋略》、《理论后勤学》、《总体战》、《空中国防论》、《制空权》、《战争艺术概论》、《大纵深...
（苏）柯斯秋科夫（В.А.Костюков），（苏）高恩契列恩科冈察连科（К.С.Гончаренко）著；江禄炯，蔡盛龙译1956 年出版49 页ISBN：15119·416
（苏）诺瓦科夫斯基（С.В.Новаковский），（苏）萨莫依洛夫（Г.П.Самойлов）著；朱庆璋，梅国修译1957 年出版334 页ISBN：15045·总637无147
（苏）杰夏特科夫（М.И.Десятков），（苏）谢敏（И.Д.Семин）著；孔希，刘植惠译1954 年出版128 页ISBN：
（加）莉安·弗拉特著；（加）阿什莉·巴伦绘；周晓音译2016 年出版33 页ISBN：9787508659527
这是一本儿童科普绘本，是《大自然中的数学》系列绘本的第一分册。本书将数学问题的解决与诗一般的语言结合，通过拼贴画的表现方式，让孩子在观察春天景色的同时，充分理解基本的数学概念。花朵的开放是否有着特有...
（奥）凯蒂·雷切斯文；（奥）弗拉克·巴禾图；漪然译2009 年出版26 页ISBN：9787535841896
有时候，一个总爱大惊小怪的朋友，确实会让你神经紧张。因为小兔总是被最轻微的一点动静吓得抱头逃跑，小猫决定，离家出走，去给自己找几个新朋友。但这可不太容易。当小猫越来越想念自己的老家时，小兔却在独立的生.....
