第一部分导论 程序设计语言及系统 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