ACM图灵奖演讲集 前20年 1966-1985PDF电子书下载

第一部分导论 程序设计语言及系统 1

算法系统的综合 阿兰·J·珀利斯 1966 4

谦恭的程序员 埃德斯盖尔·W·狄伊克斯特拉 1972 14

作为一门艺术的计算机程序设计 唐纳德·E·克努特 1974 27

逻辑与程序设计语言 达纳·S·斯科特 1976 39

程序设计能从冯·诺依曼风格中解放出来吗？程序的函数风格及其代数 约翰·巴克斯（John Backus） 1977 54

程序设计的范例 罗伯特·W·弗洛伊德 1978 112

皇帝的旧衣 查尔斯·安托尼·理查德·霍尔 1980 123

关于软件研究的反思 丹尼斯·M·理奇 1983 138

对忠诚的信赖的反思 金·汤普森 1983 144

从程序设计语言的设计到计算机的构造 尼克劳斯·沃思 1984 150

第二部分导论 计算机与计算方法学 159

计算机的当时和现在 莫利斯·V·威尔克斯 1967 163

一个人对计算机科学的观点 R·W·汉明 1968 171

计算机科学的形式和内容 马尔文·明斯基 1969 181

来自一名数值分析家的评述 J·H·威尔金森 1970 202

人工智能中的一般性 约翰·麦卡锡 1971 213

作为航行者的程序员 查尔斯·W·巴彻曼 1973 223

作为经验调查的计算机科学：符号和查找 艾伦·纽厄尔和希尔伯特·A·西蒙 1975 238

计算复杂性 迈克尔·O·拉宾 1976 264

记号作为思维的工具 肯尼斯·E·埃弗森 1979 280

关系数据库：生产力的实用基础 E·F·科德 1981 326

计算复杂性综述 史蒂芬·A·库克 1982 343

组合学、复杂性和随机性 理查德·M·卡普 1985 361

ACM《计算评论》分类方案 392

姓名索引 398

主题索引 407