（美国西斯科系统公司）Cisco Systems著；夏凌等译1999 年出版991 页ISBN：7505350897
（德）伊夫·希尔皮斯科（Yves Hilpisch）著；蔡立端译2017 年出版321 页ISBN：7121313363
（美）斯科特·贝德伯里，（美）斯蒂芬·芬尼契尔著；苑爱玲译2004 年出版213 页ISBN：7508600312
本书讲述了全球最卓越品牌的内幕故事，并通过一系列品牌建设的案例分析了如何在新世纪把握时机，善用与强化自己独特的品牌资产，提升品牌。作者除了讲述一手培育耐克、星巴克品牌的过程以外，还分析了诸如可口可乐...
（美）马尔科夫著；郭雪译2017 年出版345 页ISBN：9787213084515
这是一本迄今为止最完整、最具可读性的人工智能史图书，从多个维度描绘了人工智能从爆发到遭遇寒冬再到野蛮生长的发展历程，剖析“人与机器谁将拥有未来”这一机器时代的核心伦理问题。它是迄今为止超完整、极...
（英）爱丽丝·赫敏著；（英）金柏莉 斯科特绘2017 年出版30 页ISBN：9787559606501
建议主题词：儿童文学-图画书（无电子书目）“梦幻天堂”野生动物公园里，乔治正享受着宁静的夜晚。忽然，他瞥见一队动物正悄悄地从眼前爬过去。他忍不住去打听了下……原来啊，是企鹅们办了一个新的俱乐部。乔治也......
（苏）卡拉什尼科夫，Н.А.，（苏）普利哈金科，О.М..著；黄德寿译1959 年出版16 页ISBN：15044.2038
（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631
本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
