(苏联)米哈伊尔·布尔加科夫著2008 年出版433 页ISBN：9787535438393
本书是俄罗斯少有的带有魔幻怪诞色彩的小说，在作者逝世二十五年后才得以公开发表。巧妙的构思、离奇的情节、深刻的哲理和完美的艺术形式，吸引了一代又一代读者，在西方和俄罗斯被誉为“讽刺文学、幻想文学和严...
（美）弗拉基米尔·纳博科夫著；主万译2013 年出版503 页ISBN：9787532762439
20世纪最受争议也是最重要的文学作品之一，既是作家个人艺术风格的集中体现，也是后现代主义文学名闻遐迩的经典。小说讲述了中年男子一位接受过高等教育行为却逾越道德范畴的欧洲移民，与一个可爱却又危险无情的...
（美）马尔科夫著；郭雪译2017 年出版345 页ISBN：9787213084515
这是一本迄今为止最完整、最具可读性的人工智能史图书，从多个维度描绘了人工智能从爆发到遭遇寒冬再到野蛮生长的发展历程，剖析“人与机器谁将拥有未来”这一机器时代的核心伦理问题。它是迄今为止超完整、极...
（苏）卡拉什尼科夫，Н.А.，（苏）普利哈金科，О.М..著；黄德寿译1959 年出版16 页ISBN：15044.2038
（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631
本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
（英）威廉斯（Williams，C.），（英）巴斯韦尔（Buswell，J.）著；戴斌，依绍华译2004 年出版392 页ISBN：7310021258
本书建立了一个旅游与休闲服务质量的框架，阐述了服务质量管理的方法、工具和基本大批量及其在实践中的运用，介绍了“服务包”的设计过程与满足顾客期望的复杂性，并从整体服务的系统管理、服务流程和组织的角度...
