Welcome Guest ( Log In | Register )

Sponsored Links

Sponsored Links

Free Technical and Computer Books 121 WOW!

Reply to this topicStart new topic
left > Classic Texts in Computer Science seperator Options V right
post Feb 25 2007, 12:55 AM
Post #1

Expert Member

Group: Administrators
Posts: 5,430
Joined: 26-February 06
Member No.: 364

A great list of classic computer science texts. Featuring such geeky titles as 'Let's Build a Compiler' and 'A Universal Algorithm for Sequential Data Compression'

An axiomatic basis for computer programming by C. A. R. Hoare
Communicating Sequential Processes (CSP) by C. A. R. Hoare
Call-by-name, call-by-value, and the lambda calculus by Gordon Plotkin
Towards a theory of type structure by John C. Reynolds
Structured Programming with go to Statements by Donald E. Knuth

Definitional interpreters for higher-order programming languages by John C. Reynolds
An APL Machine 1970 by Philip S. Abrams
Henry Baker's Archive of Research Papers (many classic Lisp papers) by Henry Baker
The Anatomy of a Large-Scale Hypertextual Web Search Engine by Sergey Brin and Lawrence Page

No Silver Bullet: Essence and Accidents of Software Engineering by Frederic P. Brooks, Jr.
A Mathematical Theory of Communication by Claude Shannon
Communication Theory of Secrecy Systems by Claude Shannon
Bayesian Networks without Tears by Eugene Charniak

A Universal Algorithm for Sequential Data Compression by Jacob Ziv and Abraham Lempel
A Relational Model of Data for Large Shared Data Banks 1970 by Edgar F. Codd
Let's Build a Compiler 1988-1995 by Jack Crenshaw
Gauging Similarity via N-Grams: Language-Independent Sorting... by Marc Damashek

Worse Is Better by Richard P. Gabriel
Hints on Programming Language Design by C.A.R. Hoare
Why Functional Programming Matters by John Hughes
On the Expressive Power of Programming Languages by Matthias Felleisen

The Design of APL by Kenneth E. Iverson
The Early History Of Smalltalk by Alan Kay
Computer Programming as an Art by Donald E. Knuth
The next 700 programming languages by Peter J. Landin

Recursive Functions of Symbolic Expressions and their Computation by Machine (Part I) 1960 by John<span class='wikiword]McCarthy</span>
FORTH - A Language for Interactive Computing by Charles H.Moore
Teach Yourself Programming in Ten Years 2001 by Peter Norvig
Parenthetically Speaking, a collection of essays from the 1990s by Kent M. Pitman

The Definition and Implementation of a Computer Language based on constraints by Guy Lewis Steele Jr.
Growing a Language by Guy Lewis Steele Jr.
Epigrams on Programming by Alan J. Perlis
The Complexity of Theorem Proving Procedures by Stephen A. Cook

Steps Toward Artificial Intelligence by Marvin Minsky
The Original 'Lambda Papers' by Guy Steele and Gerald Sussman
A Method for Obtaining Digital Signatures and Public-Key Cryptosystems by R.L. Rivest, A. Shamir, and L. Adleman
The UNIX Time-Sharing System by Dennis Ritchie and Ken Thompson

Source: http://www.zafar.se/bkz/Articles/ClassicCompScienceTexts
User is offlineProfile CardPM
Go to the top of the page
+Quote Post

Reply to this topicStart new topic


Lo-Fi Version Time is now: 26th March 2017 - 07:51 PM