Research Catalog

Title

Great papers in computer science / [edited by] Phillip Laplante.

Publication

New York : IEEE Press ; Minneapolis/St. Paul : West Pub. Co., [1996], ©1996.

Items in the Library & Off-site

Details

Additional Authors

Laplante, Phillip A.

Description

iv, 717 pages : illustrations; 26 cm

Subjects

• Computer science
• Informatica
• Automatisering
• Informatique

Bibliography (note)

• Includes bibliographical references.

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 [and others] ; 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.

ISBN

• 031406365X
• 9780314063656
• 0780311124
• 9780780311121
• 070311124 (canceled/invalid)

LCCN

96128617

OCLC

• ocm34553730
• 34553730
• SCSB-5841792

Owning Institutions

Columbia University Libraries