The invention of the universal electronic computer--how the Electronic Computer Revolution began
暂无分享,去创建一个
[1] G. TEMPLE,et al. Relaxation Methods in Engineering Science , 1942, Nature.
[2] Kurt Gödel,et al. On undecidable propositions of formal mathematical systems , 1934 .
[3] Vannevar Bush,et al. The differential analyzer. A new machine for solving differential equations , 1931 .
[4] G. G. Stokes. "J." , 1890, The New Yale Book of Quotations.
[5] Brian Randell,et al. The origins of digital computers: Selected papers , 1975 .
[6] K. Gödel. Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I , 1931 .
[7] Herman H. Goldstine,et al. Planning and coding of problems for an Electronic Computing Instrument , 1947 .
[8] B. Randell,et al. The Origins of Digital Computers: Selected Papers (Monographs in Computer Science) , 1982 .
[9] A. Burks. Icon, Index, and Symbol , 1949 .
[10] R. V. Southwell,et al. Relaxation Methods in Theoretical Physics , 1947 .
[11] William Aspray,et al. Papers of John Von Neumann on computing and computer theory, Vol 12 , 1986 .
[12] Arthur W. Burks,et al. The logical design of an idealized general-purpose computer , 1956 .
[13] W. G. Bickley,et al. Relaxation Methods in Theoretical Physics , 1947 .
[14] Arthur W. Burks,et al. From ENIAC to the Stored-Program Computer: Two Revolutions in Computers , 1978 .
[15] Bletchley Park,et al. The Colossus , 1990, The Journal of African History.
[16] Alice R. Burks,et al. First General-Purpose Electronic Computer , 1981, Annals of the History of Computing.
[17] John von Neumann,et al. First draft of a report on the EDVAC , 1993, IEEE Annals of the History of Computing.
[18] Donald E. Knuth,et al. Von Neumann's First Computer Program , 1970, CSUR.
[19] Henry E. Kyburg,et al. Chance , 1976, J. Philos. Log..
[20] John W. Mauchly. The Use of High Speed Vacuum Tube Devices for Calculating , 1982 .
[21] John V. Atanasoff,et al. Computing Machine for the Solution of large Systems of Linear Algebraic Equations , 1982 .
[22] D. R. Hartree,et al. Calculating Instruments and Machines , 1951 .
[23] W. Pitts,et al. A Logical Calculus of the Ideas Immanent in Nervous Activity (1943) , 2021, Ideas That Created the Future.
[24] Arthur W. Burks,et al. VON NEUMANN'S SELF-REPRODUCING AUTOMATA , 1969 .
[25] A. Church. Review: A. M. Turing, On Computable Numbers, with an Application to the Entscheidungsproblem , 1937 .
[26] Gian-Carlo Rota,et al. History of Computing in the Twentieth Century , 1980 .
[27] C. Fischer. The differential analyzer , 2003 .
[28] A. Burks,et al. Theory of Logical Nets , 1953, Proceedings of the IRE.
[29] Jean,et al. The Computer and the Brain , 1989, Annals of the History of Computing.
[30] Alice R. Burks,et al. The First Electronic Computer: The Atanasoff Story , 1988 .
[31] J. Schwartz,et al. Theory of Self-Reproducing Automata , 1967 .
[32] Aarthur W. Burks,et al. Turing's Theory of Infinite Computing Machines (1936-1937) and its Relation to the Invention of Finite Electronic Computers (1939-1949) , 2000, ACRI.
[33] A. Turing. On Computable Numbers, with an Application to the Entscheidungsproblem. , 1937 .
[34] A.W. Burks. Electronic Computing Circuits Of The ENIAC , 1947, Proceedings of the IEEE.
[35] F. C. Williams. Early computers at Manchester University , 1975 .
[36] Herman H. Goldstine,et al. Preliminary discussion of the logical design of an electronic computing instrument (1946) , 1989 .
[37] Herbert W. Franke,et al. A Computer Perspective , 1973 .
[38] J. Neumann. Eine Axiomatisierung der Mengenlehre. , 1925 .
[39] J. Neumann,et al. Die Axiomatisierung der Mengenlehre , 1928 .
[40] H. Goldstine,et al. The Computer from Pascal to von Neumann , 1974 .
[41] J. Neumann. Zur Hilbertschen Beweistheorie , 1927 .
[42] Perry Orson Crawford,et al. Automatic control by arithmetical operations , 1942 .
[43] Robert McNaughton. Review: Arthur W. Burks, Irving M. Copi, The Logical Design of an Idealized General-Purpose Computer , 1957 .
[44] Tom Kilburn,et al. A storage system for use with binary digital computing machines , 1949 .
[45] Arthur W. Burks,et al. Peirce's Theory of Abduction , 1946, Philosophy of Science.
[46] Arthur W. Burks,et al. Essays on cellular automata , 1970 .