| Location |
Title |
| |
Archives. |
|
Box 52 |
593 Possible Readings, undated. Box 52
|
|
Box 41 |
598 (W/C Reager) Readings, undated. Box 41
|
|
Box 52 |
598 Fall 2004 - Computers and Biology/Fall 97 notes,
1997-2004. Box 52
|
|
Box 50 |
598, Fall '97 Readings, 1997. Box 50
|
|
Box 58 |
A Checklist of Early Computer Manuals Donated to
Princeton University by Arnold I. Dumey, 1986.
(2 folders) Box 58
|
|
Box 49 |
A Cultural History of Personal Computers by Ted
Friedman, 1997. Box 49
|
|
Box 58 |
A Gift from Pandora's Box: The Software Crisis by M.
Eloina Palez V., 1998. Box 58
|
| |
A Study of Federal and Non-Federal Science Information
Processing and Retrieval Programs, 1961. Box 58
|
|
Box 49 |
About Computers and Computing - Articles, 1977-1987. Box 49
|
|
Box 41 |
ACM Computer Science Curriculum Reports, 1968-2004. Box 41
|
|
Box 46 |
ACM History Committee, 2003-2006. Box 46
|
|
Box 42 |
Algebra and Computing, undated. Box 42
|
|
Box 54 |
ALGOL, 1960. Box 54
|
|
Box 52 |
ACM 50/ENIAC 50 - Philadelphia, 1996. Box 52
|
|
Box 49 |
An Agenda for the History of Computing - Harvard,
1995. Box 49
|
|
Box 57 |
An Annotated Bibliography on the Construction of
Compilers by Barry W. Pollak, 1971. Box 57
|
|
Box 46 |
Annals History Committee, 2002-2007. Box 46
|
| |
Annals History Committee Editorial Board, 2004. Box 46
|
|
Box 56 |
Arbeitsgemeinschaften 2007 - ZIF (Zentrum fur
Interdisziplinare Forschung), 2007. Box 56
|
|
Box 55 |
Architecture of the IBM System/360, 1964. Box 55
|
|
Box 42 |
Article Anthology, undated.
(2 folders) Box 42
|
|
Box 41 |
Article -Industrial Research - Looking Around,
undated. Box 41
|
|
Box 57 |
Articles (and Interviews) with Christopher Kelty,
2002-2003. Box 57
|
|
Box 51 |
Articles about and by Christopher Strachy, 2000. Box 51
|
|
Box 53 |
Articles about and by Peter Landin, 1964-1998. Box 53
|
|
Box 42 |
Articles about and by Richard Hamming, 1998. Box 42
|
|
Box 49 |
Articles about Doug Ross, 1960-1988. Box 49
|
|
Box 43 |
Articles and Essays by Michael S. Mahoney, 1982-2005. Box 43
|
|
Box 51 |
Articles and Notes about and by Alan M. Turing,
1938-2004. Box 51
|
|
Box 46 |
Articles and Notes on Computational Complexity,
1971-2002. Box 46
|
|
Box 47 |
Articles and Notes on Programming Languages,
1950-1975.
(2 folders.) Box 47
|
|
Box 52 |
Articles and Papers on Models and Modeling, 1968-2004.
(2 folders.) Box 52
|
|
Box 41 |
Articles and Reports by George E. Smith, 1986. Box 41
|
|
Box 50 |
Articles by and about Alonzo Church, 1932-1997. Box 50
|
|
Box 42 |
Articles by and about Andrei Ershov, 1991-2006. Box 42
|
|
Box 56 |
Articles by and about Andrew Burstall, 1968-2002. Box 56
|
|
Box 49 |
Articles by and about C. A. R. Hoare, 1994-2001.
(2 folders) Box 49
|
|
Box 53 |
Articles by and about Dana Scott, 1970-1993. Box 53
|
|
Box 50 |
Articles by Arthur Norberg, 1976-1993. Box 50
|
|
Box 55 |
Articles by Christine Floyd, 1998-2003. Box 55
|
|
Box 57 |
Articles by Derek Rayside, 2002. Box 57
|
|
Box 43 |
Articles by Kling and Scacchi, 1982-1984. Box 43
|
|
Box 50 |
Articles by Kranakis, 1987-1989. Box 50
|
|
Box 41 |
Articles by M. Norton Wise, 1988-1989. Box 41
|
|
Box 50 |
Articles by McCarty, 2003-2004. Box 50
|
| |
Articles by McColloch/Pitts, 1945-2002. Box 50
|
|
Box 52 |
Articles by Noam Chomsky, 1953-1998. Box 52
|
|
Box 50 |
Articles by Rashevsky, 1943, 2008. Box 50
|
| |
Articles by Rodney Brooks, 1985-2001. Box 50
|
| |
Articles by Steve Lubar, 1991. Box 50
|
|
Box 57 |
Articles by Wilfried Sieg, 1994-2007. Box 57
|
|
Box 50 |
Articles by Willard McCarty, 2003-2005. Box 50
|
|
Box 54 |
Articles for the PC Software Conference, Needham,
2004. Box 54
|
|
Box 50 |
Articles from The Engineer, 1923. Box 50
|
|
Box 49 |
Articles on Artificial Intelligence, 1981-1988. Box 49
|
|
Box 45 |
Articles on Computing 1, 1994-2006. Box 45
|
| |
Articles on Computing 2, 1970-2006. Box 45
|
| |
Articles on Computing 3, 1985-2005. Box 45
|
|
Box 50 |
Articles on Cybernetics, 1956-1996. Box 50
|
|
Box 41 |
Articles on Cyberscience by Victoria Starridou,
2000. Box 41
|
|
Box 42 |
Articles on Databases, 1970-2003. Box 42
|
|
Box 45 |
Articles on Economics, undated. Box 45
|
| |
Articles on Hardware, 1996-2006. Box 45
|
| |
Articles on Internet, 1998-2008. Box 45
|
|
Box 41 |
Articles on Linear Programming, Online Printouts,
2003. Box 41
|
|
Box 49 |
Articles on Mainframes, 2002-2003. Box 49
|
|
Box 45 |
Articles on Math/The History of Math, 1976-2008. Box 45
|
| |
Articles on Programming 1, 1991-2004. Box 45
|
| |
Articles on Programming 2, 1993-2004. Box 45
|
| |
Articles on Programming 3, undated. Box 45
|
|
Box 43 |
Articles on Software, undated.
(4 folders) Box 43
|
|
Box 45 |
Articles on Software 1, 1998-2008. Box 45
|
|
Box 47 |
Articles on the Turing Machine, 1987-1988. Box 47
|
|
Box 49 |
Articles on Understanding Biology, Language, and
Linguistics, 1994-2005. Box 49
|
|
Box 52 |
Articles, Readings and Notes for FRS 159 Fall 2006,
1955-2006. Box 52
|
|
Box 49 |
Articles on Networking, 1974, 1995. Box 49
|
|
Box 47 |
Artificial Intelligence, 1993-2000. Box 47
|
|
Box 51 |
Artificial Intelligence (AI) Readings, 1950-1985. Box 51
|
|
Box 50 |
Artificial Life and Modeling, 1993-2000. Box 50
|
| |
Assorted Bibliographies, 1988-1989. Box 50
|
|
Box 57 |
Assorted System Glossaries and Terminology, undated. Box 57
|
|
Box 53 |
Automata and Language Theory, 1963-2004.
(2 folders) Box 53
|
|
Box 52 |
Automata and Logic, 1958-1990. Box 52
|
|
Box 58 |
BASIC - Dartmouth College, 1965. Box 58
|
|
Box 46 |
BASIC/DTSS Reunion - Dartmouth Information, 1964-2007. Box 46
|
|
Box 55 |
Bell Laboratories, "Computers and Computing",
undated. Box 55
|
|
Box 54 |
Bioinformatics, 1954-2004.
(2 folders.) Box 54
|
|
Box 41 |
Biological Calculus Modeling and Pi-Calculus,
2001-2003. Box 41
|
|
Box 50 |
Boolean Algebra of Circuits, 1947-1958. Box 50
|
|
Box 49 |
Bruce Blum - Articles and Papers, 1985-1989. Box 49
|
|
Box 53 |
BTL - UNIX History, 1964-1998.
(2 folders) Box 53
|
| |
Category Theory and Computing, 1974, 2005. Box 53
|
|
Box 58 |
CBI - Bibliography of Writings on the History of
Computing by Edward H. Tebbenhoff, 1983. Box 58
|
|
Box 49 |
Cellular-Automata, 1957-1983. Box 49
|
|
Box 41 |
Centrun voor Wiskunde en Informatica and Colloquium
History of Computing - both by Gerard Albert, 2005. Box 41
|
|
Box 53 |
CFLs, PDAs, Monoids, Machines, Schinkenberger,
undated. Box 53
|
|
Box 46 |
Changing Image of the Computer (Amsterdam) by Michael S.
Mahoney, 2000. Box 46
|
|
Box 43 |
Changing Image of the Sciences by I. Stamhuis et al.,
2002. Box 43
|
|
Box 51 |
Chapter One - Miscellaneous Notes, 1969. Box 51
|
|
Box 46 |
Chapters 1-6 Drafts and Notes (six folders),
undated. Box 46
|
|
Box 54 |
Chatin: Arts on Algorithm Information Theory,
1975-1999. Box 54
|
|
Box 53 |
Chomsky/Miller - Formal Languages, undated. Box 53
|
|
Box 41 |
Civilizing the Machine - Chapter Two - by John F.
Kasson, undated. Box 41
|
|
Box 58 |
COBOL - Report to Conference on Data System Languages,
1961. Box 58
|
|
Box 51 |
Cold War Science, 1998-2004. Box 51
|
|
Box 49 |
Committee on Computing, 1985-1986. Box 49
|
|
Box 54 |
Computation and Biology, 1957-1988. Box 54
|
|
Box 56 |
Computational Beauty of Nature, 2000. Box 56
|
|
Box 41 |
Computer and Business Articles - Assorted, 1959-1962. Box 41
|
|
Box 50 |
Computer Center Committees, 1983-1984. Box 50
|
|
Box 41 |
Computer Graphics Articles, Online Printouts,
2003. Box 41
|
|
Box 57 |
Computer History Handbook, Alberts et al., 2002. Box 57
|
|
Box 46 |
Computer History Museum - Timeline of Computing History
exhibit project, 2006. Box 46
|
|
Box 54 |
Computer History Museum Information, undated. Box 54
|
|
Box 51 |
Computer Industry, 1986. Box 51
|
|
Box 42 |
Computer Programming Flow Charts, 1960-1975. Box 42
|
|
Box 55 |
Computer Proof of 4 - Color Problem, 1979. Box 55
|
| |
Computer Recreations - by A. K. Dewdney, 1983-1984. Box 55
|
| |
Computer Science 150: Systems Programming, 1988. Box 55
|
|
Box 53 |
Computers and Education - Computer Literacy Articles,
1981-1986.
(3 folders) Box 53
|
|
Box 51 |
Computers and Education Articles, 1940-2003. Box 51
|
|
Box 57 |
Computers and Humanities, 2000. Box 57
|
|
Box 51 |
Computers and Math Articles, 1988-1993. Box 51
|
|
Box 42 |
Computers and Mathematics: The Search for a Discipline
of Computer Science by Michael S. Mahoney - Documents/Letters, 1991-1992. Box 42
|
|
Box 46 |
Computers in the News, 2000-2002. Box 46
|
|
Box 50 |
Computers, Reasoning and Mathematical Practice by Ursula
Martin, 2000. Box 50
|
|
Box 51 |
Computers: Miscellaneous, 1983-1995. Box 51
|
|
Box 46 |
Computing Articles, 1981-2006. Box 46
|
|
Box 41 |
Conference on "Why Sketch?" - by Michael S.
Mahoney, 2001. Box 41
|
|
Box 49 |
Corrado-Bohm Biography, 1993. Box 49
|
|
Box 55 |
COS 126 - General Computer Science, 1994. Box 55
|
|
Box 46 |
Course 298 Illustrations, undated. Box 46
|
|
Box 54 |
CPL and BCPL/B&C, 1964-1996. Box 54
|
| |
CRA/IEEE Workshop - Amherst, 2000-2001. Box 54
|
| |
Creating Radical Visions of Future Technology: DARPA's
Role in Changing Computing - Arthur L. Norberg and Judy E. O'Neill,
undated. Box 54
|
|
Box 51 |
Cybernetics and Information Technology, 1988. Box 51
|
|
Box 58 |
Data Processing, Software, and Computing Articles,
1976-1995. Box 58
|
|
Box 51 |
Datamation Notes and Articles, 1961-1965. Box 51
|
|
Box 56 |
Datatron - Electronic Data Processing Systems Handbook -
Central Computer (transparencies), 1956. Box 56
|
|
Box 58 |
Description of the ENIAC and Comments on Electric
Digital Computing Machines, 1945. Box 58
|
|
Box 54 |
Design and Development of Successful Operating Systems
by Andrew Mychajlowycz , 1985. Box 54
|
|
Box 58 |
Design of the Processing Lements for a Special-Purpose
Super Computer by Gianluca Tempesti, 1990. Box 58
|
|
Box 57 |
Difference between Clocks and Turing Machines - by
Giuseppe Longo, undated. Box 57
|
|
Box 51 |
Dirk Siefkes Articles, undated. Box 51
|
|
Box 54 |
DNA Code/Decoding, 1957-1959. Box 54
|
| |
DOD, MIL - STDS, 1995. Box 54
|
|
Box 47 |
Donald Mackenzie (Edinburgh), 1989-1996. Box 47
|
|
Box 57 |
Dumey Checklist - Master and Copies, 1986.
(3 folders) Box 57
|
|
Box 46 |
E. J. Brill Letters, 1986. Box 46
|
|
Box 55 |
EECS - 320 Princeton University - Term Project/Final
Review, 1978. Box 55
|
|
Box 56 |
EECS 217: Princeton University, 1983.
(2 folders) Box 56
|
| |
EECS 318: Princeton University, 1983. Box 56
|
| |
EECS 423: Theory of Algorithms - Princeton University,
1984. Box 56
|
|
Box 55 |
EECS 487: Theory of Automata and Computation,
1982. Box 55
|
|
Box 46 |
ELE/COS 583 Great Moments, 2008. Box 46
|
|
Box 41 |
Elementary Formal Systems - by Raymond M. Smullyan,
1961, 1963. Box 41
|
|
Box 54 |
Embedded Systems, undated. Box 54
|
|
Box 52 |
Embodied Thinking, Tacit Knowledge, Situated Cognition,
2002-2003. Box 52
|
|
Box 43 |
Encyclopedia of Computer Science - Software History,
undated. Box 43
|
|
Box 42 |
Ersitov - McCarthy, 1998. Box 42
|
|
Box 50 |
Evolution and Communication, 1952-2003.
(2 folders) Box 50
|
|
Box 58 |
Evolution of Software Design Ideas by David J. Koepke,
1985. Box 58
|
|
Box 49 |
Evolving Algebras by Yuri Gunerich, 1993-1994. Box 49
|
|
Box 46 |
Fellowships (descrip.) Transparencies, undated. Box 46
|
| |
Finding a History for Software Engineering, 2002. Box 46
|
|
Box 49 |
Finding a History for Software Engineering, Various
Versions, 1998. Box 49
|
|
Box 52 |
Fitness and Computational Literacy and Competency,
1992-2005. Box 52
|
|
Box 51 |
FRS 114 Readings, 1950-1996. Box 51
|
|
Box 49 |
FS 107 Readings, undated. Box 49
|
|
Box 51 |
General Accounting Office (GAO) Reports on Software and
Air Traffic Control (ATC), 1979-2003. Box 51
|
|
Box 50 |
Genesis of Point Set Topology by Jerome H. Manheim,
undated. Box 50
|
|
Box 53 |
George Miller Articles, 1979-1998. Box 53
|
| |
Goguen - Algebra, Category Theory, 1975-1995. Box 53
|
|
Box 46 |
Google: Massive Data Bases and Search Engines,
2006-2008. Box 46
|
|
Box 56 |
Gordon, Intro to Functional Programming, Hudaks et al.,
A Gentle Intro to Haskell, 1996. Box 56
|
|
Box 51 |
Hardware and Specific Machines, 1969-1986. Box 51
|
|
Box 57 |
Harold Shapiro Correspondence, 1988. Box 57
|
|
Box 52 |
Hartmanis - Stearns - Machine Theory, 1960-1964. Box 52
|
| |
Hartmanis et al. - Nature of Computer Science,
1995. Box 52
|
|
Box 41 |
Harvard Business Review Indexes, 1954-1973. Box 41
|
|
Box 49 |
Harvard Business Review: Computers, 1954-1973. Box 49
|
| |
Harvard Business Review: Operations Research,
1954-1957. Box 49
|
|
Box 51 |
Haskell Curry Articles, 1942-1973. Box 51
|
|
Box 46 |
Historical Perpectives on Models and Modeling
transparencies, undated. Box 46
|
|
Box 41 |
History 398 - Course Work/Lecture Notes/Articles,
1994. Box 41
|
|
Box 54 |
History 398 - Technology and Their Societies: Historical
Perspectives, 2004. Box 54
|
|
Box 58 |
History of Computers and Computer Languages - A
Preliminary Bibliography by Hugh G.J. Aitken and Robert B. Stoddard,
1982. Box 58
|
|
Box 51 |
History of Computing - Various Notes, undated. Box 51
|
|
Box 47 |
History of Computing Articles, undated.
(12 folders) Box 47
|
|
Box 42 |
History of Programming Language (HOPL) Conference III,
June 9-10, 2007.
(3 folders) Box 42
|
|
Box 41 |
History of Video Gaming - Online Printouts, 2003. Box 41
|
|
Box 50 |
HOPL History Forum, 1991-1992. Box 50
|
| |
HOPL II Book, 1995. Box 50
|
|
Box 46 |
HOPL II-Forum Talk, 1992-1993. Box 46
|
|
Box 47 |
HOPL II-Program Committee, 1992-1993. Box 47
|
|
Box 57 |
HOS 591 - Spring 08, 2008. Box 57
|
|
Box 51 |
HSS/SHOT - History of Computing (Aspray), 1987. Box 51
|
|
Box 57 |
Humanities and Computing, 1995-2004. Box 57
|
|
Box 58 |
IBM 650 - A Computer in Context by Jonathan Jay Baker,
1987. Box 58
|
|
Box 49 |
IEEE History Conference, 1997. Box 49
|
|
Box 58 |
Illiac Reference Manuals, 1969-1972.
(2 folders) Box 58
|
|
Box 43 |
In Our Own Image by Michael S. Mahoney, 2002. Box 43
|
|
Box 46 |
Information about and articles by E. F. Codd,
1956-2007. Box 46
|
| |
Information about and articles by Robert Floyd,
1961-2006. Box 46
|
| |
Information and Notes on John Von Neumann, 1990-1994. Box 46
|
|
Box 54 |
Information Theory and Biology, 1958-1996. Box 54
|
|
Box 51 |
Information Theory and Information Science, 1955-1985. Box 51
|
| |
Information Theory Articles, 1970-2000. Box 51
|
|
Box 41 |
Intel Microprocessor - Moore's Law, 1997. Box 41
|
|
Box 58 |
International Conference on the History of Computing,
1998. Box 58
|
|
Box 56 |
International Repertory of Computation Laboratories,
1961.
(2 folders) Box 56
|
|
Box 46 |
Issues in the History of Computing, undated. Box 46
|
| |
Iterations Editorial Board, 2000-2001. Box 46
|
|
Box 52 |
Jean D. Ichbiah - History of ADA, 1992. Box 52
|
|
Box 49 |
John Holland Articles, 1999-2003. Box 49
|
|
Box 45 |
Journals of the Association of University Technology
Managers, Inc., 1990, 1996-1999. Box 45
|
|
Box 52 |
Kathryn Hendersen Sketches and CAD and related articles,
1986. Box 52
|
|
Box 55 |
Kriegspiele - by Philipp von Higlers, undated. Box 55
|
| |
Learning, 1963-2002. Box 55
|
|
Box 47 |
Lectures and Articles, 1998-1999. Box 47
|
|
Box 49 |
Lindenmayer and L-Systems, 1967-1999. Box 49
|
|
Box 58 |
Lisa K. Van Stone, "The Impact of Computers on
Conceptulization In Chemistry", 1984. Box 58
|
|
Box 52 |
List of Works Cited, undated. Box 52
|
|
Box 56 |
Logic and Computing Arts from BULL.SYS.LOG, 1995-1998. Box 56
|
|
Box 57 |
Lydia Holt - (PTP Cert. Rev.), 2002-2006. Box 57
|
|
Box 52 |
MAC and Multics, 1959-1967. Box 52
|
| |
Machine Theory, Algebraic and Sequential, 1958-1995. Box 52
|
|
Box 57 |
Mahoney Computer Science Publications - Various
Versions, 1995. Box 57
|
|
Box 41 |
Mahoney Course Work - HPS 298: Miscellaneous Notes,
1980-1983. Box 41
|
|
Box 55 |
Mahoney Interviews, 1989.
(2 folders) Box 55
|
|
Box 57 |
Mahoney Notebook of Notes, undated. Box 57
|
| |
Maps and Mapping, 1985-1999. Box 57
|
|
Box 58 |
Math 501/Phil 521 - Church Math Logic, undated. Box 58
|
|
Box 41 |
Max-Planck-Institute Offprints and Articles,
2000-2001. Box 41
|
| |
Max-Planck-Institute Papers and Drafts, 1998-2002. Box 41
|
|
Box 53 |
McCarthy Mathematical Theory, LISP, et al., 1959-2003. Box 53
|
|
Box 57 |
Measure, Gauging, and Screws Articles, 1884-1969. Box 57
|
|
Box 41 |
Mechanics and Cell Biology, 1999-2001. Box 41
|
|
Box 55 |
Medichi Workshop 2007 Klagenfort University,
2007. Box 55
|
| |
Metamagical Themas - by Douglas R. Hofstadter,
1981-1983. Box 55
|
|
Box 42 |
Michael S. Mahoney Pre-Publications and Lecture Text,
1995-1996. Box 42
|
|
Box 41 |
Military Enterprise and the Innovative Process - by M.
Roe Smith, undated. Box 41
|
|
Box 52 |
Mimsky - Articles and Chapters, undated. Box 52
|
|
Box 55 |
Miscellaneous, 1930-2006.
(2 folders) Box 55
|
|
Box 52 |
Miscellaneous and Unclassified Notes, undated. Box 52
|
|
Box 45 |
Miscellaneous Articles and Papers, 1989-2008. Box 45
|
|
Box 46 |
Miscellaneous articles, papers, and book excerpts,
undated. Box 46
|
|
Box 41 |
Miscellaneous Computing Articles, 2000-2002. Box 41
|
|
Box 52 |
Miscellaneous Correspondence and Articles, 1997-1998. Box 52
|
|
Box 47 |
Miscellaneous IBM Newpaper Articles, 1986-1987. Box 47
|
|
Box 42 |
Miscellaneous Journal and Van Leer Jerusalem Institute
Schedule, 2006. Box 42
|
|
Box 46 |
Miscellaneous Notes and Articles, undated. Box 46
|
|
Box 49 |
Miscellaneous Notes and Articles, 1949-1987. Box 49
|
|
Box 43 |
Miscellaneous Readings on Software and Computing,
1995-2008.
(2 folders) Box 43
|
|
Box 53 |
Miscellaneous Reports and Articles, 1971-1986. Box 53
|
|
Box 46 |
Miscellaneous Transparencies re: Technology,
undated. Box 46
|
|
Box 54 |
Model Systems II Physics, 2000. Box 54
|
|
Box 52 |
Models Paper and Notes, undated. Box 52
|
|
Box 42 |
National Initiative for a Networked Cultural Heritage
(NINCH) Building Blocks Workshop, September 20-24, 2000. Box 42
|
|
Box 50 |
NATO Conference, 1969-1983. Box 50
|
|
Box 47 |
New York Academy of Sciences - Roots of Software
Engineering, 1995. Box 47
|
|
Box 56 |
NKS Reviews, 2002-2003. Box 56
|
|
Box 42 |
Notes and Articles of Modern Abstract Algebra,
1940-2003.
(2 folders) Box 42
|
|
Box 44 |
Notes and Bibliographical Materials, undated. Box 44
|
|
Box 41 |
Notes sur l'histuire des mathematiques - by H.G.
Zeuthen, undated. Box 41
|
|
Box 58 |
NSA ALGOL - An Extended, Machine-Independent Version of
ALGOL 62 - Programmer's Manual, 1965. Box 58
|
|
Box 56 |
Object Oriented Software Engineering Lecture at CSC,
1988. Box 56
|
|
Box 42 |
Observations on the Analogy… and An Essay toward the
Calculus of Functions - both by Charles Babbage, 2005. Box 42
|
|
Box 45 |
Office of Technology Assessment Reports, 1982. Box 45
|
|
Box 49 |
On the Economy of Machinery and Manufacturers - Copy of
Ch. 26, undated. Box 49
|
|
Box 51 |
Operating Systems, 1963-1987. Box 51
|
|
Box 43 |
Operations Research Materials, 1984-2003. Box 43
|
|
Box 51 |
Origins and Nature of Computation for Workshop on the
History and Philosophy of Science, 2006. Box 51
|
|
Box 43 |
Origins of the "Software Crisis" 1950-1970:
Preliminary Considerations, undated. Box 43
|
| |
Papers by Michael S. Mahoney at Princeton, 1993-2005. Box 43
|
|
Box 57 |
Paul Ceruzzi Correspondence, 1990. Box 57
|
|
Box 58 |
Petri-Nets: Applications and Relationships to Other
Models of Currency, 1986. Box 58
|
|
Box 43 |
Phil. 521 - Mathematical Logic, 1963. Box 43
|
|
Box 57 |
Philosophy and Science, 1984-1995. Box 57
|
|
Box 54 |
Philosophy of Artificial Life - edited by Margaret A.
Boden, 1996. Box 54
|
|
Box 56 |
Physics 203: Notes, 1973. Box 56
|
|
Box 41 |
Pi-Calculus and Biology Publications by Walter Fontana
and Leo W. Buss, 1993-1994. Box 41
|
|
Box 53 |
Pi-Calculus, Combinatory Logic, Recursive Function
Theory, 1982-2000. Box 53
|
|
Box 52 |
Pi-Calculus, Semantics, Program Corrections,
1973-1992. Box 52
|
|
Box 58 |
Pioneering Software in the 1960s in Germany, The
Netherlands, and Belgium, 2006. Box 58
|
|
Box 47 |
Plankalkul - Konrad Zuse, 2000. Box 47
|
|
Box 50 |
Playing the Education Game to Win by W. Stuart Leslie,
undated. Box 50
|
| |
Power of Maps, 1986. Box 50
|
|
Box 46 |
Preplanning for HOPL III Conference, 2005-2007. Box 46
|
|
Box 57 |
Princeton Math Department, undated. Box 57
|
|
Box 46 |
Princeton Training Institutes (PTI) - Computer
Competency, 1983. Box 46
|
|
Box 57 |
Proceedings of the TRW Symposium on
"reliable,cost-effective, secure software", 1974.
(2 folders) Box 57
|
|
Box 51 |
Production of Software/Software Crisis, 1966-1994. Box 51
|
|
Box 52 |
Professionalization and Discipline Formation,
1967-1971.
(2 folders) Box 52
|
|
Box 56 |
Program Correctness, 1966-2002. Box 56
|
|
Box 47 |
Programming and Programming Techniques, 1972-1989. Box 47
|
|
Box 56 |
Programming Articles, 1964-1998. Box 56
|
|
Box 42 |
Programming as an Evolutionary Process and A Philosophy
of Programming - both by F. L. Baur, 1975. Box 42
|
|
Box 51 |
Programming Languages and Systems, 1956-1968. Box 51
|
|
Box 41 |
Project Pegasus and Teachings, 2006. Box 41
|
|
Box 49 |
Proofs Discourse in Math, 1983-1991. Box 49
|
|
Box 57 |
Proprietary Rights in the New Landscape of Intellectual
Property Law: An Anglo-American Perspective by J. H. Reichman, 1991. Box 57
|
|
Box 56 |
Psychology 428/Computer Science 428: Artificial
Intelligence and Human Cognition, 1986. Box 56
|
|
Box 42 |
QED Text Editor History and Technical Memorandum and
Text Matching Algorithm Info, undated. Box 42
|
|
Box 56 |
Recursive Functions Notes, undated. Box 56
|
| |
Relational Databases, 1976-2007. Box 56
|
|
Box 41 |
Relativity of Standards of Mathematical Rigor - by R. L.
Wilder, undated. Box 41
|
|
Box 52 |
Representation in the Humanitics of Computing,
undated. Box 52
|
|
Box 47 |
Richard Giordano Resume and Papers, 1989. Box 47
|
|
Box 41 |
Robert Rosen on The Church-Turing Thesis, 1994-2001. Box 41
|
|
Box 52 |
Schutzenberger, M. Articles, 1950-1998.
(2 folders.) Box 52
|
|
Box 46 |
Science in the 20th Century (Krige), 1993-2006. Box 46
|
|
Box 54 |
Seventeenth-Century Perspectives on Computational
Science by Michael S. Mahoney, undated. Box 54
|
|
Box 42 |
SHA 398 - Lecture Outlines/Notes, 2002. Box 42
|
| |
SIG Governing Board Meeting, February 11, 2008. Box 42
|
|
Box 41 |
SIGGRAPH '89 Panel Documents, 1989. Box 41
|
|
Box 46 |
Sloan Series - Intro to Technology, 1987. Box 46
|
|
Box 54 |
Smyth - University Research Board Report, 1964. Box 54
|
|
Box 58 |
Society of the History of Technology (SHOT) 50th
Conference Program, 2007. Box 58
|
|
Box 51 |
Software - Varia, 1958-1996. Box 51
|
|
Box 49 |
Software and the Assembly Line, 1990-2005. Box 49
|
| |
Software and the Assembly Line (Lecture - Colby 41 189),
1989. Box 49
|
|
Box 50 |
Software Architecture, 1992-1994. Box 50
|
|
Box 53 |
Software Engineering, 1985-1996. Box 53
|
|
Box 54 |
Software Engineering, 1972-1996.
(2 folders) Box 54
|
|
Box 57 |
Software Engineering Articles, 1981-1987.
(2 folders) Box 57
|
|
Box 42 |
Software Engineering by Dines Bjorner, 2005. Box 42
|
|
Box 43 |
Software Engineering Transparencies, undated. Box 43
|
|
Box 42 |
Software History - Mini (DEC/DG - HP) CHM, 2008. Box 42
|
|
Box 50 |
Software in the News, 1989-1991. Box 50
|
|
Box 42 |
Software Issues - Conference/Articles, 2000.
(2 folders) Box 42
|
|
Box 52 |
Software Patent I, 1995. Box 52
|
|
Box 57 |
Software Patent Institute (Galler), 1991-1993. Box 57
|
|
Box 43 |
Software: The Self Programming Machine, 1999. Box 43
|
| |
Structures of Computation, undated. Box 43
|
|
Box 55 |
Structures of Computation - Israel, 2005-2007. Box 55
|
|
Box 41 |
Structures of Computation by Michael S. Mahoney,
1999. Box 41
|
|
Box 54 |
Structures of Computation by Michael S. Mahoney,
1999. Box 54
|
|
Box 55 |
Student Work, 2006. Box 55
|
|
Box 54 |
SWE varia, 1994-1997. Box 54
|
|
Box 41 |
System of Professions (Ch. 4,7,8,11) - by Andrew Abbott,
undated. Box 41
|
|
Box 47 |
Technische Universitat Berlin Correspondence,
1995. Box 47
|
|
Box 41 |
Technocracy Articles, Online Printouts, 1998. Box 41
|
|
Box 48 |
Technology and the Future of Schooling by Stephen
Tikerr, 1996. Box 48
|
| |
The Airy Tape - An Early Chapter in the History of
Debugging by Martin Campbell-Kelly, 1994. Box 48
|
|
Box 52 |
Thinkpad Updates and Information, 2004. Box 52
|
|
Box 41 |
Tierra Code and Articles, 1994-1997. Box 41
|
|
Box 46 |
Transparencies for In Our Own Image, undated. Box 46
|
|
Box 58 |
Turing Lectures, 1966-1987.
(2 folders) Box 58
|
|
Box 52 |
Ubiquity - Peter Denning, 2006. Box 52
|
|
Box 54 |
UNCOL, 1960. Box 54
|
|
Box 50 |
UNIVAC I Oral History, 1990. Box 50
|
|
Box 58 |
University of Pennsylvania Newsletters, 1996. Box 58
|
|
Box 46 |
UNIX History Tape - Unix Oral History Project,
undated. Box 46
|
|
Box 43 |
UNIX Oral History by Michael S. Mahoney, undated. Box 43
|
|
Box 53 |
UNIX Oral Interviews, 1989. Box 53
|
|
Box 56 |
UNIX Programmer's Manual, 1985. Box 56
|
|
Box 50 |
Vannevar Bush and the Differential Analyzer by Larry
Owens, 1982. Box 50
|
|
Box 56 |
Various Articles - Computing, 1995-2004. Box 56
|
|
Box 55 |
Various Articles and Reports, 1985-2000. Box 55
|
|
Box 43 |
Various Articles on Artificial Intelligence, Software,
Information, and Computing, 1964-2006.
(2 folders) Box 43
|
|
Box 55 |
Various Newsletters and Reports, 1989-1992. Box 55
|
|
Box 56 |
Various Reports, 1978-2007. Box 56
|
|
Box 57 |
Various Reports and Catalogs, 1954-1961. Box 57
|
| |
Virtual Machines, undated. Box 57
|
|
Box 41 |
Visualization Workshop Papers, 1992. Box 41
|
|
Box 49 |
VM and the VM Community - by Varian, 1989. Box 49
|
|
Box 43 |
VM/CMS/REXX Articles, 1990-1992. Box 43
|
|
Box 49 |
Walter Doherty, 1986-1990. Box 49
|
|
Box 42 |
Web of Learning, Freshman Assembly, Princeton - by
Michael S. Mahoney, 2005. Box 42
|
|
Box 54 |
What is Life? - Entropy and Organizations, 1971-1979. Box 54
|
|
Box 46 |
What Makes the History of Software Hard? By Michael S.
Mahoney, 2007. Box 46
|
|
Box 54 |
Women and Computing, 1992-1997. Box 54
|
|
Box 49 |
Workshop Immunology, A Life, 1997-1998. Box 49
|
|
Box 42 |
Year-End Report of Milestones: The History of Computer
Graphics Project, 1988-1989. Box 42
|
|
Box 51 |
Zentrum fur interdisziplinare Forschung (ZiF)
Conference, 2007. Box 51
|
|
Box 42 |
ZiF - Zentrum fur interdisziplinare Forschung der
Univertat Bielefeld Mitteilungen, 2008. Box 42
|
| |
Print Materials. |
| |
Serial Publications. Note The Serial Publications subseries contains journals collected or
subscribed to by Michael Mahoney. Journals for which CBI already maintained
holdings have been removed from the Michael Mahoney Papers and cataloged with
the general print materials collection.
|
|
Box 5 |
ACM Queue: Tomorrow's Computing Today,
Volume 1, Number 1, March 2003. Box 5
|
|
Box 4 |
ACM Transactions on Software
Engineering and Methodology, Volume 1, Numbers 1-4,
January-October 1992. Box 4
|
| |
ACM Transactions on Software
Engineering and Methodology, Volume 2, Numbers 1-4,
January-October 1993. Box 4
|
| |
ACM Transactions on Software
Engineering and Methodology, Volume 3, Numbers 1-4,
January-October 1994. Box 4
|
| |
ACM Transactions on Software
Engineering and Methodology, Volume 4, Numbers 1-4,
January-October 1995. Box 4
|
| |
ACM Transactions on Software
Engineering and Methodology, Volume 5, Numbers 1-4,
January-October 1996. Box 4
|
| |
ACM Transactions on Software
Engineering and Methodology, Volume 6, Numbers 1-4,
January-October 1997. Box 4
|
| |
AI Expert, Volume 3, Numbers
3-12, March-December 1988. Box 4
|
|
Box 5 |
Bell System Technical Journal,
Volume 62, Number 10, Part 2, December 1983. Box 5
|
| |
Borland Language Express,
Volume 2, Numbers 1-2, 1992. Box 5
|
| |
Business History Review,
Volume 75, Number 1, Special Issue on Computers and Communication Networks,
Spring 2001. Box 5
|
|
Box 4 |
Crosstalk: The Journal of Defense
Software Engineering, Volume 14, Number 8, August 2001. Box 4
|
| |
Crosstalk: The Journal of Defense
Software Engineering, Volume 15, Numbers 2-3, February-March 2002. Box 4
|
|
Box 5 |
Daedalus, Volume 117, Number
1, Issue on Artificial Intelligence, Winter 1988. Box 5
|
| |
Digital Computer Museum Report,
January 1982. Box 5
|
|
Box 1 |
IEEE Software, Volume 1,
Number 3, July 1984. Box 1
|
| |
IEEE Software, Volume 5,
Numbers 2-6, March-November 1988. Box 1
|
| |
IEEE Software, Volume 6,
Numbers 1-4, 6, January-November 1989. Box 1
|
| |
IEEE Software, Volume 7,
Numbers 1-6, January-November 1990. Box 1
|
| |
IEEE Software, Volume 8,
Numbers 1-6, January-November 1991. Box 1
|
| |
IEEE Software, Volume 9,
Numbers 1-6, January-November 1992. Box 1
|
| |
IEEE Software, Volume 10,
Numbers 1-6, January-November 1993. Box 1
|
| |
IEEE Software, Volume 11,
Numbers 1-6, January-November 1994. Box 1
|
| |
IEEE Software, Volume 12,
Numbers 1-6, January-November 1995. Box 1
|
| |
IEEE Software, Volume 13,
Numbers 1-6, January-November 1996. Box 1
|
| |
IEEE Software, Volume 14,
Numbers 2-6, March-December 1997. Box 1
|
| |
IEEE Software, Volume 15,
Numbers 1-6, January-December 1998. Box 1
|
| |
IEEE Software, Volume 16,
Numbers 1-6, January-December 1999. Box 1
|
| |
IEEE Software, Volume 17,
Numbers 1-6, January-December 2000. Box 1
|
| |
IEEE Software, Volume 18,
Numbers 1-6, January-December 2001. Box 1
|
| |
IEEE Software, Volume 19,
Numbers 1-6, January-December 2002. Box 1
|
| |
IEEE Software, Volume 20,
Numbers 1-6, January-December 2003. Box 1
|
|
Box 2 |
IEEE Software, Volume 21,
Numbers 1-6, January-December 2004. Box 2
|
| |
IEEE Software, Volume 22,
Numbers 1-6, January-December 2005. Box 2
|
| |
IEEE Software, Volume 23,
Numbers 1-6, January-December 2006. Box 2
|
| |
IEEE Software, Volume 24,
Numbers 1-6, January-December 2007. Box 2
|
| |
IEEE Software, Volume 25,
Numbers 1-6, January-December 2008. Box 2
|
| |
IEEE Software, Volume 26,
Numbers 1-6, January-December 2009. Box 2
|
| |
IEEE Software, Volume 27,
Number 1, January-February 2010. Box 2
|
|
Box 5 |
Journal of Strategic Information
Systems, Volume 12, Number 4, December 2003. Box 5
|
| |
Machine-Mediated Learning,
Volume 2, Numbers 1 and 2, 1987. Box 5
|
| |
Personal Computing,
October 1986. Box 5
|
| |
PC World,
March-December 1998. Box 5
|
| |
PC World,
January-December 1999. Box 5
|
|
Box 5-6 |
PC World,
January-December 2000. Box 5-6
|
|
Box 6 |
PC World,
January-December 2001. Box 6
|
| |
PC World,
January-December 2002. Box 6
|
| |
PC World,
January-December 2003. Box 6
|
| |
PC World,
January-December 2004. Box 6
|
|
Box 6-7 |
PC World,
January-December 2005. Box 6-7
|
|
Box 24 |
PC World,
January-December 2006. Box 24
|
| |
PC World,
January-December 2007. Box 24
|
| |
PC World,
January-December 2008. Box 24
|
| |
PC World,
January-June 2009. Box 24
|
|
Box 5 |
Popular Computing,
August 1983. Box 5
|
| |
SIGCUE Outlook, Volume 19,
Numbers 3 and 4, 1987. Box 5
|
|
Box 2 |
Software Engineering Notes,
Volume 13, Numbers 1-4, January-October 1988. Box 2
|
| |
Software Engineering Notes,
Volume 14, Numbers 1-2, 5-6, January-October 1989. Box 2
|
| |
Software Engineering Notes,
Volume 15, Numbers 1-3, 5, January-October 1990. Box 2
|
| |
Software Engineering Notes,
Volume 16, Numbers 1-4, January-October 1991. Box 2
|
| |
Software Engineering Notes,
Volume 17, Numbers 1-4, January-October 1992. Box 2
|
| |
Software Engineering Notes,
Volume 18, Numbers 1-5, January-December 1993. Box 2
|
| |
Software Engineering Notes,
Volume 19, Numbers 1-5, January-December 1994. Box 2
|
| |
Software Engineering Notes,
Special Issue, 1994. Box 2
|
| |
Software Engineering Notes,
Volume 20, Numbers 1-5, January-December 1995. Box 2
|
|
Box 3 |
Software Engineering Notes,
Volume 21, Numbers 1-6, January-December 1996. Box 3
|
| |
Software Engineering Notes,
Volume 22, Numbers 1-6, January-November 1997. Box 3
|
| |
Software Engineering Notes,
Volume 23, Numbers 1-6, January-November 1998. Box 3
|
| |
Software Engineering Notes,
Volume 24, Numbers 1-6, January-November 1999. Box 3
|
| |
Software Engineering Notes,
Volume 25, Numbers 1-6, January-November 2000. Box 3
|
| |
Software Engineering Notes,
Volume 26, Numbers 1-6, January-November 2001. Box 3
|
| |
Software Engineering Notes,
Volume 27, Numbers 1-6, January-November 2002. Box 3
|
|
Box 4 |
Software Engineering Notes,
Volume 28, Numbers 1-6, January-November 2003. Box 4
|
| |
Software Engineering Notes,
Volume 29, Numbers 1-6, January-November 2004. Box 4
|
| |
Software Engineering Notes,
Volume 30, Numbers 2-3, 5-6, March-November 2005. Box 4
|
| |
Software Engineering Notes,
Volume 31, Numbers 1-6, January-November 2006. Box 4
|
| |
Software Engineering Notes,
Volume 32, Numbers 2-6, March-November 2007. Box 4
|
| |
Software Engineering Notes,
Volume 33, Numbers 1, 3, January-May 2008. Box 4
|
| |
Software Engineering Notes,
Volume 34, Number 3, May 2009. Box 4
|
|
Box 5 |
Software Engineering Technical
Committee Newsletter, January 1991. Box 5
|
| |
Software Engineering Technical
Committee Newsletter, Volume 11, Number 3, January 1993. Box 5
|
|
Box 4 |
Software Engineering Technical Council
Newsletter, Volume 14, Numbers 2-3, 1996. Box 4
|
| |
Turbo Technix, Volume 1,
Numbers 1-6, November 1987-October 1988. Box 4
|
| |
Books. |
|
Box 37 |
500 Nations Teacher Activity Guide,
1995. Box 37
|
|
Box 28 |
Abbate, Janet. Inventing the Internet, 1999. Box 28
|
|
Box 16 |
Abelson, Harold. LOGO for the Apple II, 1982. Box 16
|
|
Box 33 |
Abelson, Harold; DiSessa, Andrea A. Turtle Geometry: The Computer as a
Medium for Exploring Mathematics, 1980. Box 33
|
|
Box 19 |
Abelson, Harold; Sussman, Gerald Jay; Sussman, Julie. Structure and Interpretation of
Computer Programs, 1985. Box 19
|
|
Box 18 |
Aho, Alfred V.; Kernighan, Brian W.; Weinberger, Peter J. The AWK Programming Language, 1988. Box 18
|
| |
Aho, Alfred V.; Sethi, Ravi; Ullman, Jeffrey D. Compilers: Principles, Techniques, and
Tools, 1986. Box 18
|
|
Box 11 |
Aho, Alfred V.; Ullman, Jeffrey D., eds.
Foundations of Computer Science, C
Edition, 1995. Box 11
|
| |
Aho, Alfred V.; Ullman, Jeffrey D., eds.
Instructor's Manual to Accompany
Foundations of Computer Science, 1993. Box 11
|
|
Box 15 |
Aho, Alfred V.; Ullman, Jeffrey D. Principles of Compiler Design,
1979. Box 15
|
|
Box 18 |
Aho, Alfred V.; Hopcroft, John E.; Ullman, Jeffrey D. The Design and Analysis of Computer
Algorithms, 1974. Box 18
|
|
Box 26 |
Albert, A. Adrian (Abraham Adrian), 1905-1972. Fundamental Concepts of Higher
Algebra, 1956. Box 26
|
|
Box 25 |
Alembert, Jean Le Rond d', 1717-1783. Preliminary Discourse to the
Encyclopedia of Diderot, 1963. Box 25
|
|
Box 38 |
Alexander, Christopher, 1936-. Notes on the Synthesis of Form,
1964. Box 38
|
|
Box 36 |
Alic, John A., et al.
Beyond Spinoff, 1992. Box 36
|
|
Box 14 |
Allison, Lloyd. A Practical Introduction to
Denotational Semantics, 1986. Box 14
|
|
Box 21 |
Altucher, Rita Z.; Opler, Ascher; Computer Usage Company. Programming the IBM System/360,
1966. Box 21
|
|
Box 28 |
Anderson, James A.; Rosenfeld, Edward. Talking Nets: An Oral History of
Neural Networks, 1998. Box 28
|
|
Box 13 |
Angus, Anne Denny. The Computer People, 1970. Box 13
|
|
Box 8 |
Arbib, Michael A. Brains, Machines, and Mathematics,
1987. Box 8
|
|
Box 9 |
Arden, Bruce W., ed.
What Can Be Automated?: The Computer
Science and Engineering Research Study, 1980. Box 9
|
|
Box 26 |
Artin, Emil, 1898-1962. Geometric Algebra, 1957. Box 26
|
|
Box 11 |
Ashby, William Ross. An Introduction to Cybernetics,
1984. Box 11
|
|
Box 12 |
Ashenhurst, Robert L. ACM Turing Award Lectures: The First
20 Years, 1966-1985, 1987. Box 12
|
|
Box 27 |
Aspray, William. Computing Before Computers, 1990. Box 27
|
|
Box 28 |
Aspray, William. From Mathematical Constructivity to
Computer Science, 1980. Box 28
|
|
Box 24 |
AT&T. System V Interface Definition,
1985-1986. Box 24
|
|
Box 36 |
AT&T. UNIX Text Editing and Phototypesetting
Starter Package, 1980. Box 36
|
|
Box 23 |
AT&T Bell Laboratories. A History of Engineering and Science
in the Bell System: Physical Sciences (1925-1980), 1983. Box 23
|
|
Box 36 |
AT&T Bell Laboratories. The C++ Starter Package, 1987. Box 36
|
|
Box 15 |
AT&T Bell Laboratories. UNIX System Readings and Applications,
volume 1: UNIX Time-Sharing System, 2002. Box 15
|
| |
AT&T Bell Laboratories. UNIX System Readings and Applications,
volume 2: The UNIX System, 2002. Box 15
|
|
Box 23 |
Augarten, Stan. Bit By Bit: An Illustrated History of
Computers, 1984. Box 23
|
|
Box 35 |
Ayer, Alfred Jules. Language, Truth and Logic, 1946. Box 35
|
|
Box 8 |
Baber, Robert Laurence. Software Reflected, 1982. Box 8
|
|
Box 9 |
Bachmann, Karl-Heinz. Programmierung fur Digitalrechner,
1962. Box 9
|
|
Box 24 |
Bagdikian, Ben H. The Information Machines: Their Impact
on Men and the Media, 1971. Box 24
|
|
Box 20 |
Bancilhon, Francois; Buneman, Peter. Advances in Database Programming
Languages, 1990. Box 20
|
|
Box 32 |
Barnes, Barry, 1943- . Scientific Knowledge and Sociological
Theory, 1974. Box 32
|
|
Box 28 |
Bashe, Charles J. IBM's Early Computers, 1986. Box 28
|
|
Box 37 |
Basic Handbook: General Programming
Information, May 1984. Box 37
|
|
Box 11 |
Basili, Victor R., ed.
Empirical Software Engineering Issues:
Critical Assessment and Future Directions, 2006. Box 11
|
|
Box 32 |
Bateman, Harry, 1882-1946. Partial Differential Equations of
Mathematical Physics, 1959. Box 32
|
|
Box 21 |
Bates, Frank; Douglas, Mary M. Programming Language / One, 1967. Box 21
|
|
Box 9 |
Bauer, Friedrich Ludwig, ed.
Advanced Course on Software
Engineering, 1973. Box 9
|
|
Box 21 |
Baumann, Richard. Introduction to ALGOL, 1964. Box 21
|
|
Box 32 |
Beard, Miriam, 1901-1983. A History of Business: From the
Monopolists to the Organization Man, volume II, 1965. Box 32
|
|
Box 36 |
Bell Telephone Laboratories. BELLMAC-8 Microprocessor Training
Manual, June 1981. Box 36
|
|
Box 32 |
Bell Telephone Laboratories. MAC Tutor Reference Manual, July 1979. Box 32
|
|
Box 25 |
Bell Telephone Laboratories. MAC-8 Processor User's Manual,
1981. Box 25
|
|
Box 32 |
Bell Telephone Laboratories. MAC-8 Programmer's Manual, 1981. Box 32
|
|
Box 37 |
Bell Telephone Laboratories. UNIX Programmer's Manual 4.1 BSD User
Document, November 1980. Box 37
|
| |
Bell Telephone Laboratories. UNIX User's Manual 4.1 BSD, June 1981. Box 37
|
|
Box 10 |
Bellin, David; Chapman, Gary, eds.
Computers in Battle, Will They Work?
1987. Box 10
|
|
Box 38 |
Bellmac-8 Microprocessor System,
January 1982. Box 38
|
|
Box 33 |
Bellman, Richard, 1920-1984. Dynamic Programming, 1957. Box 33
|
|
Box 35 |
Benacerraf, Paul; Putnam, Hilary. Philosophy of Mathematics: Selected
Readings, 1964. Box 35
|
|
Box 39 |
Benford, Gregory, 1941-. Deep Time: How Humanity Communicates
Across Millennia, 1999. Box 39
|
|
Box 24 |
Bensaude-Vincent, Bernadette; Newman, William R., eds.
The Artificial and the Natural: An
Evolving Polarity, 2007. Box 24
|
|
Box 15 |
Bentley, Jon Louis. Programming Pearls, 1986. Box 15
|
|
Box 19 |
Bergstra, J. A.; Heering, J. Algebraic Specification, 1989. Box 19
|
|
Box 24 |
Bernstein, Jeremy, 1929-. Three Degrees Above Zero: Bell Labs in
the Information Age, 1984. Box 24
|
|
Box 15 |
Biermann, Alan W., 1939-. Great Ideas in Computer Science: A
Gentle Introduction, 1997. Box 15
|
|
Box 20 |
Biggerstaff, Ted J.; Perlis, Alan J. Software Reusability, 1989. Box 20
|
|
Box 26 |
Birkhoff, Garrett, 1911-1996; Mac Lane, Saunders, 1909-2005. A Survey of Modern Algebra, 1958. Box 26
|
|
Box 8 |
Birnes, William J., ed.
Personal Computer Programming
Encyclopedia, 1985. Box 8
|
|
Box 39 |
Bloor, David. Knowledge and Social Imagery, 1991. Box 39
|
|
Box 8 |
Blum, Bruce I. Beyond Programming: To a New Era of
Design, [Draft], 1994. Box 8
|
|
Box 15 |
Blum, Bruce I. TEDIUM and the Software Process,
1989. Box 15
|
|
Box 33 |
Boas, Ralph P., Jr. A Primer of Real Functions, 1960. Box 33
|
|
Box 35 |
Bochenski, Joseph M., 1902-1995. Logik, 1956. Box 35
|
|
Box 23 |
Boden, Margaret A. The Philosophy of Artificial
Intelligence, 1990. Box 23
|
|
Box 31 |
Bolt, Brian. Mathematics Meets Technology, 1991. Box 31
|
|
Box 28 |
Bolter, J. David, 1951-. Turing's Man: Western Culture in the
Computer Age, 1984. Box 28
|
|
Box 10 |
Bolter, J. David, 1951-. Writing Space: The Computer,
Hypertext, and the History of Writing, 1991. Box 10
|
|
Box 37 |
Bolter, J. David, 1951-; Grusin, Richard A. Remediation: Understanding New Media,
1999. Box 37
|
|
Box 20 |
Booch, Grady. Software Engineering with Ada,
1983. Box 20
|
|
Box 25 |
Borgman, Christine L., 1951- . Scholarship in the Digital Age:
Information, Infrastructure, and the Internet, 2008. Box 25
|
|
Box 11 |
Borgmann, Albert. Holding on to Reality: The Nature of
Information at the Turn of the Millennium, 1999. Box 11
|
|
Box 19 |
Borsook, Paulina. Cyberselfish: A Critical Romp Through
the Terribly Libertarian Culture of High Tech, 2000. Box 19
|
|
Box 10, 31 |
Boszormenyi, Laszlo, ed.
MEDICHI 2007: Methodic and Didactic
Challenges of the History of Informatics, 2007. Box 10, 31
|
|
Box 24 |
Boszormenyi, Laszlo; Podlipnig, Stefan. People Behind Informatics: In Memory
Of..., circa 2004. Box 24
|
|
Box 35 |
Bourbaki, N. Elements de Mathematique, 1961. Box 35
|
|
Box 28 |
Bowden, B. V., ed.
Faster Than Thought: A Symposium on
Digital Computing Machines, 1953. Box 28
|
|
Box 13 |
Brabazon, Tara. Digital Hemlock: Internet Education
and the Poisoning of Teaching, 2002. Box 13
|
|
Box 28 |
Braffort, P. (Paul); Hirschberg, D. (David). Computer Programming and Formal
Systems, 1963. Box 28
|
|
Box 38 |
Braitenberg, Valentino. Vehicles: Experiments in Synthetic
Psychology, 1984. Box 38
|
|
Box 30 |
Brand, Stewart. The Media Lab: Inventing the Future at
MIT, 1988. Box 30
|
|
Box 13 |
Breton, Philippe. Histoire de l'Informatique, 1987. Box 13
|
|
Box 25 |
Bridgman, P. W. (Percy Williams), 1882-1961. The Logic of Modern Physics, 1928. Box 25
|
|
Box 11 |
Brinch Hansen, Per, 1938-, ed.
Classic Operating Systems: From Batch
Processing to Distributed Systems, 2000. Box 11
|
| |
Brinch Hansen, Per, 1938-. The Search for Simplicity; Essays in
Parallel Programming, 1996. Box 11
|
|
Box 20 |
Britcher, Robert N. The Limits of Software: People,
Projects, and Perspectives, 1999. Box 20
|
|
Box 15 |
Brooks, Frederick P. The Mythical Man-Month: Essays on
Software Engineering, 1975. Box 15
|
|
Box 28 |
Brooks, Frederick P. The Mythical Man-Month: Essays on
Software Engineering, 1995. Box 28
|
|
Box 12 |
Brooks, Rodney Allen. Flesh and Machines: How Robots Will
Change Us, 2002. Box 12
|
|
Box 37 |
Brown, John Seely, ed.
Seeing Differently: Insights on
Innovation, 1997. Box 37
|
|
Box 36 |
Bucciarelli, Louis L. Designing Engineers, 1994. Box 36
|
|
Box 34 |
Buchdahl, Gerd. Metaphysics and the Philosophy of
Science, 1969. Box 34
|
|
Box 8 |
Burnham, David, 1933-. The Rise of the Computer State,
1984. Box 8
|
|
Box 21 |
Burstein, Daniel; Kline, David. Road Warriors: Dreams and Nightmares
Along the Information Highway, 1995. Box 21
|
|
Box 11 |
Buxton, J. N.; Randell, Brian, 1936-. Software Engineering Techniques,
1970. Box 11
|
|
Box 8 |
Caianiello, Eduardo R. Automata Theory, 1966. Box 8
|
|
Box 22 |
Calder, Nigel, 1931-. 1984 and Beyond, 1983. Box 22
|
|
Box 39 |
Callahan, Raymond E. Education and the Cult of Efficiency,
1962. Box 39
|
|
Box 35 |
Campbell, Douglas M., 1943; Higgins, John C., 1935-. Mathematics: People, Problems,
Results, 1984. Box 35
|
|
Box 15 |
Campbell-Kelly, Martin. EDSAC System: A Tutorial Guide to the
Warwick University EDSAC Simulator, 1990. Box 15
|
|
Box 35 |
Carmichael, R. D. (Robert Daniel), 1879-1967. Introduction to the Theory of Groups
of Finite Order, 1937. Box 35
|
|
Box 33 |
Carmichael, R. D. (Robert Daniel), 1879-1967. The Theory of Numbers, 1914. Box 33
|
|
Box 29 |
Carnap, Rudolf, 1891-1970. Introduction to Symbolic Logic and its
Applications, 1958. Box 29
|
|
Box 27 |
Carpenter, B. E.; Doran, R. W. A. M. Turing's ACE Report of 1946 and
Other Papers, 1986. Box 27
|
|
Box 34 |
Casti, J. L. Alternate Realities: Mathematical
Models of Nature and Man, 1989. Box 34
|
|
Box 37 |
Casti, J. L. Searching for Certainty: What
Scientists Can Know About the Future, 1990. Box 37
|
|
Box 8 |
Chapin, Ned. Programming Computers for Business
Applications, 1961. Box 8
|
|
Box 21 |
Charette, Robert N. Software Engineering Environments:
Concepts and Technology, 1986. Box 21
|
|
Box 23 |
Charles Babbage Institute. Promoting Technological Innovation,
volume 1, 1992. Box 23
|
|
Box 22 |
Charles Babbage Institute. Promoting Technological Innovation,
volume 2, 1992. Box 22
|
|
Box 33 |
Chartrand, Gary. Introductory Graph Theory, 1977. Box 33
|
|
Box 31 |
Chatelet, Gilles. Figuring Space: Philosophy,
Mathematics, and Physics, 1993. Box 31
|
|
Box 30 |
Chatelet, Gilles. Les Enjeux du Mobile Mathematique,
Physique, Philosophie, 1993. Box 30
|
|
Box 34 |
Cherry, Colin. On Human Communication, 1966. Box 34
|
| |
Chomsky, Noam. Aspects of the Theory of Syntax,
1965. Box 34
|
|
Box 27 |
Chomsky, Noam.The Logical Structure of Linguistic
Theory, 1975. Box 27
|
|
Box 30 |
Church, Alonzo, 1903-1995. Introduction to Mathematical Logic,
volume 1, 1956. Box 30
|
|
Box 26 |
Churchill, Ruel Vance, 1899- . Introduction to Complex Variables and
Applications, 1948. Box 26
|
|
Box 25 |
Cilliers, Paul, 1956- . Complexity and Postmodernism:
Understanding Complex Systems, 1998. Box 25
|
|
Box 17 |
Clayson, James, 1939-. Visual Modeling with LOGO: A
Structured Approach to Seeing, 1988. Box 17
|
|
Box 20 |
Coffron, James. Programming the 8086/8088, 1983. Box 20
|
| |
Cohen, B.; Harwood, W. T.; Jackson, M. I. The Specification of Complex Systems,
1986. Box 20
|
|
Box 10 |
Cohen, I. Bernard, 1914-2003; Welch, Gregory W.Howard H. Aiken: Computer Pioneer,
1996. Box 10
|
|
Box 36 |
Cohen, Linda R., 1952- ; Noll, Roger G. The Technology Pork Barrel, 1991. Box 36
|
|
Box 27 |
Cohoon, J. McGrath; Aspray, William. Women and Information Technology:
Research on Underrepresentation, 2006. Box 27
|
|
Box 26 |
Colburn, Robert; IEEE History Center.The Marconi Century, 2005. Box 26
|
|
Box 32 |
Cole, H. S. D., et al.
Models of Doom: A Critique of the
Limits to Growth, 1973. Box 32
|
|
Box 14 |
Collins, H. M., 1943- . Artificial Experts: Social Knowledge
and Intelligent Machines, 1990. Box 14
|
|
Box 31 |
Collins, H. M., 1943- . Pinch, T. J. (Trevor J.). The Golem: What You Should Know about
Science, 1998. Box 31
|
|
Box 19 |
Comer, Douglas. Design and Implementation of Layered
Operating Systems, 1982. Box 19
|
|
Box 12 |
Comstock, Marjorie. Bibliography on Machine Computation,
1945-1954, 1955. Box 12
|
|
Box 11 |
Conte, Samuel Daniel, 1917-; Rice, John Rischard; DeMillo, Richard A.Studies in Computer Science: In Honor
of Samuel D. Conte, 1994. Box 11
|
|
Box 21 |
Cooper, Alan, 1952-. The Inmates are Running the Asylum:
Why High-Tech Products Drive Us Crazy and How to Restor the Sanity, 2004. Box 21
|
|
Box 33 |
Courant, Richard, 1888-1972; Robbins, Herbert. What is Mathematics? 1963. Box 33
|
|
Box 15 |
Cox, Brad J., 1944-. Object-Oriented Programming: An
Evolutionary Approach, 1986. Box 15
|
|
Box 11 |
Coy, Wolfgang. Sichtweisen der Informatik, 1992. Box 11
|
|
Box 12 |
Craig, Harold Farlow. Administering a Conversion to
Electronic Accounting, 1955. Box 12
|
|
Box 23 |
Crandall, William W., Jr. Software Development for the Strategic
Defense Initiative, 1987. Box 23
|
|
Box 34 |
Crane, Diana, 1933- . Invisible Colleges, 1972. Box 34
|
|
Box 26 |
Cremin, Lawrence A. (Lawrence Arthur), 1925-1990. American Education: The National
Experience, 1783-1876, 1980. Box 26
|
|
Box 34 |
Cremin, Lawrence A. (Lawrence Arthur), 1925-1990. The Transformation of the School:
Progressivism in American Education, 1876-1957, 1964. Box 34
|
|
Box 28 |
Croarken, Mary. Early Scientific Computing in Britain,
1990. Box 28
|
|
Box 23 |
Crosson, Frederick J.; Sayre, Kenneth M., eds.
Philosophy and Cybernetics, 1967. Box 23
|
|
Box 22 |
Crowley, Thomas H. Understanding Computers, 1967. Box 22
|
|
Box 13 |
Cuban, Larry, Oversold and Underused: Computers in
the Classroom, 2001. Box 13
|
|
Box 37 |
Cuoco, Albert. Investigations in Algebra, 1990. Box 37
|
|
Box 34 |
Curry, Haskell B. (Haskell Brooks), 1900-1982. Foundations of Mathematical Logic,
1977. Box 34
|
|
Box 33 |
D'Ambrosio, Ubiratan. Socio-cultural Bases for Mathematics
Education, 1985. Box 33
|
|
Box 11 |
Davis, Martin, 1928- . Computability and Unsolvability,
1982. Box 11
|
|
Box 31 |
Davis, Martin, 1928- . The Undecidable: Basic Papers on
Undecidable Propositions, Unsolvable Problems and Computable Functions,
1965. Box 31
|
|
Box 33 |
Davis, Morton D., 1930- . Game Theory: A Nontechnical
Introduction, 1983. Box 33
|
|
Box 36 |
Davis, Philip J., 1923- ; Park, David Allen, 1919- , eds.
No Way: The Nature of the Impossible,
1987. Box 36
|
|
Box 37 |
Deacon, Terrence William. The Symbolic Species: The Co-Evolution
of Language and the Brain, 1997. Box 37
|
|
Box 13 |
Dean, Thomas. Talking with Computers: Explorations
in the Science and Technology of Computers, 2004. Box 13
|
|
Box 31 |
DEC System 10 Users Handbook, 1972. Box 31
|
|
Box 16 |
Deitel, Harvey M, 1945- . An Introduction to Operating Systems,
1984. Box 16
|
|
Box 22 |
Demana, Franklin D.; Harvey, John G. Proceedings of the Conference on
Technology in Mathematics: The Twilight of the Pencil and Paper, 1990. Box 22
|
|
Box 33 |
Dennett, Daniel Clement. Consciousness Explained, 1991. Box 33
|
|
Box 20 |
Denning, Peter J., ed.
Computers Under Attack: Intruders,
Worms, and Viruses, 1990. Box 20
|
|
Box 27 |
Dertouzos, Michael L.; Moses, Joel. The Computer Age: A Twenty-Year View,
1979. Box 27
|
|
Box 18 |
Dettmann, Terry R. DOS Programmer's Reference, 1992. Box 18
|
|
Box 27 |
Deutschen Arbeitsgemeinschaft fur Rechanlagen. Stand des Elecktronischen Rechnens und
der Elecktronischen Datenverarbeitung in Deutschland, 1961. Box 27
|
|
Box 23 |
Deutsches Historische Museum. Technohistory of Electrical
Information Technology, workshop, 1991. Box 23
|
|
Box 36 |
Devlin, Keith J. Goodbye, Descartes, 1997. Box 36
|
|
Box 18 |
Dewar, Robert B. K.; Smosna, Matthew. Microprocessors: A Programmer's View,
1990. Box 18
|
|
Box 19 |
Dewdney, A. K. The Turing Omnibus: 61 Excursions in
Computer Science, 1989. Box 19
|
|
Box 31 |
Dickson, Paul. Think Tanks, 1971. Box 31
|
|
Box 23 |
Diebold, John, 1926-2005. Making the Future Work, 1984. Box 23
|
|
Box 14 |
Diebold, John, 1926-2005, compiler.
The World of the Computer, 1973. Box 14
|
|
Box 8 |
Digital Equipment Corporation. Introduction to Programming, 1968. Box 8
|
|
Box 24 |
Digital Equipment Corporation. Programming Languages, 1970. Box 24
|
|
Box 15 |
Digital Equipment Corporation. VAX Architecture Handbook, 1981. Box 15
|
|
Box 31 |
Dilke, Oswald Ashton Wentworth. Reading the Past: Mathematics and
Measurement, 1987. Box 31
|
|
Box 10 |
Donovan, John J. Systems Programming, 1972. Box 10
|
|
Box 31 |
Douglas, Mary, 1921-2007. Natural Symbols, 1973. Box 31
|
|
Box 26 |
Dreyfus, Hubert L. What Computers Can't Do: The Limits of
Artificial Intelligence, 1979. Box 26
|
|
Box 9 |
Dreyfus, Hubert L; Dreyfus, Stuart E. Mind Over Machine: The Power of Human
Intuition and Expertise in the Era of the Computer, 1986. Box 9
|
|
Box 32 |
Drucker, Peter F. (Peter Ferdinand), 1909-2005. The Age of Discontinuity: Guidelines
to Our Changing Society, 1978. Box 32
|
| |
Drucker, Peter F. (Peter Ferdinand), 1909-2005. The Practice of Management, 1954. Box 32
|
|
Box 26 |
Drucker, Peter F. (Peter Ferdinand), 1909-2005. Technology, Management, and Society,
1970. Box 26
|
|
Box 33 |
Dupuy, Jean-Pierre. The Mechanization of the Mind: On the
Origins of Cognitive Science, 2000. Box 33
|
|
Box 28 |
Edwards, Paul N. The Closed World: Computers and the
Politics of Discourse in Cold War America, 1996. Box 28
|
|
Box 22 |
Ehn, Pelle, 1948-. Work-Oriented Design of Computer
Artifacts, 1988. Box 22
|
|
Box 39 |
Ellul, Jacques. The Technological Society, 1964. Box 39
|
|
Box 10 |
Endres, Albert. Die IBM-Laboratorien Boblingen:
System-Software-Entwicklung, 2001. Box 10
|
|
Box 21 |
Endres, Albert; Rombach, H. Dieter. A Handbook of Software and Systems
Engineering: Empirical Observations, Laws, and Theories, 2003. Box 21
|
|
Box 10 |
Erickson, Thomas. HCI Remixed: Reflections on Works that
Have Influenced the HCI Community, 2008. Box 10
|
|
Box 38 |
Essentials of MS-DOS and MS Windows
Reference Guide. Box 38
|
|
Box 21 |
Estes, James W.; Ellis, B. Robert. Elements of Computer Science, 1973. Box 21
|
|
Box 12 |
Evans, Christopher Riche. The Mighty Micro, 1980. Box 12
|
|
Box 39 |
Evans, Peter B., 1944-. Embedded Autonomy: States and
Industrial Transformation, 1995. Box 39
|
|
Box 31 |
Falicov, Leopoldo Maximo, 1933- . Group Theory and Its Physical
Applications, 1966. Box 31
|
|
Box 11 |
Fant, Karl M. Computer Science Reconsidered: The
Invocation Model of Process Expression, 2007. Box 11
|
|
Box 33 |
Faulkner, T. Ewan (Thomas Ewan). Projective Geometry, 1952. Box 33
|
|
Box 28 |
Feigenbaum, Edward A.; Feldman, Julian, eds.
Computers and Thought, 1995. Box 28
|
|
Box 32 |
Feldman, Clarence G. AED-O Programmer's Guide, January 1970. Box 32
|
|
Box 9 |
Feller, Joseph, 1972-, ed.
Perspectives on Free and Open Source
Software, 2005. Box 9
|
|
Box 19 |
Fensel, Dieter. Spinning the Semantic Web: Bringing
the World Wide Web to its Full Potential, 2003. Box 19
|
|
Box 14 |
Fey, James Taylor, ed.
Computing and Mathematics: The Impact
on Secondary School Curricula, 1984. Box 14
|
|
Box 27 |
Finerman, Aaron, ed.
University Education in Computer
Science, 1968. Box 27
|
|
Box 21 |
Fisher, Alan S. CASE: Using Software Development
Tools, 1988. Box 21
|
|
Box 8 |
Fishman, Katharine Davis. The Computer Establishment, 1981. Box 8
|
|
Box 38 |
Fitch, John. Manual for Standard LISP on IBM System
360 and 370, August 1978. Box 38
|
|
Box 19 |
Flake, Gary William. The Computational Beauty of Nature:
Computer Explorations of Fractals, Chaos, Complex Systems, and Adaptation,
1999. Box 19
|
|
Box 27 |
Flamm, Kenneth, 1951- . Creating the Computer: Government,
Industry, and High Technology, 1988. Box 27
|
|
Box 13 |
Flamm, Kenneth, 1951-. Targeting the Computer: Government
Support and International Competition, 1987. Box 13
|
|
Box 19 |
Flanagan, David. Java in an Nutshell: A Desktop Quick
Reference for Java Programmers, 1996. Box 19
|
|
Box 17 |
Flanagan, David. JavaScript Pocket Reference, 1998. Box 17
|
|
Box 21 |
Fleck, Glen. A Computer Perspective: Background to
the Computer Age, 1990. Box 21
|
|
Box 32 |
Fleck, Ludwik, 1896-1961. Genesis and Development of a
Scientific Fact, 1979. Box 32
|
|
Box 15 |
Flores, Ivan. Computer Logic: The Functional Design
of Digital Computers, 1960. Box 15
|
|
Box 21 |
Flores, Ivan. Computer Programming, 1966. Box 21
|
|
Box 12 |
Floyd, Christiane. Software Development and Reality
Construction, 1992. Box 12
|
|
Box 18 |
Foley, James D., 1942-; Van Dam, Andries. Fundamentals of Interactive Computer
Graphics, 1982. Box 18
|
|
Box 31 |
Ford, Lester R. (1886-1975). Differential Equations, 1955. Box 31
|
|
Box 12 |
Forester, Tom. Computers in the Human Context:
Information Technology, Productivity, and People, 1989. Box 12
|
|
Box 11 |
Forester, Tom. The Information Technology Revolution,
1985. Box 11
|
|
Box 8 |
Forte, Allen. SNOBOL3 Primer, 1967. Box 8
|
|
Box 14 |
Fox, Jerome, ed.
Proceedings of the Symposium on
Mathematical Theory of Automata, 1962. Box 14
|
|
Box 35 |
Fraenkel, A. A. (Abraham Adolf), 1891-1965; Bar-Hillel, Yehoshua. Foundations of Set Theory, 1958. Box 35
|
|
Box 36 |
Fraenkel, A. A. (Abraham Adolf), 1891-1965. Mengenlehre und Logic, 1959. Box 36
|
|
Box 34 |
Franz, Wolfgang, 1905-. Topologie, 1960. Box 34
|
|
Box 33 |
Fraser, D. A. S. (Donald Alexander Stuart), 1925- . Nonparametric Methods in Statistics,
1957. Box 33
|
|
Box 22 |
Freeman, Donald E.; Perry, Olney R. I/O Design: Data Management in
Operating Systems, 1977. Box 22
|
|
Box 14 |
Freiberger, Paul, 1953-. Swaine, Michael.Fire in the Valley: The Making of the
Personal Computer, 1984. Box 14
|
|
Box 31 |
French, M. J. Invention and Evolution: Design in
Nature and Engineering, 1988. Box 31
|
|
Box 39 |
French, Thomas Ewing, 1871-1944; Vierck, Charles J. Engineering Drawing and Graphic
Technology, 1972. Box 39
|
|
Box 34 |
Friedberg, Errol C. Correcting the Blueprint of Life: An
Historical Account of the Discovery of DNA Repair Mechanisms, 1997. Box 34
|
|
Box 24 |
Fundamentals of COBOL: Programmers
Reference, 1968. Box 24
|
|
Box 34 |
Funtowicz, Silvio O.; Ravetz, Jerome R.Uncertainty and Quality in Science for
Policy, 1990. Box 34
|
|
Box 20 |
Gabriel, Richard P. Patterns of Software: Tales from the
Software Community, 1996. Box 20
|
|
Box 15 |
Galambos, Louis; Abrahamson, Eric John.Anytime, Anywhere: Entrepreneurship
and the Creation of a Wireless World, 2002. Box 15
|
|
Box 25 |
Galler, Bernard A., 1928- . The Language of Computers, 1962. Box 25
|
| |
Gardner, Howard. The Mind's New Science: A History of
the Cognitive Revolution, 1985. Box 25
|
|
Box 14 |
Garey, Michael R; Johnson, David S. Computers and Intractability: A Guide
to the Theory of NP-Completeness, 1979. Box 14
|
|
Box 17 |
Gehani, Narain, 1947-. Ada, an Advanced Introduction:
Including Reference Material for the Ada Programming Language, 1984. Box 17
|
| |
Gelernter, David Hillel. Mirror Worlds, or, the Day Software
Puts the Universe in a Shoebox...How it Will Happen and What it Will Mean,
1992. Box 17
|
|
Box 38 |
Getting Started with Microsoft
Windows, 1992. Box 38
|
| |
Ghyka, Matila C. (Matila Costiescu), 1881-1965. The Geometry of Art and Life, 1977. Box 38
|
|
Box 34 |
Giesecke, Frederick E. (Frederick Ernest), 1869-1953; Mitchell, Alva; Spencer, Henry Cecil, 1903-1972. Technical Drawing, 1940. Box 34
|
|
Box 16 |
Glass, Robert L., 1932-. Computing Calamities: Lessons Learned
from Products, Projects, and Companies that Failed, 1999. Box 16
|
|
Box 39 |
Gleick, James. Chaos: Making a New Science, 1986. Box 39
|
|
Box 31 |
Goffman, Erving. Frame Analysis: An Essay on the
Organization of Experience, 1974. Box 31
|
|
Box 34 |
Goldberg, Samuel, ed.
The New Liberal Arts Program: A 1990
Report, December 1990. Box 34
|
|
Box 21 |
Golden, James T.; Leichus, Richard M. IBM 360: Programming and Computing,
1967. Box 21
|
|
Box 12 |
Goldsmith, Jack L.; Wu, Tim. Who Controls the Internet? Illusions
of a Borderless World, 2006. Box 12
|
|
Box 27 |
Goldstine, Herman Heine, 1913- . The Computer From Pascal to von
Neumann, 1972. Box 27
|
|
Box 29 |
Gombrich, E. H. (Ernst Hans), 1909-2001. Art and Illusion: A Study in the
Psychology of Pictorial Representation, 1956. Box 29
|
|
Box 9 |
Goodman, Richard, ed.
Annual Review in Automatic
Programming, 1963. Box 9
|
|
Box 31 |
Goursat, Edouard, 1858-1936. Functions of a Complex Variable,
Volume II Part One, 1916. Box 31
|
|
Box 15 |
Graham, Paul, 1964-. Hackers and Painters: Big Ideas from
the Computer Age, 2004. Box 15
|
|
Box 38 |
Grammatik 5 User's Guide, 1992. Box 38
|
|
Box 35 |
Gratzer, George A. Universal Algebra, 1979. Box 35
|
|
Box 16 |
Greenfield, Jack, 1957; Short, Keith. Software Factories: Assembling
Applications with Patterns, Models, Frameworks, and Tools, 2004. Box 16
|
|
Box 27 |
Grier, David Alan, 1955 Feb. 14. When Computers Were Human, 2005. Box 27
|
|
Box 8 |
Gries, David, ed.
Programming Methodology: A Collection
of Articles by Members of IFIP WG2.3, 1978. Box 8
|
|
Box 13 |
Gries, David. The Science of Programming, 1981. Box 13
|
|
Box 18 |
Grim, Patrick; Mar, Gary; St. Denis, Paul. The Philosophical Computer:
Exploratory Essays in Philosophical Computer Modelintg, 1998. Box 18
|
|
Box 21 |
Grogono, Peter. Programming in Pascal, 1980. Box 21
|
|
Box 32 |
Grosses Handbuch der Mathematik,
1969. Box 32
|
|
Box 12 |
Gruenberger, Fred Joseph, 1918-, ed.
Efficient vs. Effective Computing,
1973. Box 12
|
|
Box 8 |
Guntsch, Fritz Rudolf. Einfuhrung in Die Programmierung
Digitaler Rechenautomaten, 1960. Box 8
|
|
Box 14 |
Haas, Joan K.; Samuels, Helen Willa; Simmons, Barbara Trippel. Appraising the Records of Modern
Science and Technology: A Guide, 1985. Box 14
|
|
Box 33 |
Hall, Stephen S. Mapping the Next Millennium: The
Discovery of New Geographies, 1992. Box 33
|
|
Box 30 |
Hapgood, Fred. Up the Infinite Corridor: MIT and the
Technical Imagination, 1993. Box 30
|
|
Box 11 |
Harel, David, 1950-. Computers Ltd: What They Really Can't
Do, 2000. Box 11
|
|
Box 30 |
Harman, Gilbert, ed.
On Noam Chomsky: Critical Essays,
1974. Box 30
|
|
Box 35 |
Harris, Robert T.; Jarrett, James L.Language and Informal Logic, 1956. Box 35
|
|
Box 25 |
Harvard Computation Laboratory. A Manual of Operation for the
Automatic Sequence Controlled Calculator, CBI Reprint,
1946. Box 25
|
| |
Harvard Computation Laboratory. Proceedings of a Symposium on
Large-Scale Digital Calculating Machinery, CBI Reprint,
1947. Box 25
|
|
Box 23 |
Haugeland, John, 1945-. Artificial Intelligence: The Very
Idea, 1985. Box 23
|
|
Box 24 |
Hayes-Roth, Frederick; Waterman, D. A., eds.
Building Expert Systems, 1983. Box 24
|
|
Box 13 |
Healy, Jane M. Failure to Connect: How Computers
Affect Our Children's Minds - For Better and Worse, 1998. Box 13
|
|
Box 10 |
Heims, Steve J. The Cybernetics Group, 1991. Box 10
|
|
Box 17 |
Heinle, Nick. Designing with Javascript: Creating
Dynamic Web Pages, 1997. Box 17
|
|
Box 34 |
Heintz, Bettina. Die Innenwelt der Mathematik, 2000. Box 34
|
|
Box 16 |
Hellige, Hans Dieter. Geschichten der Informatik, 2004. Box 16
|
|
Box 12 |
Hellige, Hans Dieter, ed.
Technikleitbilder auf dem Prufstand:
Leitbild-Assessment aus Sicht der Informatik- und Computergeschichte, 1996. Box 12
|
|
Box 27 |
Hendry, John, 1952- . Innovating for Failure: Government
Policy and the Early British Computer Industry, 1989. Box 27
|
|
Box 9 |
Herken, Rolf. The Universal Turing Machine: A
Half-Century Survey, 1994. Box 9
|
|
Box 20 |
Higman, Bryan. A Comparative Study of Programming
Languages, 1967. Box 20
|
|
Box 29 |
Hilbert, David, 1862-1943; Ackermann, W. Grundzuge der Theoretischen Logik,
1928. Box 29
|
|
Box 30 |
Hilbert, David, 1862-1943; Cohn-Vossen, S. (Stephan), 1902-1936. Auschauliche Geometrie, 1932. Box 30
|
| |
Hildebrand, Francis Begnaud. Introduction to Numerical Analysis,
1956. Box 30
|
|
Box 9 |
Hills, W. Daniel. The Connection Machine, 1985. Box 9
|
|
Box 34 |
Hilts, Philip J. Scientific Temperaments: Three Lives
in Contemporary Science, 1982. Box 34
|
|
Box 35 |
Hintikka, Jaakko, 1929- , ed.
From Dedekind to Godel, 1995. Box 35
|
|
Box 14 |
Hoare, C. A. R., 1934-; Jones, C. B. Essays in Computer Science, 1989. Box 14
|
| |
Hoare, C. A. R., 1934- ; Shepherdson, J. C., eds.
Mathematical Logic and Programming
Languages, 1985. Box 14
|
|
Box 17 |
Hobart, Michael E., 1944-; Schiffman, Zachary Sayre. Information Ages: Literacy, Numeracy,
and the Computer Revolution, 1998. Box 17
|
|
Box 13 |
Hockey, Susan M. A Guide to Computer Applications in
the Humanities, 1980. Box 13
|
|
Box 33 |
Hoel, Paul Gerhard, 1905- . Introduction to Mathematical
Statistics, 1954. Box 33
|
|
Box 26 |
Hoffman, Kenneth; Kunze, Ray. Linear Algebra, second
edition, 1971. Box 26
|
|
Box 39 |
Hofstadter, Douglas R., 1945- ; Dennett, Daniel Clement. The Mind's I, 1982. Box 39
|
|
Box 12 |
Holbrook, Bernard D.; Brown, W. Stanley.A History of Computing Research at
Bell Laboratories (1937-1975), 1982. Box 12
|
|
Box 27 |
Holland, John H. (John Henry), 1929- . Hidden Order: How Adaptation Builds
Complexity, 1995. Box 27
|
|
Box 34 |
Holland, John H. , et al.
Induction: Processes of Inference,
Learning, and Discovery, 1986. Box 34
|
|
Box 16 |
Holub, Allen I., ed.
C Chest and Other C Treasures from Dr.
Dobb's Journal, 1987. Box 16
|
|
Box 10 |
Hook, Diana H., 1955-; Norman, Jeremy M. Origins of Cyberspace, 2001. Box 10
|
|
Box 8 |
Hopcroft, John E., 1939-; Ullman, Jeffrey D. Formal Languages and Their Relation to
Automata, 1985. Box 8
|
|
Box 14 |
Hopcroft, John E., 1939-; Ullman, Jeffrey D. Introduction to Automata Theory,
Languages, and Computation, 1979. Box 14
|
|
Box 22 |
Horowitz, Ellis. Fundamentals of Programming Languages,
1984. Box 22
|
|
Box 9 |
Horowitz, Ellis, ed.
Programming Languages: A Grand Tour,
1987. Box 9
|
|
Box 15 |
Huberman, B. A., 1943-. The Laws of the Web: Patterns in the
Ecology of Information, 2001. Box 15
|
|
Box 12 |
Humphreys, Paul. Extending Ourselves: Computational
Science, Empiricism, and Scientific Method, 2004. Box 12
|
|
Box 31 |
Hungerford, Thomas W. Algebra, 1974. Box 31
|
|
Box 18 |
ICSE 2002: Proceedings of the 24th
International Conference on Software Engineering, 2002. Box 18
|
|
Box 22 |
IEEE Computer Society Model Program in
Computer Science and Engineering, 1983. Box 22
|
|
Box 8 |
Ince, D. (Darrel). Software Development: Fashioning the
Baroque, 1988. Box 8
|
|
Box 12 |
Information, 1966. Box 12
|
|
Box 31 |
International Business Machines Corporation. APL\360 Primer Student Text, 1969. Box 31
|
|
Box 33 |
International Business Machines Corporation. General Information Manual:
Introduction to IBM Data Processing Systems, 1960. Box 33
|
| |
International Business Machines Corporation. IBM System/360, December 1969. Box 33
|
|
Box 36 |
International Business Machines Corporation. IBM Virtual Machine Facility/370:
Quick Guide for Users. Box 36
|
|
Box 33 |
International Business Machines Corporation. PL/I Language Specifications, March 11, 1968. Box 33
|
|
Box 36 |
International Business Machines Corporation. A PL/I Primer Student Text, 1965. Box 36
|
|
Box 32 |
International Business Machines Corporation. Reference Manual: Glossary for
Information Processing, May 1963. Box 32
|
|
Box 36 |
International Business Machines Corporation. Selective Dissemination of
Information, 1962. Box 36
|
| |
International Business Machines Corporation. Storage, Retrieval, and Dissemination
of Information, 1962. Box 36
|
|
Box 39 |
Introducting Your Color Computer 2,
1984. Box 39
|
|
Box 34 |
Israel, Giorgio. La Mathematisation du Reel, 1996. Box 34
|
|
Box 23 |
Jaki, Stanley L. Brain, Mind, and Computers, 1969. Box 23
|
|
Box 33 |
James, Glenn, 1882- ; James, Robert C. (Robert Clarke). Mathematics Dictionary, 1976. Box 33
|
| |
James, Glenn, 1882- ; James, Robert C. (Robert Clarke). Mathematics Dictionary,
fourth edition, 1976. Box 33
|
|
Box 38 |
Jasc Paint Shop Pro Version 4.
Box 38
|
|
Box 37 |
Jasc Paint Shop Pro 7, 2000. Box 37
|
|
Box 38 |
Jasc Paint Shop Pro 7 Getting Started
Guide, 2000. Box 38
|
|
Box 20 |
Jensen, Kathleen, 1949-; Wirth, Niklaus. Pascal: User Manual and Report,
1975. Box 20
|
|
Box 22 |
Johnson, Deborah G.; Snapper, John W. Ethical Issues in the Use of
Computers, 1985. Box 22
|
|
Box 24 |
Johnson, George. Machinery of the Mind: Inside the New
Science of Artificial Intelligence, 1986. Box 24
|
|
Box 10 |
Johnson, Luanne, ed.
ADAPSO Reunion Transcript, 2002. Box 10
|
|
Box 17 |
Johnson, Nelson. Advanced Graphics in C: Programming
and Techniques, 1987. Box 17
|
|
Box 19 |
Jones, Capers. Programming Productivity, 1986. Box 19
|
|
Box 12 |
Jonscher, C. The Evolution of Wired Life: From the
Alphabet to the Soul-Catcher Chip - How Information Technologies Change Our
World, 1999. Box 12
|
|
Box 14 |
Joslin, Edward O. Computer Selection, 1968. Box 14
|
|
Box 38 |
Journal of Myst. Box 38
|
|
Box 23 |
Kahn, David, 1930-. The Codebreakers: The Comprehensive
History of Secret Communication from Ancient Times to the Internet, 1996. Box 23
|
|
Box 12 |
Kalathil, Shanthi; Boas, Taylor C. Open Networks, Closed Regimes: The
Impact of the Internet on Authoritarian Rule, 2003. Box 12
|
| |
Kaplan, David, A., 1956-. The Silicon Boys and Their Valley of
Dreams, 1999. Box 12
|
|
Box 16 |
Katz, James Everett. Machines That Become Us: The Social
Context of Personal Communication Technology, 2003. Box 16
|
|
Box 20 |
Katzan, Harry. Advanced Programming: Programming and
Operating Systems, 1970. Box 20
|
| |
Katzan, Harry. APL Programming and Computer
Techniques, 1970. Box 20
|
| |
Katzan, Harry. Computer Data Management and Data Base
Technology, 1975. Box 20
|
|
Box 21 |
Kay, David C., 1933-; Levine, John R. Graphics File Formats, 1992. Box 21
|
|
Box 39 |
Kay, Paul, ed.
Explorations in Mathematical
Anthropology, 1971. Box 39
|
|
Box 38 |
KEDIT Reference Manual Version 3.0,
April 1984. Box 38
|
|
Box 16 |
Keen, Andrew. The Cult of the Amateur: How Today's
Internet is Killing Our Culture, 2007. Box 16
|
| |
Kelly-Bootle, Stan. 680x0 Programming by Example, 1988. Box 16
|
|
Box 30 |
Kemeny, John G., et al.
Introduction to Finite Mathematics,
1956. Box 30
|
|
Box 18 |
Kemeny, John G.; Kurtz, Thomas E. Back to Basic: The History,
Corruption, and Future of the Language, 1985. Box 18
|
|
Box 25 |
Kemeny, John G.; Kurtz, Thomas E. Discrete Mathematics, 1988. Box 25
|
|
Box 16 |
Kemeny, John G.; Kurtz, Thomas E. True Basic: The Structured Language
System for the Future, Reference Manual, 1985. Box 16
|
| |
Kemeny, John G.; Kurtz, Thomas E. True Basic: The Structured Language
System for the Future, User's Guide, 1986. Box 16
|
|
Box 30 |
Kepner, Charles Higgins, 1922- ; Tregoe, Benjamin B. The Rational Manager: A Systematic
Approach to Problem Solving and Decision Making, 1965. Box 30
|
|
Box 18 |
Kernighan, Brian W.; Pike, Rob. The UNIX Programming Environment,
1984. Box 18
|
|
Box 17 |
Kernighan, Brian W.; Plauger, P. J. The Elements of Programming Style,
1978. Box 17
|
|
Box 18 |
Kernighan, Brian W.; Plauger, P. J. Software Tools, 1976. Box 18
|
| |
Kernighan, Brian W.; Ritchie, Dennis M. The C Programming Language, 1978. Box 18
|
| |
Kernighan, Brian W.; Ritchie, Dennis M. The C Programming Language,
second edition, 1988. Box 18
|
|
Box 39 |
Kevles, Daniel J.; Hood, Leroy E. The Code of Codes, 1992. Box 39
|
|
Box 10 |
Key Technologies for the 21st Century,
1996. Box 10
|
|
Box 27 |
Kidwell, Peggy Aldrich; Ceruzzi, Paul E. Landmarks in Digital Computing: A
Smithsonian Pictorial History, 1994. Box 27
|
|
Box 20 |
Kim, Won; Lochovsky, Frederick H. Object-Oriented Concepts, Databases,
and Applications, 1989. Box 20
|
|
Box 36 |
Kleene, Stephen Cole, 1909-1994. Introduction to Metamathematics,
1950. Box 36
|
|
Box 27 |
Klein, Felix, 1849-1925.Geometry, 1939. Box 27
|
|
Box 34 |
Kline, Morris, 1908-1992. Mathematics: The Loss of Certainty,
1980. Box 34
|
|
Box 26 |
Kline, Morris, 1908-1992. Why Johnny Can't Add: The Failure of
the New Math, 1973. Box 26
|
|
Box 9 |
Klop, Jan Willem, b. 1945 ;
Meyer, John-Jules Charles, b. 1954 ;
Rutten, Johannes Josephus Martinus Matheus, 1959- ;
Snijders, F. ;
Bakker, Jacobus Willem de, eds.
J. W. de Bakker, 25 Jaar Semantiek,
1989. Box 9
|
|
Box 29 |
Kneale, W. C. (William Calvert); Kneale, Martha. The Development of Logic, 1962. Box 29
|
|
Box 34 |
Knopp, Konrad, 1882-1957. Theory of Functions. Box 34
|
|
Box 8 |
Knuth, Donald Ervin, 1938-. Fundamental Algorithms: The Art of
Computer Programming, Volume 1, 1956. Box 8
|
|
Box 36 |
Kosko, Bart. Fuzzy Thinking: The New Science of
Fuzzy Logic, 1993. Box 36
|
|
Box 13 |
Kraft, Philip, 1944- Programmers and Managers: The
Routinization of Computer Programmers in the United States, 1977. Box 13
|
|
Box 18 |
Kramer, Sybille. Bild, Schrift, Zahl, 2003. Box 18
|
|
Box 26 |
Kramer, Sybille. Symbolische Maschinen: Die Idee der
Formalisierung in Geschichtlichem Abriss, 1988. Box 26
|
|
Box 23 |
Kuhn, Sarah. Computer Manufacturing in New England:
Structure, Location, and Labor in a Growing Industry, 1982. Box 23
|
|
Box 31 |
Kurosch, A. G., et al.
Zur Theorie der Kategorien, 1963. Box 31
|
|
Box 22 |
Laing, Gordon. Digital Retro: The Evolution and
Design of the Personal Computer, 2004. Box 22
|
|
Box 34 |
Lakatos, Imre. Proofs and Refuctations: The Logic of
Mathematical Discovery, 1976. Box 34
|
|
Box 30 |
Lakoff, Sanford A.; York, Herbert F. (Herbert Frank). A Shield in Space? Technology,
Politics, and the Strategic Defense Initiative, 1989. Box 30
|
|
Box 17 |
Lammers, Susan M. Programmers at Work, 1986. Box 17
|
|
Box 10 |
Landow, George P. Hypertext 2.0: The Convergence of
Contemporary Critical Theory and Technology, 1997. Box 10
|
|
Box 23 |
Langley, Pat. Scientific Discovery: Computational
Explorations of the Creative Processes, 1987. Box 23
|
|
Box 11 |
Langton, Christopher G., ed.
Artificial Life, 1987. Box 11
|
|
Box 14 |
Langton, Christopher G., ed.
Artificial Life: An Overview, 1995. Box 14
|
|
Box 31 |
Laubichler, Manfred Dietrich; Muller, Gerd (Gerd B.). Modeling Biology: Structures,
Behaviors, Evolution, 2007. Box 31
|
|
Box 25 |
Layton, Edwin T., 1928- . From Rule of Thumb to Scientific
Engineering: James B. Francis and the Invention of the Francis Turbine,
1992. Box 25
|
|
Box 28 |
Lecuyer, Christophe, Making Silicon Valley: Innovation and
Growth of High-Tech, 1930-1970, 2006. Box 28
|
|
Box 9 |
Leeuwen, Jan van, ed.
Handbook of Theoretical Computer
Science B: Formal Models and Semantics, 1994. Box 9
|
|
Box 26 |
Lefschetz, Solomon. Introduction to Topology, 1949. Box 26
|
|
Box 28 |
Lessig, Lawrence. Code and Other Laws of Cyberspace,
1999. Box 28
|
|
Box 17 |
Lessig, Lawrence. The Future of Ideas: The Fate of the
Commons in a Connected World, 2001. Box 17
|
|
Box 15 |
Leventhal, Lance A., 1945-. 68000 Assembly Language Programming,
1986. Box 15
|
|
Box 19 |
Leventhal, Lance A., 1945-; Stafford, Irvin. Why Do You Need a Personal Computer?
1981. Box 19
|
|
Box 13 |
Levien, Roger Eli, The Emerging Technology: Instructional
Uses of the Computer in Higher Education, 1972. Box 13
|
|
Box 17 |
Levinson, Paul. The Soft Edge: A Natural History and
Future of the Information Revolution, 1997. Box 17
|
|
Box 15 |
Levy, Henry M., 1952-; Eckhouse, Richard H., 1940-. Computer Programming and Architecture:
The VAX-11, 1980. Box 15
|
|
Box 16 |
Libes, Don, 1958-; Ressler, Sanford. Life with UNIX: A Guide for Everyone,
1989. Box 16
|
|
Box 27 |
Lidl, Rudolf; Pilz, Gunter, 1945- .Applied Abstract Algebra, 1984. Box 27
|
|
Box 12 |
Lindner, Rudolf; Wohak, Bertram; Zeltwanger, Holger. Planen, Entscheiden, Herrschen: Vom
Rechnen zur Elektronischen Datenverarbeitung, 1988. Box 12
|
|
Box 31 |
Link, David. "Traces of the Mouth: Andrei Andreyevich Markov's
Mathematization of Writing," 2006. Box 31
|
|
Box 12 |
Livingston, Jessica, 1971-. Founders at Work: Stories of Startups'
Early Days, 2007. Box 12
|
|
Box 33 |
Loffler, Eugen, b. 1883, ed.
Der Mathematikunterricht, 1961. Box 33
|
|
Box 30 |
Lolli, Gabriele, 1942- . La Macchina e le Dimostrazioni:
Matematica, Logica, e Informatica, 1987. Box 30
|
|
Box 33 |
Lorenzen, Paul, 1915-1994. Formale Logik, 1958. Box 33
|
|
Box 32 |
Lubar, Steven D.; Kingery, W. D., eds.
History from Things: Essays on
Material Culture, 1993. Box 32
|
|
Box 34 |
Lucas, William F., 1933- ; Roberts, Fred S.; Thrall, Robert McDowell, 1914- , eds.
Discrete and System Models, 1976. Box 34
|
|
Box 27 |
Lundstrom, David E. A Few Good Men from Univac, 1987. Box 27
|
|
Box 14 |
Machlup, Fritz; Mansfield, Una, eds.
The Study of Information:
Interdisciplinary Messages, 1983. Box 14
|
|
Box 11 |
MacKay, Donald McCrimmon, 1922-. Information, Mechanism, and Meaning,
1969. Box 11
|
|
Box 31 |
MacLane, Saunders, 1909-2005. Birkhoff, Garrett, 1911-1996. Algebra, 1993. Box 31
|
|
Box 26 |
Mainzer, Klaus. Thinking in Complexity: The Complex
Dynamics of Matter, Mind and Mankind, 1997. Box 26
|
|
Box 23 |
Mancuso, Laura Lee. Accommodating the Needs of Novice
Computer Users, 1983. Box 23
|
|
Box 19 |
Maney, Kevin, 1960-. The Maverick and His Machine: Thomas
Watson, Sr. and the Making of IBM, 2003. Box 19
|
|
Box 30 |
Manley, Robert; Manley, Seon. The Age of the Manager: A Treasury of
our Times, 1962. Box 30
|
|
Box 33 |
Markov, Andrej A. Berechenbare Kunste, 2007. Box 33
|
|
Box 20 |
Martin, Frances F. Computer Modeling and Simulation,
1968. Box 20
|
|
Box 22 |
Martin, James, 1933-. Design of Real-Time Computer Systems,
1967. Box 22
|
| |
Martin, James, 1933-. Telematic Society: A Challenge for
Tomorrow, 1981. Box 22
|
|
Box 10 |
Mazlish, Bruce, 1923-. The Fourth Discontinuity: The
Co-Evolution of Humans and Machines, 1993. Box 10
|
|
Box 16 |
McBreen, Pete. Software Craftsmanship: The New
Imperative, 2002. Box 16
|
|
Box 21 |
McConnell, Steve. After the Gold Rush: Creating a True
Profession of Software Engineering, 1999. Box 21
|
|
Box 26 |
McCorduck, Pamela, 1940-. Machines Who Think, 1979. Box 26
|
|
Box 13 |
McCredie, John W., ed.
Campus Computing Strategies, 1983. Box 13
|
|
Box 32 |
McLachlan, N. W. (Norman William), 1888- . Complex Variable Theory and Transform
Calculus, 1953. Box 32
|
|
Box 26 |
McMackin, Frank J. (Frank Joseph), 1888- ; Shaver, John H., 1895- ; Weber, Ralph Edward; Smith, Robert D. Mathematics of the Shop, 1978. Box 26
|
|
Box 22 |
Meadows, A. J.; Gordon, M.; Singleton, Alan, eds.
Dictionary of New Information
Technology, 1982. Box 22
|
|
Box 28 |
Metropolis, N. A History of Computing in the
Twentieth Century, 1980. Box 28
|
|
Box 10 |
Metropolis, N.; Rota, Gian-Carlo, eds.
A New Era in Computation, 1993. Box 10
|
|
Box 9 |
Meyer, Albert R., ed.
Research Directions in Computer
Science: An MIT Perspective, 1991. Box 9
|
|
Box 16 |
Meyer, Bertrand, 1950-. Object-Oriented Software Construction,
1988. Box 16
|
|
Box 39 |
Meyer, Stephen, 1942-. The Five-Dollar Day, 1981. Box 39
|
|
Box 17 |
Michaelson, Greg, 1953-. An Introduction to Functional
Programming through Lambda Calculus, 1989. Box 17
|
|
Box 27 |
Michigan Algorithm Decoder, 1965. Box 27
|
|
Box 37 |
Microsoft Corporation. Disk Operating System User's Guide,
September 1983. Box 37
|
| |
Microsoft Corporation. Microsoft Windows 98: Getting Started.
Box 37
|
|
Box 39 |
Microsoft MS-DOS 6 User's Guide,
1993. Box 39
|
|
Box 38 |
Microsoft PowerPoint User's Guide,
1993. Box 38
|
| |
Microsoft Windows 3.0 User's Guide.
Box 38
|
|
Box 39 |
Microsoft Windows 3.1 User's Guide,
1992. Box 39
|
| |
Miller, Arthur I. Imagery in Scientific Thought,
1986. Box 39
|
|
Box 31 |
Miller, Daniel. Material Cultures: Why Some Things
Matter, 1998. Box 31
|
|
Box 39 |
Miller, George A. The Science of Words, 1996. Box 39
|
|
Box 14 |
Mills, Harlan D., 1919-. Software Productivity, 1988. Box 14
|
|
Box 18 |
Milner, R., 1934-; Tofte, Mads. Commentary on Standard ML, 1991. Box 18
|
| |
Milner, R., 1934-; Tofte, Mads; Harper, Robert. The Definition of Standard ML,
1990. Box 18
|
|
Box 14 |
Minsky, Marvin Lee, 1927-. ed.
Semantic Information Processing,
1968. Box 14
|
|
Box 22 |
Minsky, Marvin Lee, 1927-. The Society of Mind, 1986. Box 22
|
|
Box 26 |
Minsky, Marvin Lee, 1927-. The Society of Mind, 1986. Box 26
|
|
Box 27 |
Minsky, Marvin Lee, 1927- ; Papert, Seymour.Perceptrons, 1988. Box 27
|
| |
MIT Computation Center. The Compatible Time-Sharing System: A
Programmer's Guide, 1963. Box 27
|
|
Box 22 |
Mitcham, Carl; Huning, Alois. Philosophy and Technology II:
Information Technology and Computers in Theory and Practice, 1986. Box 22
|
|
Box 34 |
Mitchell, Melanie. An Introduction to Genetic Algorithms,
1998. Box 34
|
|
Box 19 |
Mitchell, William J., 1944-. City of Bits: Space, Place, and the
Infobahn, 1995. Box 19
|
|
Box 21 |
Modell, Martin E. A Professional's Guide to Systems
Analysis, 1988. Box 21
|
|
Box 34 |
Monk, Ray. Ludwig Wittgenstein: The Duty of
Genius, 1990. Box 34
|
|
Box 8 |
Montgomerie, G. A. Digital Calculating Machines, 1956. Box 8
|
|
Box 28 |
Moody, Fred. I Sing the Body Electronic: A Year
with Microsoft on the Multimedia Frontier, 1995. Box 28
|
|
Box 18 |
Moody, Glyn. Rebel Code: Inside Linux and the Open
Source Revolution, 2001. Box 18
|
|
Box 22 |
Morison, Elting Elmore. Men, Machines, and Modern Times,
1966. Box 22
|
|
Box 9 |
Morrison, Philip; Morrison, Emily, eds.
Charles Babbage: On the Principles and
Development of the Calculator, 1961. Box 9
|
|
Box 30 |
Morse, Philip M. (Philip McCord), 1903-1985; Kimball, George E. (George Elbert), 1906-1967. Methods of Operations Research,
1951. Box 30
|
|
Box 20 |
Morse, Stephen P. The 8086/8088 Primer: An Introduction
to Their Architecture, System Design, and Programming, 1978. Box 20
|
| |
Mullender, Sape J., ed.
Distributed Systems, 1989. Box 20
|
|
Box 19 |
Murray, Janet Horowitz, 1946-. Hamlet on the Holodeck: The Future of
Narrative in Cyberspace, 2000. Box 19
|
|
Box 14 |
National Assessment of Educational Progress (Project).
A Framework for Assessing Computer
Competence: Defining Objectives, 1972. Box 14
|
|
Box 28 |
National Academy of Sciences (U. S.). Digital Computer Needs in Universities
and Colleges, 1966. Box 28
|
|
Box 31 |
National Council of Teachers of Mathematics. Historical Topics for the Mathematics
Classroom, 1969. Box 31
|
|
Box 26 |
National Physical Laboratory. Mechanisation of Thought Processes,
volume 2, 1959. Box 26
|
|
Box 31 |
National Research Council (U. S.). Everybody Counts: A Report to the
Nation on the Future of Mathematics Education, 1989. Box 31
|
|
Box 33 |
National Research Council. Committee on Support of Research in
the Mathematical Sciences. The Mathematical Sciences, 1969. Box 33
|
|
Box 12 |
Naur, Peter. Computing: A Human Activity, 1992. Box 12
|
|
Box 27 |
Naur, Peter; Randell, Brian, 1936- .Software Engineering, 1968. Box 27
|
|
Box 18 |
Negrino, Tom; Smith, Dori. Javascript for the World Wide Web,
1999. Box 18
|
|
Box 8 |
Nelson, Theodor H. Computer Lib, revised edition, 1956. Box 8
|
|
Box 11 |
Nevison, Christopher H. Turing Machines and What Can Be
Computed: An Historical Perspective, 1992. Box 11
|
|
Box 26 |
NeXT Computer, Inc. Software and Peripherals, 1990. Box 26
|
|
Box 8 |
Nikolaieff, George A. Computers and Society, 1970. Box 8
|
|
Box 26 |
Noble, David F. Forces of Production: A Social History
of Industrial Automation, 1986. Box 26
|
| |
Norberg, Arthur L. (Arthur Lawrence), 1938- ; O'Neill, Judy E. (Judy Elizabeth). A History of the Information
Processing Techniques Office of the Defence Advanced Research Projects Agency,
October 1992. Box 26
|
|
Box 30 |
Norlund, Niels Erik. Differenzenrechnung, 1924. Box 30
|
|
Box 38 |
Norton Antivirus User's Guide Version
5.0, 1998. Box 38
|
|
Box 39 |
Norton Systemworks User's Guide
Version 3.0, 1999. Box 39
|
|
Box 20 |
Norton, Peter, 1943-. Inside the IBM PC: Access to Advanced
Features and Programming, 1983. Box 20
|
|
Box 26 |
Nozick, Robert. Philosophical Explanations, 1981. Box 26
|
|
Box 14 |
NSF Network Service Center. Internet Resource Guide, 1989. Box 14
|
|
Box 31 |
Nunes, Terezinha; Schliemann, Analucia Dias; Carraher, David William. Street Mathematics and School
Mathematics, 1993. Box 31
|
|
Box 36 |
Nye, David E., 1946-. America as Second Creation, 2003. Box 36
|
|
Box 38 |
Nye, David E., 1946-. Technology Matters, 2007. Box 38
|
|
Box 18 |
O'Donnell, James Joseph, 1950-. Avatars of the Word: From Papyrus to
Cyberspace, 1998. Box 18
|
|
Box 27 |
Oman, Paul W.; Lewis, T. G. (Theodore Gyle), 1941- .Milestones in Software Evolution,
1990. Box 27
|
|
Box 13 |
Oppenheimer, Todd. The Flickering Mind: Saving Education
from the False Promise of Technology, 2004. Box 13
|
| |
Pagels, Heinz R. Computer Culture: The Scientific,
Intellectual, and Social Impact of the Computer, 1984. Box 13
|
|
Box 23 |
Pagels, Heinz R. The Dreams of Reason: The Computer and
the Rise of the Sciences of Complexity, 1988. Box 23
|
|
Box 24 |
Palenik, Brian. Science in Decision? A History of the
Management Sciences, 1981. Box 24
|
|
Box 11 |
The Papers of Charles Babbage,
1791-1871: A Listing and Guide to Part 1 of the Microfilm Collection, 1997. Box 11
|
|
Box 13 |
Papert, Seymour, Mindstorms: Children, Computers, and
Powerful Ideas, 1970. Box 13
|
|
Box 20 |
Parkhill, D. F. The Challenge of the Computer Utility,
1966. Box 20
|
|
Box 19 |
Paulson, Lawrence C. ML for the Working Programmer,
1991. Box 19
|
|
Box 37 |
PC Logo Reference Manual, 1988. Box 37
|
| |
PC Logo Tutorial, 1988. Box 37
|
|
Box 38 |
PC Scheme User's Guide and Software,
1990. Box 38
|
|
Box 39 |
PDP8/e, PDP8/m, and PDP8/f Small
Computer Handbook, 1973. Box 39
|
|
Box 37 |
Peitgen, Heinz-Otto, 1945- ; Jurgens, H. (Hartmut); Saupe, Dietmar, 1954- . Fractals for the Classroom, 1992. Box 37
|
|
Box 39 |
Peters, Thomas J.; Waterman, Robert H. In Search of Excellence: Lessons from
America's Best-Run Companies, 1982. Box 39
|
|
Box 38 |
Personal REXX. Box 38
|
|
Box 12 |
Peterson, Ivars. Fatal Defect: Chasing Killer Computer
Bugs, 1996. Box 12
|
|
Box 31 |
Peterson, Ivars. The Mathematical Tourist: Snapshots of
Modern Mathematics, 1988. Box 31
|
|
Box 18 |
Petzold, Charles, 1953-. Code: The Hidden Language of Computer
Hardware and Software, 1999. Box 18
|
|
Box 33 |
Phillips, E. G. Functions of a Complex Variable with
Applications, 1957. Box 33
|
|
Box 26 |
Piaget, Jean, 1896-1980. Structuralism, 1968. Box 26
|
|
Box 30 |
Piattelli-Palmarini, Massimo. Theories du Langage, Theories du
Apprentissage: Le Debat Entre Jean Piaget et Noam Chomsky, 1979. Box 30
|
|
Box 9 |
Pierce, Benjamin C. Basic Category Theory for Computer
Scientists, 1991. Box 9
|
|
Box 11 |
Pierce, John Robinson, 1910-2002. An Introduction to Information Theory:
Symbols, Signals, and Noise, 1980. Box 11
|
|
Box 21 |
Polivka, Raymond P., 1929-; Pakin, Sandra. APL: The Language and its Usage,
1975. Box 21
|
|
Box 36 |
Porter, Theodore M., 1953-. Trust in Numbers, 1995. Box 36
|
|
Box 33 |
Posner, Michael I. Foundations of Cognitive Science,
1989. Box 33
|
|
Box 21 |
Prenis, John. The Computer Dictionary, 1983. Box 21
|
|
Box 31 |
Princeton University. Department of History 2007-2008
Directory. Box 31
|
| |
Princeton University. Guide to Intelletual Property at
Princeton University, 1997. Box 31
|
|
Box 32 |
Princeton University. Register, 2007-2008. Box 32
|
|
Box 15 |
Proceedings of the ACM SIGSOFT Sixth
International Symposium on the Foundations of Software Engineering, 1998. Box 15
|
|
Box 11 |
Provenzo, Eugene F. Beyond the Gutenberg Galaxy:
Microcomputers and the Emergence of Post-Typographic Culture, 1986. Box 11
|
|
Box 28 |
Pugh, Emerson W. Building IBM: Shaping an Industry and
its Technology, 1995. Box 28
|
| |
Pugh, Emerson W. IBM's 360 and Early 370 Systems,
1991. Box 28
|
|
Box 23 |
Putnam, Hilary. Representation and Reality, 1988. Box 23
|
|
Box 22 |
Pyenson, Lewis, ed.
Word and Icon, Saying and Seeing,
1998. Box 22
|
|
Box 25 |
Quine, W. V. (Willard Van Orman). From a Logical Point of View, 1953. Box 25
|
|
Box 30 |
Quine, W. V. (Willard Van Orman). Mathematical Logic, 1951. Box 30
|
|
Box 29 |
Quine, W. V. (Willard Van Orman). Set Theory and its Logic, 1963. Box 29
|
|
Box 30 |
Quine, W. V. (Willard Van Orman). Word and Object, 1960. Box 30
|
|
Box 12 |
Randell, Brian, 1936-. The Colossus, 1976. Box 12
|
|
Box 30 |
Rashevsky, Nicolas, 1899- . Looking at History Through
Mathematics, 1968. Box 30
|
|
Box 25 |
Rashid, Richard F., 1951- , ed.
CMU Computer Science: A 25th
Anniversary Commemmorative, 1991. Box 25
|
|
Box 15 |
Raymond, Eric S. The Art of Unix Programming, 2004. Box 15
|
|
Box 18 |
Raymond, Eric S. The Cathedral and the Bazaar: Musings
on Linux and Open Source by an Accidental Revolutionary, 2001. Box 18
|
|
Box 25 |
Redmond, Kent C., 1914- ; Smith, Thomas M. From Whirlwind to MITRE: The R&D
Story of the SAGE Air Defense Computer, 2000. Box 25
|
|
Box 39 |
Reich, Leonard S. The Making of American Industrial
Research, 1985. Box 39
|
|
Box 17 |
Reselman, Bob. Using Microsoft Visual Basic 5,
1997. Box 17
|
|
Box 30 |
Resnick, Mitchel. Turtles, Termites, and Traffic Jams:
Explorations in Massively Parallel Microworlds, 1997. Box 30
|
|
Box 12 |
Reynolds, Richard T. What Fighter Pilots' Mothers Never
Told Them About Tactical Command and Control - And Certainly Should Have,
1991. Box 12
|
|
Box 8 |
Rheingold, Howard. Tools for Thought: The History and
Future of Mind-Expanding Technology, 1985. Box 8
|
|
Box 20 |
Rich, Charles, 1951-. Waters, Richard C. The Programmer's Apprentice, 1990. Box 20
|
|
Box 18 |
Rietman, Ed. Exploring the Geometry of Nature:
Computer Modeling of Chaos, Fractals, Cellular Automata and Neural Networks,
1989. Box 18
|
|
Box 17 |
Robertson, David. Eco-Logic: Logic-Based Approaches to
Ecological Modelling, 1991. Box 17
|
|
Box 27 |
Rochlin, Gene I. Trapped in the Net: The Unanticipated
Consequences of Computerization, 1997. Box 27
|
|
Box 13 |
Rockart, John F.; Scott Morton, Michael S. Computers and the Learning Process in
Higher Education, 1975. Box 13
|
|
Box 30 |
Rogers, H. (Hartley), 1926- . Theory of Recursive Functions and
Effective Computability, 1987. Box 30
|
|
Box 21 |
Rose, Ellen, 1959-. User Error: Resisting Computer
Culture, 2003. Box 21
|
|
Box 34 |
Rosenberg, Alexander, 1946-. Economics - Mathematical Politics or
Science of Diminishing Returns? 1992. Box 34
|
|
Box 36 |
Rosenbloom, Paul C. The Elements of Mathematical Logic,
1950. Box 36
|
|
Box 16 |
Rosenbloom, Richard S.; Spencer, William J. Engines of Innovation: U. S.
Industrial Research at the End of an Era, 1996. Box 16
|
|
Box 29 |
Ross, Douglas T. Introduction to Software Engineering
with the AED-0 Language, 1969. Box 29
|
| |
Rota, Gian-Carlo, 1932-1999. Indiscrete Thoughts, 1997. Box 29
|
|
Box 31 |
Rothman, Robert, 1959- . Measuring Up: Standards, Assessment,
and School Reform, 1995. Box 31
|
|
Box 19 |
Rotman, Brian. Ad Infinitum: The Ghost in Turing's
Machine, 1993. Box 19
|
|
Box 12 |
Rothman, David H. The Silicon Jungle, 1985. Box 12
|
|
Box 30 |
Runge, Carl, 1856-1927; Koenig, H. Numerisches Rechnen, 1924. Box 30
|
|
Box 36 |
Running Linux Companion CD-ROM,
1996. Box 36
|
|
Box 30 |
Russell, Bertrand, 1872-1970. Principles of Mathematics. Box 30
|
| |
Saaty, Thomas L. Mathematical Methods of Operations
Research, 1988. Box 30
|
|
Box 10 |
Sackman, Harold. Computers, System Science, and
Evolving Society: The Challenge of Man-Machine Digital Systems, 1967. Box 10
|
|
Box 24 |
Sagal, Paul T. Mind, Man, and Machine: A Dialogue,
1982. Box 24
|
|
Box 25 |
Salus, Peter H. A Quarter Century of UNIX, 1994. Box 25
|
|
Box 39 |
Sanna, Paul J., et al.
Using Windows NT Workstation 4.0,
1997. Box 39
|
|
Box 12 |
Sardar, Ziauddin; Ravetz, Jerome R. Cyberfutures: Culture and Politics on
the Information Superhighway, 1996. Box 12
|
|
Box 32 |
Sasser, W. Earl, et al.
Cases in Operations Management:
Analysis and Action, 1982. Box 32
|
|
Box 21 |
Sayers, Anthony P., ed.
Operating Systems Survey, 1971. Box 21
|
|
Box 23 |
Schank, Roger C., 1946-; Childers, Peter G. The Cognitive Computer: On Language,
Learning, and Artificial Intelligence, 1984. Box 23
|
|
Box 11 |
Schefe, Peter. Informatik und Philosophie, 1993. Box 11
|
|
Box 8 |
Schoning, Uwe. Theoretische Informatik-kurzgefasst,
1997. Box 8
|
|
Box 30 |
Schrodinger, Erwin, 1887-1961. What is Life? 1967. Box 30
|
|
Box 34 |
Schubert, Horst, 1919- . Kategorien I, 1970. Box 34
|
|
Box 21 |
Schur, Lee David. Time-Shared Computer Languages,
1973. Box 21
|
|
Box 33 |
Scriba, Christoph J. The Concept of Number, 1968. Box 33
|
|
Box 22 |
Sebag-Montefiore, Hugh. Enigma: The Battle for the Code,
2000. Box 22
|
|
Box 13 |
Seidel, Robert J.; Anderson, Ronald E., eds.
Computer Literacy: Issues and
Directions for 1985, 1982. Box 13
|
|
Box 22 |
Seltzer, Amy D. Computer Science in the 1960s: Promise
vs. Performance, 1984. Box 22
|
|
Box 32 |
Servan-Schreiber, Jean-Jacques. Le Defi Americain, 1967. Box 32
|
|
Box 33 |
Shafer, Glenn, 1946- . A Mathematical Theory of Evidence,
1914. Box 33
|
|
Box 26 |
Shaiken, Harley. Work Transformed: Automation and Labor
in the Computer Age, 1986. Box 26
|
|
Box 34 |
Shanin, Teodor, ed.
The Rules of the Game:
Cross-Disciplinary Essays on Models in Scholarly Thought, 1972. Box 34
|
|
Box 27 |
Shannon, Claude Elwood, 1916-2001; McCarthy, John, 1927- .Automata Studies, 1956. Box 27
|
|
Box 29 |
Shannon, Claude Elwood, 1916-2001; Weaver, Warren, 1894-1978. The Mathematical Theory of
Communication, 1963. Box 29
|
|
Box 13 |
Shelly, Gary B.; Cashman, Thomas J. Introduction to Computers and Data
Processing, 1980. Box 13
|
|
Box 12 |
Shera, Jesse Hauk, 1903-1982. Information Resources: A Challenge to
American Science and Industry, 1958. Box 12
|
|
Box 15 |
Shneiderman, Ben. Leonardo's Laptop: Human Needs and the
New Computing Technologies, 2002. Box 15
|
|
Box 17 |
Shriver, Bruce D.; Wegner, Peter, eds.
Research Directions in Object-Oriented
Programming, 1987. Box 17
|
|
Box 8 |
Shurkin, Joel N., 1938-. Engines of the Mind, 1985. Box 8
|
|
Box 22 |
Siever, Ellen. Linux in a Nutshell: A Desktop Quick
Reference, 1999. Box 22
|
|
Box 20 |
Simmons, Margaret; Koskela, Rebecca. Instrumentation for Future Parallel
Computing Systems, 1989. Box 20
|
| |
Simmons, Margaret; Koskela, Rebecca, eds.
Performance Instrumentation and
Visualization, 1990. Box 20
|
|
Box 24 |
Simon, Herbert A., 1916-2001. The Sciences of the Artificial,
1981. Box 24
|
|
Box 11 |
Singh, Jagjit, 1912-. Great Ideas in Information Theory,
Language, and Cybernetics, 1966. Box 11
|
|
Box 39 |
Sloan, Alfred P. (Alfred Pritchard). My Years with General Motors, 1965. Box 39
|
|
Box 28 |
Sloane, N. J. A. (Neil James Alexander); Wyner, A. D. (Aaron D.). Claude Elwood Shannon: Collected
Papers, 1993. Box 28
|
|
Box 36 |
Smalltalk/VDOS: Object-Oriented
Programming System (OOPS), 1991. Box 36
|
|
Box 30 |
Smith, Brian Cantwell. On the Origin of Objects, 1996. Box 30
|
|
Box 17 |
Smith, Dori. Java for the World Wide Web, 1998. Box 17
|
|
Box 19 |
Smith, Merritt Roe, 1940-. Harpers Ferry Armory and the New
Technology: The Challenge of Change, 1977. Box 19
|
|
Box 37 |
Smith, Peter. Explaining Chaos, 1998. Box 37
|
|
Box 39 |
The Smithsonian Institution: A World
of Discovery, 1993. Box 39
|
|
Box 35 |
Smullyan, Raymond M. Theory of Formal Systems, 1961. Box 35
|
|
Box 13 |
Solomon, Cynthia, Computer Environments for Children: A
Reflection on Theories of Learning and Education, 1986. Box 13
|
|
Box 20 |
Sommerville, Ian, 1951-. Software Engineering, 1985. Box 20
|
|
Box 19 |
Spafford, Eugene H. The Internet Worm Program: An
Analysis, 1988. Box 19
|
|
Box 8 |
Speiser, Ambros P., 1922-. Digitale Rechanlagen, 1961. Box 8
|
|
Box 12 |
Spolsky, Joel. Joel on Software, 2004. Box 12
|
| |
Spolsky, Joel. The Best Software Writing I, 2005. Box 12
|
|
Box 16 |
Stabley, Don H. System/360 Assembler Language,
1967. Box 16
|
|
Box 38 |
The SmallGol Compiler, 1985. Box 38
|
|
Box 17 |
Stanek, William R. Web Publishing Unleashed, 1996. Box 17
|
|
Box 32 |
Steen, Lynn Arthur, 1941- . Mathematics Tomorrow, 1981. Box 32
|
|
Box 35 |
Stegmuller, Wolfgang. Hauptstromungen der
Gegenwartsphilosophie, 1960. Box 35
|
|
Box 34 |
Stegmuller, Wolfgang. Unvollstandigkeit und
Unentscheidbarkeit, 1959. Box 34
|
|
Box 17 |
Stephenson, Neal. In the Beginning...Was the Command
Line, 1999. Box 17
|
|
Box 31 |
Stevens, Garry. The Reasoning Architect: Mathematics
and Science in Design, 1990. Box 31
|
|
Box 35 |
Stewart, Ian. Life's Other Secret: The New
Mathematics of the Living World, 1998. Box 35
|
|
Box 15 |
St. Laurent, Simon. XML: A Primer, 1999. Box 15
|
|
Box 34 |
Stokes, Donald E. Pasteur's Quadrant: Basic Science and
Technological Innovation, 1997. Box 34
|
|
Box 18 |
Stoll, Clifford. High-Tech Heretic: Why Computers Don't
Belong in the Classroom and Other Reflections by a Computer Contrarian,
1999. Box 18
|
|
Box 27 |
Stoll, Clifford. Silicon Snake Oil: Second Thoughts on
the Information Superhighway, 1995. Box 27
|
|
Box 33 |
Stoller, David S., 1923- . Operations Research: Process and
Strategy, 1964. Box 33
|
|
Box 15 |
Stolte, Andreas; Heinz Nixdorf MuseumsForum. Museumsfuhrer, 1997. Box 15
|
|
Box 9 |
Stoy, Joseph. Denotational Semantics: The
Scott-Strachey Approach to Programming Language Theory, 1981. Box 9
|
|
Box 18 |
Stroustrup, Bjarne. The C++ Programming Language, 1986. Box 18
|
|
Box 17 |
Stroustrup, Bjarne. The Design and Evolution of C++,
1994. Box 17
|
|
Box 39 |
Stiazhkin, N. I. History of Mathematical Logic from
Leibniz to Peano, 1969. Box 39
|
|
Box 17 |
Suchman, Lucille Alice. Human-Machine Reconfigurations: Plans
and Situated Actions, 2007. Box 17
|
|
Box 20 |
Sullivan, Joseph W.; Tyler, Sherman W. Intelligent User Interfaces, 1991. Box 20
|
|
Box 10 |
Svoboda, Antonin. Computing Mechanisms and Linkages,
1964. Box 10
|
|
Box 16 |
Szymanski, Boleslaw, ed.
Parallel Functional Languages and
Compilers, 1991. Box 16
|
|
Box 19 |
Tapscott, Don, 1947-. Growing Up Digital: The Rise of the
Net Generation, 1998. Box 19
|
|
Box 29 |
Tarrant, John J. Drucker: The Man Who Invented
Corporate Society, 1976. Box 29
|
|
Box 14 |
Tavel, Morton A. Information Theory, 1989. Box 14
|
| |
Taylor, William A. What Every Engineer Should Know about
Artificial Intelligence, 1988. Box 14
|
|
Box 38 |
Texas Instruments 57LCD Sourcebook.
Box 38
|
|
Box 24 |
Thagard, Paul. Computational Philosophy of Science,
1988. Box 24
|
|
Box 11 |
Time-Life Books. Alternative Computers, 1988. Box 11
|
| |
Time-Life Books. Computers and the Cosmos, 1988. Box 11
|
|
Box 34 |
Toffoli, Tommaso; Margolus, Norman. Cellular Automata Machines: A New
Environment for Modeling, 1988. Box 34
|
|
Box 21 |
Tracz, Will. Confessions of a Used Program
Salesman: Institutionalizing Software Reuse, 1995. Box 21
|
|
Box 36 |
Turbo Assembler Quick Reference Guide,
1990. Box 36
|
|
Box 38 |
Turbo Assembler 2.0 Reference Guide,
1990. Box 38
|
| |
Turbo Assembler 2.0 User's Guide,
1990. Box 38
|
|
Box 36 |
Turbo Basic, 1987. Box 36
|
|
Box 38 |
Turbo C++ Getting Started, 1990. Box 38
|
|
Box 36 |
Turbo C++ Programmer's Guide, 1990. Box 36
|
|
Box 38 |
Turbo C++ User's Guide, 1990. Box 38
|
| |
Turbo Debugger User's Guide, 1990. Box 38
|
| |
Turbo C++ Reference Guide, 1990. Box 38
|
| |
Turbo Pascal Object-Oriented
Programming Guide, 1988. Box 38
|
| |
Turbo Pascal Reference Guide, 1989. Box 38
|
| |
Turbo Pascal User's Guide, 1989. Box 38
|
| |
Turbo Profiler User's Guide, 1990. Box 38
|
|
Box 13 |
Turkle, Sherry. The Second Self: Computers and the
Human Spirit, 1985. Box 13
|
|
Box 33 |
Turnbull, H. W. (Herbert Westren), 1885-1961. Theory of Equations, 1939. Box 33
|
|
Box 21 |
Ullman, Ellen. Close to the Machine: Technophilia and
its Discontents, 1997. Box 21
|
|
Box 10 |
United States. Congress. Office of Technology Assessment.
Finding a Balance: Computer Software,
Intellectual Property, and the Challenge of Technological Change, 1992. Box 10
|
|
Box 23 |
United States. Congress. Office of Technology Assessment.
Seeking Solutions: High-Performance
Computing for Science, 1991. Box 23
|
|
Box 32 |
United States. Navy. Fundamentals of COBOL: Programmers
Reference, 1968. Box 32
|
|
Box 35 |
Unix Programmer's Manual, August 1983. Box 35
|
| |
Van Heijenoort, Jean, 1912-1986. Frege and Godel: Two Fundamental Texts
in Mathematical Logic, 1970. Box 35
|
|
Box 26 |
Van der Waerden, B. L. (Bartel Leendert), 1903-. Algebra, erster and zweiter
teil, 1966-1967. Box 26
|
|
Box 13 |
Vick, Charles R.; Ramamoorthy, C. V., eds.
Handbook of Software Engineering,
1984. Box 13
|
|
Box 32 |
Vincenti, Walter G. (Walter Guido), 1917- . What Engineers Know and How They Know
It: Analytical Studies from Aeronautical History, 1990. Box 32
|
|
Box 33 |
Vinogradov, I. M. Elements of Number Theory, 1954. Box 33
|
|
Box 30 |
Von Karman, Theodore, 1881-1963; Biot, Maurice A. (Maurice Anthony), 1905- . Mathematical Methods in Engineering,
1940. Box 30
|
|
Box 29 |
Von Neumann, John, 1903-1957. First Draft of a Report on the EDVAC,
1945. Box 29
|
|
Box 24 |
Waldrop, M. Mitchell. Man-Made Minds: The Promise of
Artificial Intelligence, 1987. Box 24
|
|
Box 17 |
Wall, Larry; Schwartz, Randal L. Programming Perl, 1991. Box 17
|
|
Box 12 |
Wallace, Edward L., 1921-. Management Influence on the Design of
Data Processing Systems, 1961. Box 12
|
|
Box 38 |
Wang, Hao, 1921-. Popular Lectures on Mathematical
Logic, 1981. Box 38
|
|
Box 9 |
Weeks, Robert P., 1915-, ed.
Machines and the Man: A Sourcebook on
Automation, 1961. Box 9
|
|
Box 12 |
Wegner, Peter. Programming Languages, Information
Structures, and Machine Organization, 1968. Box 12
|
|
Box 9 |
Wegner, Peter, ed.
Research Directions in Software
Technology, 1979. Box 9
|
|
Box 28 |
Weinberg, Gerald M. The Psychology of Computer
Programming, 1971. Box 28
|
|
Box 11 |
Weinberg, Gerald M. Understanding the Professional
Programmer, 1988. Box 11
|
|
Box 34 |
Weiner, Jonathan. Time, Love, Memory: A Great Biologist
and His Quest for the Origins of Behavior, 1999. Box 34
|
|
Box 16 |
Weinreb, Daniel. Moon, David.LISP Machine Manual, 4th
edition, 1981. Box 16
|
|
Box 22 |
Weinwurm, George F., ed.
On the Management of Computer
Programming, 1970. Box 22
|
|
Box 13 |
Westin, Alan F., ed.
Information Technology in a Democracy,
1971. Box 13
|
|
Box 35 |
Weyl, Hermann, 1885-1955. Philosophy of Mathematics and Natural
Science, 1949. Box 35
|
| |
Whitehead, Alfred North, 1861-1947; Russell, Bertrand, 1872-1970.Principia Mathematica, 1962. Box 35
|
|
Box 33 |
Widder, D. V. (David Vernon), 1898- . Advanced Calculus, 1947. Box 33
|
|
Box 30 |
Wieleitner, Heinrich, 1974- . Algebraische Kurven, 1930. Box 30
|
|
Box 25 |
Wieleitner, Heinrich, 1874- . Spezielle Ebene Kurven, 1908. Box 25
|
|
Box 20 |
Wiener, Lauren. Digital Woes: Why We Should Not Depend
on Software, 1993. Box 20
|
|
Box 23 |
Weizenbaum, Joseph. Computer Power and Human Reason: From
Judgment to Calculation, 1976. Box 23
|
|
Box 38 |
Williams, Rosalind H. Retooling: A Historian Confronts
Technological Change, 2003. Box 38
|
|
Box 22 |
Williams, Trevor Illtyd. A Short History of Twentieth Century
Technology, 1982. Box 22
|
|
Box 21 |
Wilson, Ira Gaulbert, 1901-; Wilson, Marthann E. Information, Computers, and System
Design, 1965. Box 21
|
|
Box 38 |
Windows Draw! User's Guide, 1989. Box 38
|
|
Box 15 |
Winograd, Terry. Bringing Design to Software, 1996. Box 15
|
|
Box 9 |
Winograd, Terry; Flores, Fernando.Understanding Computers and Cognition:
A New Foundation for Design, 1987. Box 9
|
|
Box 17 |
Winston, Patrick Henry; Horn, Berthold. LISP, 1981. Box 17
|
| |
Winston, Patrick Henry; Horn, Berthold. LISP, second edition,
1984. Box 17
|
|
Box 21 |
Wirth, Niklaus. Programming in Modula-2, 1982. Box 21
|
|
Box 25 |
Wirth, Niklaus. The Programming Language Oberon,
1990. Box 25
|
|
Box 35 |
Wittgenstein, Ludwig, 1889-1951. The Blue and Brown Books, 1958. Box 35
|
| |
Wittgenstein, Ludwig, 1889-1951. Remarks on the Foundations of
Mathematics, 1964. Box 35
|
| |
Wittgenstein, Ludwig, 1889-1951. Tractatus Logico-Philosophicus,
1973. Box 35
|
|
Box 9 |
Wolf, Mark J. P., ed.
The Medium of the Video Game, 2001. Box 9
|
|
Box 29 |
Wolfram, Stephen. Cellular Automata and Complexity:
Collected Papers, 1994. Box 29
|
| |
Wolfram, Stephen. Mathematica: A System of Doing
Mathematics by Computer, 1991. Box 29
|
|
Box 19 |
Wolfram, Stephen. A New Kind of Science, 2002. Box 19
|
|
Box 37 |
WordPerfect Manuals. Box 37
|
|
Box 38 |
WordPerfect Office 2000 Libraries
Catalog, 2000. Box 38
|
|
Box 37 |
WordPerfect Office 2000 User Guide,
1999. Box 37
|
|
Box 38 |
World Atlas User's Guide. Box 38
|
|
Box 17 |
Wresch, William, 1947-. Disconnected: Haves and Have-Nots in
the Information Age, 1996. Box 17
|
|
Box 34 |
Wuensch, Daniela. Zwei Wirkiche Kerle, 2005. Box 34
|
|
Box 16 |
Yoffie, David B. Competing in the Age of Digital
Convergence, 1997. Box 16
|
|
Box 27 |
Yourdon, Edward. Classics in Software Engineering,
1979. Box 27
|
|
Box 13 |
Yourdon, Edward. Techniques of Program Structure and
Design, 1975. Box 13
|
|
Box 12 |
Yourdon, Edward. Writings of the Revolution: Selected
Readings on Software Engineering, 1982. Box 12
|
|
Box 26 |
Zassenhaus, Hans. The Theory of Groups, 1949. Box 26
|
|
Box 15 |
Zittrain, Jonathan, 1969-. The Future of the Internet and How to
Stop It, 2008. Box 15
|
|
Box 24 |
Zuboff, Shoshana, 1951-. In the Age of the Smart Machine: The
Future of Work and Power, 1988. Box 24
|