University of Minnesota
University of Minnesota LibrariesOnline Finding Aids
space Home | About Us | Search Tips | Finding Aids FAQ | View Basket |
Outline View
Verna Aardema Papers, 1959, 1970-1982
 Location  Title
 
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