Log In
Or create an account ->
Imperial Library
Home
About
News
Upload
Forum
Help
Login/SignUp
Index
Cover
Title Page
Copyright
Dedication
Epigraph
Table of Contents
Preface
Introduction: The Roots and Growth of Computer Science
1. Prior Analytics (∼350 BCE)
2. The True Method (1677)
3. Sketch of the Analytical Engine (1843)
4. An Investigation of the Laws of Thought on Which Are Founded the Mathematical Theories of Logic and Probabilities (1854)
5. Mathematical Problems (1900)
6. On Computable Numbers, with an Application to the Entscheidungsproblem (1936)
7. A Proposed Automatic Calculating Machine (1937)
8. A Symbolic Analysis of Relay and Switching Circuits (1938)
9. A Logical Calculus of the Ideas Immanent in Nervous Activity (1943)
10. First Draft of a Report on the EDVAC (1945)
11. As We May Think (1945)
12. A Mathematical Theory of Communication (1948)
13. Error Detecting and Error Correcting Codes (1950)
14. Computing Machinery and Intelligence (1950)
15. The Best Way to Design an Automatic Calculating Machine (1951)
16. The Education of a Computer (1952)
17. On the Shortest Spanning Subtree of a Graph and the Traveling Salesman Problem (1956)
18. The Perceptron: A Probabilistic Model for Information Storage and Organization (1958)
19. Some Moral and Technical Consequences of Automation (1960)
20. Man–Computer Symbiosis (1960)
21. Recursive Functions of Symbolic Expressions and Their Computation by Machine (1960)
22. Augmenting Human Intellect: A Conceptual Framework (1962)
23. An Experimental Time-Sharing System (1962)
24. Sketchpad (1963)
25. Cramming More Components onto Integrated Circuits (1965)
26. Solution of a Problem in Concurrent Program Control (1965)
27. ELIZA—A Computer Program for the Study of Natural Language Communication between Man and Machine (1966)
28. The Structure of the “THE”-Multiprogramming System (1968)
29. Go To Statement Considered Harmful (1968)
30. Gaussian Elimination is Not Optimal (1969)
31. An Axiomatic Basis for Computer Programming (1969)
32. A Relational Model of Large Shared Data Banks (1970)
33. Managing the Development of Large Software Systems (1970)
34. The Complexity of Theorem-Proving Procedures (1971)
35. A Statistical Interpretation of Term Specificity and Its Application in Retrieval (1972)
36. Reducibility among Combinatorial Problems (1972)
37. The Unix Time-Sharing System (1974)
38. A Protocol for Packet Network Intercommunication (1974)
39. Programming with Abstract Data Types (1974)
40. The Mythical Man-Month (1975)
41. Ethernet: Distributed Packet Switching for Local Computer Networks (1976)
42. New Directions in Cryptography (1976)
43. Big Omicron and Big Omega and Big Theta (1976)
44. Social Processes and Proofs of Theorems and Programs (1977)
45. A Method for Obtaining Digital Signatures and Public-Key Cryptosystems (1978)
46. How to Share a Secret (1979)
Bibliography
Index
← Prev
Back
Next →
← Prev
Back
Next →