В.А.科夫达相关电子书下载

（美）弗拉基米尔·纳博科夫著；主万译2013 年出版503 页ISBN：9787532762439

20世纪最受争议也是最重要的文学作品之一，既是作家个人艺术风格的集中体现，也是后现代主义文学名闻遐迩的经典。小说讲述了中年男子一位接受过高等教育行为却逾越道德范畴的欧洲移民，与一个可爱却又危险无情的...

（法）斯文·奥尔托利，（法）尼·维特科夫斯基著；王懿静译2000 年出版170 页ISBN：7301043686

（俄）巴尔苏科夫著1973 年出版0 页ISBN：

（美）马尔科夫著；郭雪译2017 年出版345 页ISBN：9787213084515

这是一本迄今为止最完整、最具可读性的人工智能史图书，从多个维度描绘了人工智能从爆发到遭遇寒冬再到野蛮生长的发展历程，剖析“人与机器谁将拥有未来”这一机器时代的核心伦理问题。它是迄今为止超完整、极...

（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631

本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...

РЕДАКТОРЫ: Е.И.КОРНЕЙЧИК И К.М.ПОЛИКАРПОВИЧ1957 年出版280 页ISBN：

（苏）聂姆佐夫（Вл.Немцов）撰；于静纯译1951 年出版162 页ISBN：

（苏）格利高尔耶夫（В.К.Григорьев）著；洪鼎钟，毕士林译1956 年出版98 页ISBN：6004·69

（苏）马利恩巴赫（Л.М.Мариенбах）著；高文元译1958 年出版70 页ISBN：15119·536

张永修，张光达，林春美主编2002 年出版223 页ISBN：