Classic Texts in Computer Science
来源:互联网 发布:php 数组取值 编辑:程序博客网 时间:2024/06/01 12:40
Found in google, annotate from http://www.zafar.se/bkz/Articles/ClassicCompScienceTexts.
- An axiomatic basis for computer programming
C. A. R. Hoare
- Communicating Sequential Processes (CSP)
C. A. R. Hoare
- Call-by-name, call-by-value, and the lambda calculus
Gordon Plotkin
- Towards a theory of type structure
John C. Reynolds
- Structured Programming with go to Statements
Donald E. Knuth
- Definitional interpreters for higher-order programming languages
John C. Reynolds
- An APL Machine 1970
Philip S. Abrams
- Henry Baker's Archive of Research Papers (many classic Lisp papers)
Henry Baker
- The Anatomy of a Large-Scale Hypertextual Web Search Engine
Sergey Brin and Lawrence Page
- No Silver Bullet: Essence and Accidents of Software Engineering
Frederic P. Brooks, Jr.
- A Mathematical Theory of Communication
Claude Shannon
- Communication Theory of Secrecy Systems
Claude Shannon
- Bayesian Networks without Tears
Eugene Charniak
- A Universal Algorithm for Sequential Data Compression
Jacob Ziv and Abraham Lempel
- A Relational Model of Data for Large Shared Data Banks 1970
Edgar F. Codd
- Let's Build a Compiler 1988-1995
Jack Crenshaw
- Gauging Similarity via N-Grams: Language-Independent Sorting...
Marc Damashek
- Worse Is Better
Richard P. Gabriel
- Hints on Programming Language Design
C.A.R. Hoare
- Why Functional Programming Matters
John Hughes
- On the Expressive Power of Programming Languages
Matthias Felleisen
- The Design of APL
Kenneth E. Iverson
- The Early History Of Smalltalk
Alan Kay
- Computer Programming as an Art
Donald E. Knuth
- The next 700 programming languages
Peter J. Landin
- Recursive Functions of Symbolic Expressions and their Computation by Machine (Part I) 1960
John McCarthy
- FORTH - A Language for Interactive Computing
Charles H.Moore
- Teach Yourself Programming in Ten Years 2001
Peter Norvig
- Parenthetically Speaking, a collection of essays from the 1990s
Kent M. Pitman
- The Definition and Implementation of a Computer Language based on constraints
Guy Lewis Steele Jr.
- Growing a Language
Guy Lewis Steele Jr.
- Epigrams on Programming
Alan J. Perlis
- The Complexity of Theorem Proving Procedures
Stephen A. Cook
- Steps Toward Artificial Intelligence
Marvin Minsky
- The Original 'Lambda Papers'
Guy Steele and Gerald Sussman
- A Method for Obtaining Digital Signatures and Public-Key Cryptosystems
R.L. Rivest, A. Shamir, and L. Adleman
- The UNIX Time-Sharing System
Dennis Ritchie and Ken Thompson
- Classic Texts in Computer Science
- Software Engineering 3: Domains, Requirements, and Software Design (Texts in Theoretical Computer Science. An EATCS Series)
- Lecture Notes in Computer Science
- Great Ideas in Computer Science with Java
- Best Paper Awards in Computer Science
- Lesson 4 Abstraction in computer science
- Vocabulary in Computer science and technology
- Computer Science
- computer science
- Computer and Computer Science
- 《Great Theoretical Ideas In Computer Science》学习笔记
- Top tier conferences & journals in Computer Science Area
- 40 Key Computer Science Concepts Explained In Layman’s Terms
- 【论文笔记】Applications of Graph Theory in Computer Science
- link to Best Paper Awards in Computer Science (since 1996)
- Curriculum of Computer Science and Technology in NEU
- Best Paper Awards in Computer Science (since 1996)
- Computer English in 《Computer Science - A structured programming approach using C》
- 解决Windows 程序界面闪烁问题的一些经验
- PLSQL
- Oracle Freelist和HWM原理及性能优化
- 许诺我的2008
- VC常用热键
- Classic Texts in Computer Science
- 存储过程、游标
- 毕业设计选题感想
- a word about kernel module
- 触发器
- 日历引擎
- Windows下visio矢量图行转成LaTex可用的eps图形
- C# 编写的文本文件读取程序
- 触发器的作用