Great papers in computer science /
| Other Authors: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
New York : Minneapolis/St. Paul :
IEEE Press ; West Pub. Co.,
[1996]
|
| Subjects: |
Table of Contents:
- 1. Algorithms and data structures. The complexity of theorem proving procedures / by Stephen A. Cook ; On the conceptual complexity of algorithms / by J. Hartmanis and R.E. Stearns ; Quicksort / by C.A.R. Hoare ; Finite automata and their decision problems / by M.O. Rabin and D. Scott
- 2. Programming languages. The FORTRAN automatic coding system / by J.W. Backus, et al. ; An axiomatic basis for computer programming / by C.A.R. Hoare ; An axiomatic definition of the programming language Pascal / by C.A.R. Hoare and N. Wirth ; The contour model of block structured processes / by John B. Johnston ; On the translation of languages from left to right / by Donald E. Knuth ; Revised report on the algorithmic language ALGOL 60 / by Peter Naur, et al.
- 3. Architecture. First draft of a report on the EFVAC / by John von Neumann ; A symbolic analysis of relay and switching circuits / by Claude E. Shannon ; Alto : a personal computer / by C.P. Thacker ... [et al.] ; The best way to design an automatic calculating machine / by M.V. Wilkes
- 4. Numerical and scientific computing. On computable numbers, with an application to the Entscheidungsproblem / by A.M. Turing ; On computable numbers, with an application to the Entscheidungsproblem / by A.M. Turing ; On computable numbers, with an application to the Entscheidungsproblem. A correction / by A.M. During
- 5. Operating systems. Cooperating sequential processes / by Edsger W. Dijkstra ; Solution of a problem in concurrent programming control / by Edsger W. Dijkstra ; A formal system for information retrieval from files / by David Hsiao and Frank Harary
- 6. Software methodology and engineering. No silver bullet-- essence and accidents of software engineering / by Frederick P. Brooks ; Guarded commands, nondeterminacy, and formal derivation of programs / by Edsger W. Dijkstra ; Go to statement considered harmful / by Edsger Dijkstra ; Proof of correctness of data representations / by C.A.R. Hoare ; On the criteria to be used in decomposing systems into modules / by David L. Parnas ; A rational design process : how and why to fake it / by David L. Parnas and Paul C. Clements ; Global variables considered harmful / by W. Wulf and M. Shaw
- 7. Databases. The theory of joins in relational databases / by A.V. Aho, C. Beeri, and J.D. Ullman ; Organization and maintenance of large ordered indexes / by R. Bayer and E. McCreight ; The entity relationship model-toward a unified view of data / by Peter Pin-Shan Chen ; A relational model of data for large shared data banks / by E.F. Codd
- 8. Artificial intelligence and robotics. Steps toward artificial intelligence / by Marvin L. Minsky ; Matter, mind, and models / by Marvin L. Minsky ; Fusion, propagation, and structuring in belief networks / by Judea Pearl ; Computing machinery and intelligence / by A.M. Turing
- 9. Human-computer communications. Programming considered as a human activity / by Edsger W. Dijkstra
- 10. History. Programming in America in the 1950s-- some personal impressions / by John Backus ; The evolution of data-base management systems / by James P. Fry and Edgar H. Sibley ; The evolution of the UNIX time-sharing system / by Dennis M. Ritchie.