（美）马尔科夫著；郭雪译2017 年出版345 页ISBN：9787213084515
这是一本迄今为止最完整、最具可读性的人工智能史图书，从多个维度描绘了人工智能从爆发到遭遇寒冬再到野蛮生长的发展历程，剖析“人与机器谁将拥有未来”这一机器时代的核心伦理问题。它是迄今为止超完整、极...
（苏）卡拉什尼科夫，Н.А.，（苏）普利哈金科，О.М..著；黄德寿译1959 年出版16 页ISBN：15044.2038
（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631
本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
汉斯-金特·霍伊曼改编；莫妮卡·霍伊曼撰文；布里吉特·史密斯插图；叶思敏翻译2002 年出版32 页ISBN：7532080668
刘弢，吕春昕主编；乔秀峰，高瑞红，王学文等编；秦文君插图2014 年出版164 页ISBN：9787562838548
本书紧扣《语文课程标准》要求，按照5～6年级习作的目标，提供不同话题的写作素材、语句语段，注重表达见闻和感受，以纪实和想象作文为主，培养学生正确行为和通顺表达的能力。...
ConstantineMavroudis，CarlL.Backer主编；RachidF.Idriss插图；刘锦纷，孙彦隽主译2014 年出版1066 页ISBN：9787510074837
本书由51位世界著名专家共同编著，论述了小儿心脏外科学的病理生理基础、疾病分类、术后等基础内容以及该领域的最新进展。最新版经过全面修订、扩展和更新，内容包含了儿科先天性和获得性心脏病外科有关的各个...
郑中，杨新利编译；何士伟插图2005 年出版315 页ISBN：7802110696
本书介绍青春期少女们在生理、心理方面遇到的困惑和问题，并科学地给予解答。
（奥地利）托马斯·布热齐纳著；维尔纳·埃曼插图；许雪桂，殷明译2010 年出版221 页ISBN：9787534259661
本书是一套发生在世界各地的以三个孩子为主角的冒险破案小说。案情扑朔迷离，过程险象环生。不是一般意义上的升级，在原有的基础上增加一倍的新内容。...
（奥地利）托马斯·布热齐纳著；维尔纳·埃曼插图；许雪桂，俞丹译2010 年出版220 页ISBN：9787534259753
本书是一套发生在世界各地的以三个孩子为主角的冒险破案小说。案情扑朔迷离，过程险象环生。不是一般意义上的升级，在原有的基础上增加一倍的新内容。...
