CHM holdings of ACM classics

This page lists ACM Classics and their equivalents if any in the CHM library.
Items are classified as:

Divided like ACM Classics List into: In Print, OutOfPrint

ACM Classics: in print
Found = 42, NotFound = 128

FOUND ACMTitle: ACMAuthor: ACMYear: CHMTitle: CHMAuthors CHMYear CHMPublish CHMLoc:
YES A Discipline of Programming Dijkstra, E. W. 1997 Discipline of Programming, A Dijkstra, Edsger W. 1976 Prentice-Hall MF126: VS
NO A Mathematical Theory of Communication Shannon, C. E. and Weaver, W. 1963 --- --- --- --- ---
NO A programmer's guide to Common Lisp Tatar, D. G. 1986 --- --- --- --- ---
YES ACM Turing award lectures: the first twenty years: 1966-1985 Ashenhurst, R. L. and Graham, S. Eds. 1987 ACM Turing Award Lectures - The First Twenty Years 1966-1985 Ashenhurst, R.L. and Graham, S, Eds. none ACM Press MF126,VS
NO Abstraction and specification in program development Liskov, B. and Guttag, J. 1986 --- --- --- --- ---
NO Advanced Computer Design Iliffe, J. K. 1982 --- --- --- --- ---
NO Advanced Macromedia ColdFusion MX 7 Application Development Forta, B. and Sargent, S. 2005 --- --- --- --- ---
NO Algebra Chrystal, G. 1916 --- --- --- --- ---
NO Algebraic and Automata-Theoretic Properties of Formal Languages Ginsburg, S. 1975 --- --- --- --- ---
NO Algorithms + Data Structures = Programs Wirth, N. 1978 --- --- --- --- ---
NO Algorithms in C Sedgewick, R. 1990 --- --- --- --- ---
YES An Introduction to Automatic Computers Chapin, N. 1963 Introduction to Automatic Computers, An Chapin, Ned 1963 D. Van Nostrand Company, Inc. MF126:VS
YES An Introduction to Operating Systems Deitel, H. M. 1983 An Introduction to Operating Systems Deitel, Harvey M. 1984 Addison-Wesley MF126: VS
YES An Investigation of the Laws of Thought Boole, G. 1958 An Investigation of the Laws of Thought Boole, George 1854 Dover MF126:VS
YES? An introduction to database systems (The Systems programming series) Date, C. J. 1977 Introduction to Database Systems, An: Volume I Date, C. J. 1982 Addison Wesley MF126: VS
YES An introduction to general systems thinking (silver anniversary ed.) Weinberg, G. M. 2001 An Introduction to General Systems Thinking Weinberg, Gerald M. 1975 John Wiley MF126: VS
YES Analog VLSI and neural systems Mead, C. 1989 Analog VLSI and Neural Systems Mead, Carver 1989 Addison-Wesley MF126: VS
NO Applied Cryptography Schneier, B. 1993 --- --- --- --- ---
NO Applied combinatorics Roberts, F. S. 1984 --- --- --- --- ---
NO Artificial Intelligence Russell, S. J. and Norvig, P. 2003 --- --- --- --- ---
YES Artificial intelligence (2nd ed.) Winston, P. H. 1984 Artificial Intelligence Winston, Patrick Henry copyright1977 Addison-Wesley MF45: Office
YES Assembler Language Programming Struble, G. W. 1975 Assembler Language Programming"
The IBM System/360 and 370 		Struble, George w. 1975 Addison-Wesley MF126: vs
NO Automata Studies. (AM-34) (Annals of Mathematics Studies) Shannon, C. E. and McCarthy, J. 1956 --- --- --- --- ---
NO BCPL Richards, M. and Whitby-Strevens, C. 1981 --- --- --- --- ---
NO C Elements of Style Oualline, S. 1992 --- --- --- --- ---
NO C++ how to program Deitel, H. M. and Deitel, P. J. 1994 --- --- --- --- ---
NO C4.5: programs for machine learning Quinlan, J. R. 1993 --- --- --- --- ---
NO Coding and Information Theory Hamming, R. W. 1986 --- --- --- --- ---
NO Coding and information theory (2nd ed.) Hamming, R. W. 1986 --- --- --- --- ---
NO Commodore 64 Programmer's Reference Guide Computers, C. 1982 --- --- --- --- ---
NO Communicating sequential processes Hoare, C. A. 1985 --- --- --- --- ---
NO Compilers: principles, techniques, and tools Aho, A. V., Sethi, R., and Ullman, J. D. 1986 --- --- --- --- ---
YES? Computer Engineering Bell, C. G. 1998 Computer Engineering
A DEC View of Hardware Systems Design 		Bell, C. Gordon & Mudge, J. Craig & McNamara, John E. 1978 DIGITAL Press MF126: VS
NO Computer System Architecture Mano, M. M. 1990 --- --- --- --- ---
NO Computer algebra: symbolic and algebraic computation (2nd ed.) B. Buchberger, G. E. Collins, R. Loos, and R. Albrecht, Eds. 1983 --- --- --- --- ---
YES Computer architecture and organization; (2nd ed.) Hayes, J. P. 1988 Computer Architecture and Organization Hayes, John P. 1978 McGraw-Hill MF126: vs
NO Computer graphics: principles and practice (2nd ed.) Foley, J. D., van Dam, A., Feiner, S. K., and Hughes, J. F. 1990 --- --- --- --- ---
NO Computer organization & design Patterson, D. A. and Hennessy, J. L. 1993 --- --- --- --- ---
NO Computer pioneers Lee, J. A. 1995 --- --- --- --- ---
YES? Computer programming and architecture: The VAX Levy, H. M. and Eckhouse, R. H. 1989 Computer Programming and Architecture: The VAX-11 Levy, Henry M. and Eckhouse Jr., Richard H. 1980 digital Press MF126: VS
NO Computer security Gollmann, D. 1999 --- --- --- --- ---
NO Computers and Intractability Garey, M. R. and Johnson, D. S. 1979 --- --- --- --- ---
NO Computers and Intractability; A Guide to the Theory of NP-Completeness Garey, M. R. and Johnson, D. S. 1990 --- --- --- --- ---
YES Computers and Thought Feigenbaum, E. A. and Feldman, J. 1963 Computers and Thought Feigenbaum, Edward A. & Feldmann, Julian - Editors 1963 McGraw-Hill MF126: VS
YES Conceptual structures: information processing in mind and machine Sowa, J. F. 1984 Conceptual Structures
Information Processing in Mind and Machine 		Sowa, John F. 1984 Addison-Wesley MF126: vs
NO Controlling Software Projects DeMarco, T. 1986 --- --- --- --- ---
NO Cooperating Sequential Processes, Technical Report EWD-123 Dijkstra, E. W. 1965 --- --- --- --- ---
NO Cryptography Stinson, D. R. 1995 --- --- --- --- ---
YES Cybernetics: Or Control and Communication in the Animal and the Machine Wiener, N. 2000 Cybernetics
or Control and Communication in the Animal and the Machine 		Wiener, Norbert 1948 John Wiley MF126: VS
NO Cybernetics, Second Edition Wiener, N. 1965 --- --- --- --- ---
NO Data Structures and Algorithms Aho, A. V., Hopcroft, J. E., Ullman, J., and Hopcroft, J. E. 1983 --- --- --- --- ---
YES Data structures and algorithms 3: multi-dimensional searching and computational geometry Mehlhorn, K. 1984 Data Structures and algorithms 3: Multi-dimensional Searching and Computational Geometry Mehlhorn, Kurn 1984 Springer-Verlag MF126: VS
NO Decision-making processes in pattern recognition (ACM monograph series) Sebestyen, G. S. 1962 --- --- --- --- ---
NO Designing the User Interface Shneiderman, B. 1997 --- --- --- --- ---
YES Digital systems: hardware organization and design (3rd ed.) Hill, F. J. and Peterson, G. R. 1987 Digital Systems: Hardware Organization and Design Hill, Fredrick, J. Hill
Peterson, Gerald R. 		1978 John Wiley & Sons MF126: VS
NO Elements of discrete mathematics (McGraw-Hill computer science series) Liu, C. L. 1977 --- --- --- --- ---
NO Fault Tolerance Lee, P. A. and Anderson, T.; J. C. Laprie, A. Avizienis, and H. Kopetz, Eds. 1990 --- --- --- --- ---
NO Fluid Concepts and Creative Analogies Hofstadter, D. R. 1996 --- --- --- --- ---
NO Foundations of logic programming; (2nd extended ed.) Lloyd, J. W. 1987 --- --- --- --- ---
YES Fundamentals of interactive computer graphics Foley, J. D. and Van Dam, A. 1982 Fundamentals of Interactive Computer Graphics Foley, Jamess & van Dam, Andries 1982 Addison-Wesley MF126: VS
NO GUI Design for Dummies (with CD-ROM) Arlov, L. 1997 --- --- --- --- ---
YES Graph algorithms and NP-completeness Mehlhorn, K. 1984 Graph Algorithms and NP-Completeness: Data Structures and Algorithms 2 Mehlhorn, Kurn 1984 Springer-Verlag MF126: VS
NO Handbook of Mathematical Functions, With Formulas, Graphs, and Mathematical Tables, Abramowitz, M. 1974 --- --- --- --- ---
NO History of Computing in the Twentieth Century Howlett, J. and Rota, G. C.; N. Metropolis, Ed. 1980 --- --- --- --- ---
YES How to Lie With Statistics Huff, D. and Geis, I. 1993 How to Lie with Statistics Huff, Darrell 1954 Norton MF126: VS
NO Information Theory and Reliable Communication Gallager, R. G. 1968 --- --- --- --- ---
NO Internetworking with TCP/IP (2nd ed.), vol. I Comer, D. E. 1991 --- --- --- --- ---
NO Interpreting Information Systems in Organizations Walsham, G. 1993 --- --- --- --- ---
NO Introduction To Automata Theory, Languages, And Computation Hopcroft, J. E. and Ullman, J. D. 1990 --- --- --- --- ---
NO Introduction to Algorithms Manber, U. 1989 --- --- --- --- ---
NO Introduction to compiler construction Parsons, T. W. 1992 --- --- --- --- ---
NO LISP 1.5 Programmer's Manual McCarthy, J. 1962 --- --- --- --- ---
NO Let Us C Kanetkar, Y. 2002 --- --- --- --- ---
NO Lions' commentary on UNIX 6th edition with source code Lions, J. 1996 --- --- --- --- ---
NO Lisp Machine Manual (Chinual) Weinreb, D. L. and Moon, D. A. 1981 --- --- --- --- ---
NO Lisp machine manual Weinreb, D. 1983 --- --- --- --- ---
NO Literary Machines 931 Nelson, T. H. 1982 --- --- --- --- ---
NO Mapping the Commodore 64 Leemon, S. 1984 --- --- --- --- ---
NO Mastering ENVY/Developer Pelrine, J., Knight, A., and Cho, A. 2001 --- --- --- --- ---
NO Matching Theory (North-Holland mathematics studies) Lovasz, L. 1986 --- --- --- --- ---
NO Mathematical Theory of Computation Manna, Z. 2003 --- --- --- --- ---
NO Michigan algorithm decoder Arden, B. W. 1964 --- --- --- --- ---
NO Modern structured analysis Yourdon, E. 1989 --- --- --- --- ---
NO More programming pearls: confessions of a coder Bentley, J. 1988 --- --- --- --- ---
NO Numerical Methods for Unconstrained Optimization and Nonlinear Equations (Classics in Applied Mathematics, 16) Dennis, J. E. and Schnabel, R. B. 1996 --- --- --- --- ---
NO Numerical recipes in C: the art of scientific computing Press, W. H., Flannery, B. P., Teukolsky, S. A., and Vetterling, W. T. 1988 --- --- --- --- ---
NO Object-oriented modeling and design Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F., and Lorensen, W. 1991 --- --- --- --- ---
NO Operating System Concepts Peterson, J. L. and Silberschatz, A. 1985 --- --- --- --- ---
YES Operating systems: An advanced course Bayer, R., Graham, R. M., and Seegmuller, G. 1978 Operating Systems - An advanced Course Bayer, B. & Graham, R. M. - Editors 1979 Springer-Verlag MF126: VS
NO Operating systems: a systematic view (3rd ed.) Davis, W. S. 1987 --- --- --- --- ---
NO Operating systems: design and implementation Tanenbaum, A. S. 1987 --- --- --- --- ---
NO PL/I structured programming Hughes, J. K. 1986 --- --- --- --- ---
NO Pattern Classification (2nd Edition) Duda, R. O., Hart, P. E., and Stork, D. G. 2000 --- --- --- --- ---
YES Peopleware: productive projects and teams DeMarco, T. and Lister, T. 1987 Peopleware
Productive Projects and Teams 		DeMarco, Tom & Lister Timothy 1999 Dorset House MF126: VS
NO Principles of Compiler Design (Addison-Wesley series in computer science and information processing) Aho, A. V. and Ullman, J. D. 1977 --- --- --- --- ---
YES Principles of Database Systems Ullman, J. D. 1983 Principles of Database Systems Ullman, Jeffrey D. 1982 Computer Science Press MF126: VS
YES Principles of database and knowledge-base systems, Vol. I Ullman, J. D. 1988 Principles of Database and Knowledge-Base Systems, Vol. I Ullman, Jeffrey D. 1988 Computer Science Press MF126: VS
NO Programming Approach to Computability Kfoury, A. J., Arbib, M. A., and Moll, R. N. 1991 --- --- --- --- ---
NO Programming expert systems in OPS5: an introduction to rule-based programming Brownston, L., Farrell, R., Kant, E., and Martin, N. 1985 --- --- --- --- ---
NO Programming in Pascal Grogono, P. 1984 --- --- --- --- ---
YES Programming in Prolog Clocksin, W. F. and Mellish, C. S. 1987 Programming in Prolog Clocksin, W. F. and Mellish, C. S. 1981 Springer-Verlag MF126:VS
YES Programming languages: design and implementation (2nd ed.) Pratt, T. W. 1983 Programming Languages: Design and Implementation Pratt, Terrence W. 1975 Prentice-Hall MF126: VS
NO Programming on purpose Plauger, P. J. 1993 --- --- --- --- ---
NO Programming pearls Bentley, J. 1986 --- --- --- --- ---
NO Report on the algorithmic language ALGOL 68 Wijngaarden, A. v. 1969 --- --- --- --- ---
NO Representation and Understanding D. G. Bobrow and A. Collins, Eds. 1975 --- --- --- --- ---
NO Rough Sets Pawlak, Z. 1992 --- --- --- --- ---
NO Rounding Errors in Algebraic Processes Wilkinson, J. H. 1994 --- --- --- --- ---
NO SAIL user manual. VanLehn, K. A. 1973 --- --- --- --- ---
YES SURFACES FOR COMPUTER-AIDED DESIGN OF SPACE FORMS Coons, S. A. 1967 Surfaces for Computer-Aided Design of Space Forms
MAC-TR-41		 Coons, Steven A. 1967 Massachusetts Institute of Technology
Project MAC 		MF126: VS
NO Scientific Software Package none none --- --- --- --- ---
NO Security in computing Pfleeger, C. P. 1997 --- --- --- --- ---
NO Software Engineering Economics Boehm, B. W. 1981 --- --- --- --- ---
NO Software Tools Kernighan, B. W. and Plauger, P. L. 1976 --- --- --- --- ---
YES Sorting and Searching (Eatcs Monographs on Theoretical Computer Science) Mehlhorn, K. 1984 Sorting and Searching: Data Structures and Algorithms 1 Mehlhorn, Kurn 1984 Springer-Verlag MF126: VS
NO Sorting and Sort Systems (The Systems programming series) Lorin, H. 1975 --- --- --- --- ---
NO Stochastic Analysis of Computer Storage Aven, O. I., Coffman, E. G., and Kogan, Y. A. 1987 --- --- --- --- ---
NO Structure and Interpretation of Computer Programs Abelson, H. and Sussman, G. J. 1996 --- --- --- --- ---
YES Structured Analysis and System Specification DeMarco, T. 1979 Structured Analysis and System Specification DeMarco, Tom 1979 Prentice-Hall, Inc. MF126: VS
NO Structured Design Yourdon, E. and Constantine, L. L. 1979 --- --- --- --- ---
NO Structured Development for Real-Time Systems Ward, P. T. and Mellor, S. J. 1986 --- --- --- --- ---
NO Symbolic Logic and Mechanical Theorem Proving Chang, C., Lee, R. C., and Lee, R. C. 1997 --- --- --- --- ---
NO Systems Analysis and Design McLeod, R. 1994 --- --- --- --- ---
NO TCP/IP illustrated (vol. 1) Stevens, W. R. 1993 --- --- --- --- ---
YES? TEX Knuth, D. E. 1986 TEX and METAFONT Knuth, Donald E. 1979 DIGITAL Press MF126: VS
YES TEX and METAFONT Knuth, D. E. 1979 TEX and METAFONT Knuth, Donald E. 1979 DIGITAL Press MF126: VS
NO The AWK programming language Aho, A. V., Kernighan, B. W., and Weinberger, P. J. 1987 --- --- --- --- ---
NO The Art of Computer Programming Volumes 1-3 Boxed Set Knuth, D. E. 1998 --- --- --- --- ---
NO The Art of Computer Programming, 2nd Ed. (Addison-Wesley Series in Computer Science and Information Knuth, D. E. 1978 --- --- --- --- ---
YES The Art of Software Testing Myers, G. J. and Sandler, C. 2004 Art of Software Testing, The Myers, Glenford J. 1979 Wiley-Interscience MF126: VS
YES The C programming language Kernighan, B. W. and Ritchie, D. M. 1978 The C Programming Language Kernighan, Brian W. 1978 Prentice-Hill, Inc.
NO The C++ programming language Stroustrup, B. 1986 --- --- --- --- ---
NO The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies) Church, A. 1985 --- --- --- --- ---
NO The Collected Works of John von Neumann Neumann, J. V., Taub, A. W., and Taub, A. H. 1963 --- --- --- --- ---
YES The Economics of Computers Sharpe, W. F. 1972 The Economics of Computers Sharpe, William F. 1969 Columbia University Press MF126: VS
NO The ICON Programming Language Griswold, R. E. and Griswold, M. T. 1996 --- --- --- --- ---
YES? The Mythical Man-Month Brooks, F. P. 1978 The Mythical Man-month - Essays on Software Engineering Brooks, Frederick P. 1975 Addison-Wesley Publishing MF126: VS
NO The Science of Programming Gries, D. 1987 --- --- --- --- ---
YES The Soul of a New Machine Kidder, T. 1981 The Soul of a New Machine Kidder, Tracy 1981 Little, Brown and Company
NO The TeXbook Knuth, D. E. 1986 --- --- --- --- ---
NO The Thirteen Books of Euclid's Elements, Books 1 and 2 Heath, T. L. and Euclid 1956 --- --- --- --- ---
NO The UNIX Programming Environment Kernighan, B. W. and Pike, R. 1983 --- --- --- --- ---
NO The Undecidable Davis, M. 2004 --- --- --- --- ---
NO The Wealth of Nations Smith, A. and Krueger, A. B. 2003 --- --- --- --- ---
YES The Works of Charles Babbage Babbage, C.; M. Campbell-Kelly, Ed. 1989 The Works of Charles Babbage
Volume I. Mathematical papers 		Babbage, Charles; Martin Compbell-Kelly - Editor 1989 Pickering & Chatto (Publishers) Limited MF-126-VS
NO The art of computer programming, volume 1 (3rd ed.) Knuth, D. E. 1997 --- --- --- --- ---
NO The art of computer programming, volume 2 (3rd ed.) Knuth, D. E. 1997 --- --- --- --- ---
NO The art of computer programming, volume 3 Knuth, D. E. 1998 --- --- --- --- ---
NO The deductive foundations of computer programming Manna, Z. and Waldinger, R. 1993 --- --- --- --- ---
YES The design of the UNIX operating system Bach, M. J. 1986 The Design of the UNIX Operating System Bach, Maurice J. 1986 Prentice-Hall, Inc
NO The magic garden explained Goodheart, B. and Cox, J. 1994 --- --- --- --- ---
NO The most complex machine Eck, D. J. 1995 --- --- --- --- ---
YES? The mythical man-month (anniversary ed.) Brooks, F. P. 1995 The Mythical Man-month - Essays on Software Engineering Brooks, Frederick P. 1975 Addison-Wesley Publishing MF126: VS
NO The practical guide to structured systems design: 2nd edition Page-Jones, M. 1988 --- --- --- --- ---
NO The process view of simulation (Operating and programming systems series) Franta, W. R. 1977 --- --- --- --- ---
YES The psychology of computer programming Weinberg, G. M. 1988 The Psychology of Computer Programming Weinberg, Gerald M. 1971 Van Nostrand Reinhold MF126: vs
YES The sciences of the artificial (3rd ed.) Simon, H. A. 1996 The Sciences of the Artificial Simon, Herbert A. 1969 The M.I.T. Press MF45: Office
NO The state of the Art of Computer Programming Knuth, D. E. 1976 --- --- --- --- ---
NO Theory of Self-Reproducing Automata Neumann, J. V.; A. W. Burks, Ed. 1966 --- --- --- --- ---
NO Theory of recursive functions and effective computability Rogers, H. 1987 --- --- --- --- ---
NO Theory, Volume 1, Queueing Systems Kleinrock, L. 1975 --- --- --- --- ---
NO Tractatus Logico Philosophicus (Routledge Classics) Wittgenstein, L., Pears, D. F., McGuinness, B., and Russell, B. 2001 --- --- --- --- ---
NO Turbo Pascal (Computer Science Series)) Dale, N. 1997 --- --- --- --- ---
NO UNIX in a nutshell Gilly, D. and O'Reilly & Associates, Inc., C. 1992 --- --- --- --- ---
NO UNIX network programming Stevens, W. R. 1990 --- --- --- --- ---
NO UNIX programmer's manual S. V. Earhart, Ed. 1986 --- --- --- --- ---
NO UNIX systems for modern architectures Schimmel, C. 1994 --- --- --- --- ---
NO Vision Marr, D. 1982 --- --- --- --- ---
NO Work-Oriented Design of Computer Artifacts Ehn, P. 1990 --- --- --- --- ---
NO the theory of formal languages none none --- --- --- --- ---

ACM Classics: out of print
Found = 95, NotFound = 308

FOUND ACMTitle: ACMAuthor: ACMYear: CHMTitle: CHMAuthors CHMYear CHMPublish CHMLoc:
NO 201 principles of software development Davis, A. M. 1995 --- --- --- --- ---
NO Abstract Interpretation of Declarative Languages S. Abramsky and C. Hankin, Eds. 1987 --- --- --- --- ---
YES Advanced Computer Architecture Kain, R. Y. 1995 Advanced Computer Architecture
A Systems Design Approach 		Kain, Richard Y. 1995 Prentice-Hall MF126: VS
YES Advances in Computer Architecture Myers, G. J. 1982 Advances in Computer Architecture Myers, Glenford J. 1978 John Wiley MF126: VS
NO Algebraic structure theory of sequential machines (Prentice-Hall international series in applied mathematics) Hartmanis, J. 1966 --- --- --- --- ---
NO Algol-60 Implementation Randall, B. and Russell, L. J. 1964 --- --- --- --- ---
NO ALGOL-like Languages, Volume 1 P. W. O'Hearn and R. D. Tennent, Eds. 1997 --- --- --- --- ---
NO Algorithmic Program DeBugging Shapiro, E. Y. 1983 --- --- --- --- ---
NO Algorithms for clustering data Jain, A. K. and Dubes, R. C. 1988 --- --- --- --- ---
NO Anatomy of LISP Allen, J. 1978 --- --- --- --- ---
YES? APL Gilman, L. and Rose, A. J. 1976 APL\360: An Interactive Approach Gilman, Leonard and Rose, Allen J. 1970 John Wiley & Sons, Inc. MF126: VS
NO APL and insight Berry, P. 1978 --- --- --- --- ---
YES APL Programming and Computer Techniques Katzan, H. 1970 APL Programming and Computer Techniques Katzan, Harry Jr. 1970 Van Nostrand Reinhold MF126: VS
NO APL Reference Manual Edition Pakin, S. 1972 --- --- --- --- ---
NO Apple II Manual none none --- --- --- --- ---
NO APPLE II reference manual Espinosa, C. 1979 --- --- --- --- ---
NO Applications of spatial data structures Samet, H. 1990 --- --- --- --- ---
NO Applied software measurement Jones, C. 1991 --- --- --- --- ---
NO Approximations for Digital Computers Hastings, C. 1955 --- --- --- --- ---
NO The Architecture of Concurrent Programs Hansen, P. B. 1977 --- --- --- --- ---
NO The art of simulation Tocher, K. D. 1967 --- --- --- --- ---
NO The art of systems architecting Rechtin, E. and Maier, M. W. 1997 --- --- --- --- ---
YES Artificial intelligence Rich, E. 1983 Artificial Intelligence Rich, Elaine 1983
MF45
NO Assem Lang Prog for C64 Commodore 1984 --- --- --- --- ---
YES Asynchronous Sequential Switching Circuits Unger, S. H. 1983 Asynchronous Sequential Switching Circuits Unger, Stephen H. 1969 Wiley-Interscience MF126: VS
NO Auerbach Data Processing Management Library Auerbach 1982 --- --- --- --- ---
NO Automata, Languages, and Machines Eilenberg, S. 1974 --- --- --- --- ---
NO Automated theorem proving Loveland, D. W. 1978 --- --- --- --- ---
NO Automatic Information Organization and Retrieval. Salton, G. 1968 --- --- --- --- ---
NO Automatic text processing: the transformation, analysis, and retrieval of information by computer Salton, G. 1989 --- --- --- --- ---
NO Automating Knowledge Acquisition for Expert Systems Marcus, S. 1988 --- --- --- --- ---
YES Basic Computer Games Ahl, D. H. 1978 Basic Computer Games Ahl, David H. 1978 Workman Publishing, New York MF126,VS
NO BBN Report 1822: Specification for the Interconnection of a host and and IMP none none --- --- --- --- ---
YES Bit by Bit Augarten, S. 1984 Bit by Bit,
An Illustrated History of Computers 		Augarten, Stan 1984 Ticknor & Fields - a Houghton Mifflin Co. MF-126-VS
NO Build Your Own Z80 Computer Ciarcia, S. 1980 --- --- --- --- ---
NO Building a secure computer system Gasser, M. 1988 --- --- --- --- ---
NO Building an optimizing compiler Morgan, R. 1998 --- --- --- --- ---
NO Building expert systems Hayes-Roth, F., Waterman, D. A., and Lenat, D. B. 1983 --- --- --- --- ---
NO The Buroughs B5500 Extended ALGOL reference manual none none --- --- --- --- ---
NO The Burroughs 5500 computer architecture none none --- --- --- --- ---
NO C in Plain English Overland, B. 1995 --- --- --- --- ---
NO C through design Defenbaugh, G. 1988 --- --- --- --- ---
NO C++ IOStreams Handbook Teale, S. 1993 --- --- --- --- ---
YES The Cambridge CAP computer and its operating system (Operating and programming systems series) Wilkes, M. V. 1979 The Cambridge CAP Computer and Its Operating System Wilkes, M.V., & Needham, R.M. 1979 North Holland MF126: vs
YES Capability-Based Computer Systems Levy, H. M. 1984 Capability-Based Computer Systems Levy, Henry M. 1984 Digital Press MF126: VS
YES Cellular Automata Codd, E. F. 1968 Cellular Automata Codd, E. F. 1968 Academic Press, Inc. MF126:VS
NO Classics in Software Engineering Yourdon, E. 1979 --- --- --- --- ---
NO Combinatorial Algorithms Reingold, E. M. 1977 --- --- --- --- ---
NO Combinatorial optimization: algorithms and complexity Papadimitriou, C. H. and Steiglitz, K. 1982 --- --- --- --- ---
YES Common Lisp Steele, G. 1990 Common LISP Steele, Guy L. Jr. 1984 Digital Press MF126: vs
NO Common LISP: a gentle introduction to symbolic computation Touretzky, D. S. 1990 --- --- --- --- ---
YES Common LISP: the language Steele, G. L. 1984 Common Lisp: The Language Steele, guy L. Jr. 1984 Digital Press MF126: VS
NO Communication and concurrency Milner, R. 1989 --- --- --- --- ---
YES Communication nets; stochastic message flow and delay Kleinrock, L. 1972 Communication Nets
Stochastic Message Flow and Delay 		Kleinrock, Leonard 1964 Lincoln Laboratory Publications MF126: VS
NO The Compatible Time-Sharing System Corbató, F. J. 1963 --- --- --- --- ---
NO Compiler Construction Bauer, F. L. and Eickel, J. 1976 --- --- --- --- ---
NO Compiler construction Wirth, N. 1996 --- --- --- --- ---
YES Compiler Construction Waite, W. M. and Goos, G. 1985 Compiler Construction Waite, William M. & Goos, Gerhard 1983 Springer-Verlag MF126: vs
NO Compiler Design Theory Lewis, P. M., Rosenkrantz, D. J., and Stearns, R. E. 1976 --- --- --- --- ---
YES Composite/Structured Design Myers, G. J. 1978 Composite/Structured Design Myers, Glenford J. 1978 Van Nostrand Reinhold Company MF126: VS
NO Comprehensive C Spuler, D. 1992 --- --- --- --- ---
NO Comprehensive standard Fortran programming (Hayden computer programming series) Haag, J. N. 1969 --- --- --- --- ---
YES Computation: Finite and Infinite Machines Minsky, M. L. 1967 Computation: Finite and Infinite Machines Minsky, Marvin 1967 Prentice-Hall MF126: VS
NO Computational Aspects of VLSI Ullma, J. D. 1984 --- --- --- --- ---
NO A computational logic handbook Boyer, R. S. and Moore, J. S. 1988 --- --- --- --- ---
NO Computer and the Brain Neumann, J. V. 1958 --- --- --- --- ---
NO Computer Approximations none none --- --- --- --- ---
NO Computer Arithmetic Hwang, K. 1979 --- --- --- --- ---
NO Computer careers; planning, prerequisites, potential Maniotes, J. 1974 --- --- --- --- ---
NO Computer Data Structures Pfaltz, J. L. 1977 --- --- --- --- ---
NO Computer design development none none --- --- --- --- ---
YES Computer Engineering; A DEC View of Hardware Systems Design Bell, C. G., McNamara, J. E., and Mudge, J. C. 1978 Computer Engineering
A DEC View of Hardware Systems Design 		Bell, C. Gordon & Mudge, J. Craig & McNamara, John E. 1978 DIGITAL Press MF126: VS
NO Computer Fraud and Countermeasures Krauss, L. I. and MacGahar, A. 1979 --- --- --- --- ---
YES Computer Lib/Dream Machines Nelson, T. H. 1987 Computer Lib
Dream Machines 		Nelson, Ted 1987 Microsoft Press MF126: vs
NO Computer Mathematics Conrad, C. L., Conrad, N. J., and Higley, H. B. 1975 --- --- --- --- ---
NO Computer Methods for Mathematical Computations Forsythe, G. E., Malcolm, M. A., and Moler, C. B. 1977 --- --- --- --- ---
YES Computer Power and Human Reason Weizenbaum, J. 1976 Computer Power and Human Reason
From Judgement to Calculation 		Weizenbaum, Joseph 1976 Freeman MF126: vs
YES Computer Semantics Lee, J. A. 1978 Computer Semantics Lee, John A. N. 1972 Van Nostrand Reinhold MF126: VS
YES Computer Sorting Flores, I. 1969 Computer Sorting Flores, Ivan 1969 Prentice-Hall MF126: VS
YES Computer structures Bell, C. G. and Newell, A.C. 1971 Computer Structures: Readings and Examples Bell, C. Gordon ; Newell, Allen 1971 McGraw-Hill book Company
YES Computer Structures Siewiorek, D. P., Bell, G., and Newell, A. C. 1982 Computer Structures: Principles and Examples Siewiorek, Daniel P.; Bell, Gordon C.; Newell, Allen 1982 McGraw-Hill Book Company MF126: VS
YES Computer system organization Organick, E. I. 1973 Computer System Organization
the B5700/B6700 Series 		Organick, Elliott I. 1973 Academic Press MF126: vs
NO Computer systems performance management and capacity planning Cady, J. and Howarth, B. 1990 --- --- --- --- ---
YES Computers and the human mind, (Science study series) Fink, D. G. 1966 Computers and the Human Mind
An Introduction to Artifical Intelligence 		Fink, Donald G. 1966 Doubleday Anchor MF126: VS
NO Computing Naur, P. 1992 --- --- --- --- ---
NO Computing in Statistical Science through APL Anscombe, F. J. 1990 --- --- --- --- ---
YES Concurrency control and recovery in database systems Bernstein, P. A., Hadzilacos, V., and Goodman, N. 1987 Concurrency Control and Recovery in Database Systems Bernstein, P.A.; Hadzilacos, V.'; Goodman, N. 1987 Addison Wesley MF126:VS
NO Concurrent programming in ERLANG (2nd ed.) Virding, R., Wikström, C., and Williams, M.; J. Armstrong, Ed. 1996 --- --- --- --- ---
YES Compiler Construction for Digital Computers Gries, D. 1971 Compiler Construction for Digital Computers Gries, David 1971 John Wiley & Sons, Inc. MF126: VS
NO Content Addressable Parallel Processors Foster, C. C. 1976 --- --- --- --- ---
NO Coordinated computing: tools and techniques for distributed software Filman, R. E. and Friedman, D. P. 1984 --- --- --- --- ---
NO Counter-Free Automata (M.I.T. research monograph no. 65) McNaughton, R. and Papert, S. A. 1971 --- --- --- --- ---
NO The Craft of Programming Reynolds, J. C. 1981 --- --- --- --- ---
NO Cryptography and Data Security Denning, D. E. 1982 --- --- --- --- ---
NO D-BASE II Ratliff, C. W. --- --- --- --- ---
NO Data Structure Techniques Standish, T. A. 1980 --- --- --- --- ---
NO Data structures (Computer science series) Elson, M. 1975 --- --- --- --- ---
NO Database: structured techniques for design, performance, and management (2nd ed.) Atre, S. 1988 --- --- --- --- ---
NO DEC VAX Security Users Manual none none --- --- --- --- ---
NO The Denotational Description of Programming Languages Gordon, M. J. 1979 --- --- --- --- ---
NO Denotational Semantics Stoy, J. E. 1977 --- --- --- --- ---
NO Denotational semantics: a methodology for language development Schmidt, D. A. 1986 --- --- --- --- ---
NO The Design and Analysis of Computer Algorithms Aho, A. V. and Hopcroft, J. E. 1974 --- --- --- --- ---
NO The design and analysis of spatial data structures Samet, H. 1990 --- --- --- --- ---
YES The Design and Construction of Compilers Hunter, R. 1990 The Design and Construction of Compilers Hunter, Robin 1981 Wiley MF126: vs
NO The design and evaluation of a high performance Smalltalk system Ungar, D. M. 1987 --- --- --- --- ---
NO The design and implementation of the 4.3BSD UNIX operating system A. P. Stettner, Ed. 1988 --- --- --- --- ---
NO Design of a Computer—The Control Data 6600 Thornton, J. E. 1970 --- --- --- --- ---
NO The Design of an Optimizing Compiler Wulf, W. A., Johnsson, R. K., Weinstock, C. B., Hobbs, S. O., and Geschke, C. M. 1975 --- --- --- --- ---
YES Design of Real-Time Computer Systems Martin, J. 1967 Design of Real-Time Computer Systems Martin, James 1967 Prentice-Hall MF126: VS
NO The devil's DP dictionary Kelly-Bootle, S. 1981 --- --- --- --- ---
YES Digital Computer Principles Irwin, W. 1960 Digital Computer Principles Irwin, Wayne C. 1960 D. Van Nostrand Company MF126: VS
YES Digital Computer Programming McCracken, D. D. 1957 Digital Computer Programming McCracken, Daniel D. 1961 John Wiley & Sons, Inc MF126: VS
NO Digital Networks and Computer Systems Booth, T. L. 1971 --- --- --- --- ---
NO Digital Picture Processing Rosenfeld, A. and Kak, A. C. 1982 --- --- --- --- ---
NO Digital Research CP/M® Operating System Manual none none --- --- --- --- ---
NO Discrete Mathematics none none --- --- --- --- ---
NO Dynamic information and library processing Salton, G. 1975 --- --- --- --- ---
NO The ecology of computation B. A. Huberman, Ed. 1988 --- --- --- --- ---
NO Elementary induction on abstract structures (Studies in logic and the foundations of mathematics) Moschovakis, Y. N. 1974 --- --- --- --- ---
NO Elementary Pascal Singer, A. and Ledgard, H. 1982 --- --- --- --- ---
NO Elements of Networking Style Padlipsky, M. A. 1984 --- --- --- --- ---
NO The Elements of Programming Style Kernighan, B. W. and Plauger, P. J. 1982 --- --- --- --- ---
NO Elements of Software Science Halstead, M. H. 1977 --- --- --- --- ---
NO Embodiments of Mind McCulloch, W. S. 1988 --- --- --- --- ---
YES? Engineering a Compiler Anklam, P., Cutler, Heinen, and MacLaren 1982 Engineering a Compiler,
Vax-11 Code Generation and Optimization 		Anklam, Patricia; Cutler, David; Heinen, Roger; MacLaren,M. Donald none Digital MF-126-VS
NO Essays in computing science Hoare, C. A.; C. B. Jones, Ed. 1989 --- --- --- --- ---
NO Essays on object-oriented software engineering (vol. 1) Berard, E. V. 1993 --- --- --- --- ---
NO Essential systems analysis McMenamin, S. M. and Palmer, J. F. 1984 --- --- --- --- ---
NO Estimating software costs Jones, T. C. 1998 --- --- --- --- ---
NO Estimation of Dependences Based on Empirical Data Vapnik, V. 1982 --- --- --- --- ---
NO Etudes for Programmers Wetherell, C. 1978 --- --- --- --- ---
NO Exploiting chaos Olson, D. 1993 --- --- --- --- ---
YES Extrapolation, Interpolation, and Smoothing of Stationary Time Series Wiener, N. 1964 Extrapolation, Interpolation, and Smoothing of Stationary Time Series Wiener, Norbert 1950 wiley MF126: vs
NO Faster Than Thought: A Symposium on Digital Computing Machines B. V. Bowden, Ed. 1953 --- --- --- --- ---
NO First draft of a report on the EDVAC Newmann, J. v. 1945 --- --- --- --- ---
NO First Glossary of Computer Terminology none none --- --- --- --- ---
NO Flow Analysis of Computer Programs Hecht, M. S. 1977 --- --- --- --- ---
NO FLOW-MATIC Programming (Univac I and II) none none --- --- --- --- ---
NO Formal Languages and Their Relation to Automata Hopcroft, J. E. and Ullman, J. D. 1969 --- --- --- --- ---
NO Forth Encyclopedia Baker, D. . 1983 --- --- --- --- ---
YES Fortran McCracken, D. D. 1967 FORTRAN with Engineering Applications McCracken, Daniel D. 1967 John Wiley & Sons, Inc. MF126: VS
NO FORTRAN Automatic Coding System for the IBM 704 Data Processing System Hughes, R. A. and Nutt, R. 1958 --- --- --- --- ---
NO The Fortran Automatic Coding System for the IBM 704 EDPM Backus, J. W. 1956 --- --- --- --- ---
NO A FORTRAN Coloring Book Kaufman, R. E. 1978 --- --- --- --- ---
YES FORTRAN IV with WATFOR and WATFIV Cress, P., Dirksen, P., and Graham, J. W. 1970 Fortran IV with WATFOR and WATFIV Cress, Paul & Dirksen,Paul & Graham, J. Wesley 1970 Prentice-Hall MF126: vs
YES A FORTRAN primer (Addison-Wesley series in computer science and information processing) Organick, E. I. 1963 A Fortran Primer Organick, Elliott I. 1963 Addison-Wesley MF126: vs
NO FORTRAN with Style Ledgard, H. F. and Chmura, L. J. 1978 --- --- --- --- ---
NO Fortran: Automatic Coding System for the IBM 704 EDPM Backus, J. W., Beeber, R. J., Best, S., Goldberg, R., Herrick, H. L., Hughes, R. A., Mitchell, L. B., Nelson, R. A., Nutt, R., Sayre, D., Sheridan, P. B., Stern, H., and Ziller, L. --- --- --- --- ---
YES From Baker Street to Binary Ledgard, H. F., McQuaid, P. E., and Singer, A. 1983 From Baker Street to Binary Ledgard, Henry; McQuaid, E. Patrick; Singer, Andrew 1983 McGraw-Hill Book Company MF126: VS
NO Fundamental Structures of Computer Science Wulf, W. A., Flon, L., Shaw, M., and Hilfinger, P. 1981 --- --- --- --- ---
NO Fundamentals of Applied Probability Theory Drake, A. W. 1967 --- --- --- --- ---
NO Fundamentals of Computer Alori Horowitz, E. and Sahni, S. 1978 --- --- --- --- ---
NO Fundamentals of data structures in PASCAL Horowitz, E. and Sahni, S. 1984 --- --- --- --- ---
NO Fundamentals of programming languages (2nd ed.) Horowitz, E. 1984 --- --- --- --- ---
YES Giant brains; or, Machines that think Berkeley, E. C. 1955 Giant Brains or Machines that Think Berkeley, Edmund Callis 1949 John Wiley & Son, Inc
NO Graph theory Christofides, N. 1975 --- --- --- --- ---
NO Graph Theory With Applications Bondy, J. A. 1976 --- --- --- --- ---
NO Graph Theory with Applications to Engineering and Computer Science (Prentice Hall Series in Automatic Computation) Deo, N. 1974 --- --- --- --- ---
NO Graphs and Hypergraphs Berge, C. 1985 --- --- --- --- ---
YES A Guide to FORTRAN IV Programming McCracken, D. D. 1965 Guide to Fortran IV Programming, A McCracken, Daniel D. 1972 John Wiley & Sons, Inc. MF126: VS
YES Guide to IBM 1401 Programming McCracken, D. D. 2000 Guide to IBM 1401 Programming, A McCracken, Daniel D. 1963 John Wiley & Sons, Inc. MF126: VS
NO Handbook for Automatic Computation Wilkinson, J. H., Rinsch, C., and Bauer, F. L. 1986 --- --- --- --- ---
YES Handbook of Artificial Intelligence Barr, A.; E. A. Feigenbaum, Ed. 1986 The Handbook of Artificial Intelligence Barr, Avron & Feigenbaum, Edward 1982 Addison Wesley
NO Handbook of software reliability and system reliability M. R. Lyu, Ed. 1996 --- --- --- --- ---
NO Heuristics: intelligent search strategies for computer problem solving Pearl, J. 1984 --- --- --- --- ---
YES History of Programming Languages R. L. Wexelblat, Ed. 1981 History of Programming Languages Wexelblat, Richard L. 1981 Academic Press MF126: VS
NO How to Solve It by Computer Dromey, R. G. 1982 --- --- --- --- ---
NO Human Problem Solving Newell, A. 1972 --- --- --- --- ---
NO The IBM 1620 computer manuals none none --- --- --- --- ---
NO IBM Personal Computer Seminar Proceedings, May, 1985 none none --- --- --- --- ---
NO IBM Personal Computer Technical Reference Manual none none --- --- --- --- ---
NO IBM System/360 Principles of Operation, Form No. A22-6821 none none --- --- --- --- ---
NO IBM/360 Scientific Subroutine Package Version 3 none none --- --- --- --- ---
NO IBM: APL/360 primer: Student text Berry, P. 1969 --- --- --- --- ---
NO Ichbiah, Barnes, and Firth on ADA Ichbiah, J. D. 1984 --- --- --- --- ---
NO Image Analysis and Mathematical Morphology Serra, J. 1983 --- --- --- --- ---
NO The Implementation of Functional Programming Languages (Prentice-Hall International Series in Computer Series) Peyton Jones, S. L. 1987 --- --- --- --- ---
NO Independent verification & validation Lewis, R. O. 1992 --- --- --- --- ---
YES Informal Introduction to Algol 68 Lindsey, C. 1977 Informal Introduction to ALGOL 68 Lindsey, C. H. and van der Meulen, S. G. 1971 North-Holland MF126: VS
NO Information in business and administrative systems Stamper, R. 1973 --- --- --- --- ---
NO Information Mechanics Kantor, F. W. 1977 --- --- --- --- ---
NO The INGRES papers: anatomy of a relational database system M. Stonebraker, Ed. 1986 --- --- --- --- ---
NO Inside Macintosh Rose, C. and Hacker, B. 1986 --- --- --- --- ---
NO Intel 960 Extended Architecture Programmer's Ref. Manual none none --- --- --- --- ---
NO Interpreting machines Organick, E. I. 1978 --- --- --- --- ---
NO Introduction to ALGOL (Prentice-Hall series in automatic computation) Baumann, R. 1964 --- --- --- --- ---
NO An introduction to APL for scientists and engineers Iverson, K. E. 1976 --- --- --- --- ---
NO Introduction to Computability Hennie, F. C. 1977 --- --- --- --- ---
YES Introduction to Computer Architecture Stone, H. S. 1980 Introduction to Computer Architecture Stone, Harold S. 1975 Science Research Associates, Inc. MF126: VS
YES An introduction to digital computing Arden, B. W. 1962 An Introduction to Digital Computing Arden, Bruce W. 1963 Addison-Wesley MF-126-VS
NO Introduction to Discrete Structures for Computer Science and Engineering Preparata, F. P. and Yeh, R. T. 1973 --- --- --- --- ---
NO Introduction to Formal Language Theory Harrison, M. A. and Harrison, M. A. 1978 --- --- --- --- ---
NO Introduction to Mathematical Machine Theory Ginsburg, S. 1982 --- --- --- --- ---
NO Introduction to mathematical techniques in pattern recognition Andrews, H. C. 1983 --- --- --- --- ---
NO Introduction to mathematical theory of computation Manna, Z. 1972 --- --- --- --- ---
YES? An introduction to microcomputers Osborne, A. 1978 An Introduction to Microcomputers
Volume 0 - The Beginner's Book 		Osborne, Adam & Bunnell, David 1982 McGraw-Hill MF126: vs
NO Introduction to Modern Information Retrieval Salton, G. and McGill, M. J. 1986 --- --- --- --- ---
NO Introduction to Operation Systems Design Habermann, A. N. 1976 --- --- --- --- ---
NO Introduction to PL360 Programming Guertin, R. L. 1977 --- --- --- --- ---
NO Introduction to probabilistic automata (Computer science and applied mathematics) Paz, A. 1971 --- --- --- --- ---
NO Introduction to Solid Modeling Mantyla, M. 1988 --- --- --- --- ---
NO An Introduction to the Study of Programming Languages Barron, D. W. 1977 --- --- --- --- ---
NO Introduction to the theory of programming languages Meyer, B. 1990 --- --- --- --- ---
YES Introduction to VLSI Systems Mead, C. and Conway, L. 1979 Introduction to VLSI Systems Mead, Carver and Conway, Lynn copyright1980 Addison Wesley MF45: Office
NO ITS 1.5 Reference Manual Eastlake, D. E. 1969 --- --- --- --- ---
NO Key B1700 Architecture none none --- --- --- --- ---
NO Key Burroughs B5000 / B5500 / B6500 / B6700 Architecture Manuals none none --- --- --- --- ---
NO Knowledge Discovery in Databases Piateski, G. and Frawley, W. 1991 --- --- --- --- ---
NO Language and Machines Pierce, J. R. and Carroll, J. B. 1966 --- --- --- --- ---
NO Language As a Cognitive Process Winograd, T. 1982 --- --- --- --- ---
YES The language of computers Galler, B. A. 1962 The Language of Computers Galler, Bernard A. 1962 McGraw-Hill Book Company, Inc. MF126: VS
NO The language of machines Floyd, R. W. and Beigel, R. 1994 --- --- --- --- ---
NO Libraries of the Future Licklider, J. C. 1965 --- --- --- --- ---
NO Life with UNIX: a guide for everyone Libes, D. and Ressler, S. 1989 --- --- --- --- ---
NO LISP 1.5 primer (Dickenson series in computer and information science) Weissman, C. 1967 --- --- --- --- ---
YES The little LISPer Friedman, D. P. and Felleisen, M. 1987 Little LISPer, The Friedman, Daniel P. 1974 Science Research Associates, Inc. MF126: VS
YES Logic Design Langdon, G. G. 1974 Logic Design
a Review of Theory and Practice 		Langdon, Blen G. Jr. 1974 Academic Press MF126: VS
YES Logic for problem-solving Kowalski, R. 1986 Logic for Problem Solving Kowalski, Robert 1979 North Holland MF126: VS
YES The logic of computer arithmetic Flores, I. 1963 The Logic of Computer Arithmetic Flores, Ivan 1963 Prentice-Hall MF126: VS
YES The Logical Design of Operating Systems Shaw, A. C. 1974 The Logical Design of Operating Systems Shaw, Alan C. 1974 Prentice-Hall MF126: VS
NO LUCID, the dataflow programming language Wadge, W. W. and Ashcroft, E. A. 1985 --- --- --- --- ---
NO Machine-independent computer programming Halstead, M. H. 1962 --- --- --- --- ---
NO Machines, Languages and Computation Denning, P. J., Dennis, J. B., and Qualitz, J. E. 1978 --- --- --- --- ---
NO MacIntosh Human Interface Guidelines Apple Computer Inc. 1992 --- --- --- --- ---
NO MacPaint 1.0 manual none none --- --- --- --- ---
NO The macro implementation of SNOBOL4; Griswold, R. E. 1972 --- --- --- --- ---
NO Management Information Systems Davis, G. B. 1974 --- --- --- --- ---
NO Management Information Systems Handbook Hartman, W., Matthes, H., and Proeme, A. 1968 --- --- --- --- ---
NO A Management System for Information Systems none none --- --- --- --- ---
NO Mark III Manual none none --- --- --- --- ---
NO The mathematical foundations of learning machines Nilsson, N. J. 1990 --- --- --- --- ---
NO The Mathematical Theory of Context-Free Languages Ginsburg, S. 1966 --- --- --- --- ---
NO A mathematical theory of global program optimization (Prentice-Hall series in automatic computation) Schaefer, M. 1973 --- --- --- --- ---
NO Methods and Applications of Interval Analysis (SIAM Studies in Applied and Numerical Mathematics) (Siam Studies in Applied Mathematics, 2.) Moore, R. E. and Bierbaum, F. 1979 --- --- --- --- ---
NO Michigan Algorithmic Decoder Reference Manual none none --- --- --- --- ---
NO Microcomputer architecture and programming: 68000 version Wakerly 1988 --- --- --- --- ---
NO Minds and Machines Anderson 1964 --- --- --- --- ---
YES Mindstorms Papert, S. 1980 Mind-Storms: Children, Computers, and Powerful Ideas Papert, Seymour 1980 Basic Books, Inc. / Harper Colophon MF126: VS
NO Multics Storage System Program Logic Manual none none --- --- --- --- ---
YES? The Multics System Organick, E. I. 1972 The Multics System:
An Examination of Its Structure 		Organick, Elliott I. 1981 MIT Press MF126: vs
NO A Narrative Description of the Burroughs B5500 Master Control Program none none --- --- --- --- ---
NO Nature of Computation Pohl, I. and Shaw, A. 1981 --- --- --- --- ---
NO New Theories for new learnings (LOGO memo) Papert, S. 1984 --- --- --- --- ---
NO Numerical Methods with Fortran IV Case Studies Dorn, W. S. and McCracken, D. D. 1972 --- --- --- --- ---
NO Obfuscated C and other mysteries Libes, D. 1993 --- --- --- --- ---
NO Object oriented programming: an evolutionary approach Cox, B. J. 1986 --- --- --- --- ---
NO Object-Oriented Interface Design none none --- --- --- --- ---
NO Object-oriented programming with C++ and Smalltalk Drake, C. 1998 --- --- --- --- ---
NO Occam Programming Manual Corp, I. 1984 --- --- --- --- ---
NO Oh! Pascal! Cooper, D. and Clancy, M. J. 1985 --- --- --- --- ---
NO Olivetti Underwood Programma 101 General Reference Manual none none --- --- --- --- ---
NO On LISP Graham, P. 1993 --- --- --- --- ---
NO Open Implementations and Metaobject Protocols Kiczales, G., Paepcke, A., and Kiczales, G. 1994 --- --- --- --- ---
NO Operating System Principles Hansen, P. B. 1973 --- --- --- --- ---
YES Operating systems Tsichritzis, D. C. 1974 Operating Systems Tsichritzis, Dionysios C. and Bernstein, Philip A. 1974 Academic Press MF126: VS
YES Operating Systems Madnick, S. E. and Donovan, J. J. 1974 Operating Systems Madnick, Staurt E. and Donovan, John J. 1974 McGraw-Hill Book Company MF126: VS
YES Operating Systems Theory Coffman, E. G. and Denning, P. J. 1973 Operating Systems Theory Coffman, Edward G. & Denning, Peter J. 1973 Prentice-Hall MF126: VS
NO PAL, programmable array logic, handbook Birkner, J. M. 1983 --- --- --- --- ---
YES Pascal-User Manual and Report Jensen, K. and Wirth, N. 1975 Pascal - User Manual and Report Jensen, Kathleen
Wirth, Niklaus 		1978 Springer-verlag MF126: VS
NO PC Roadkill Hyman, M. 1995 --- --- --- --- ---
NO PDP-11 Handbook none none --- --- --- --- ---
NO PDP-8 Manual none none --- --- --- --- ---
NO The PDP-8/e Small Computer Handbook none none --- --- --- --- ---
NO Perceptrons none none --- --- --- --- ---
NO Perspectives on the computer revolution Z. W. Pylyshyn and L. J. Bannon, Eds. 1989 --- --- --- --- ---
NO Peter Norton's Assembly Language Book for the IBM PC, Revised and Expanded Norton, P. and Socha, J. 1989 --- --- --- --- ---
NO Pgm DeBugging Brown, A. R. and Sampson, W. A. 1973 --- --- --- --- ---
NO PL/I Language Log none none --- --- --- --- ---
NO Planning a computer system: Project Stretch Buchholz, W. 1962 --- --- --- --- ---
NO A Practical Guide to Algol 68 (Wiley Series in Computing) Pagan, F. G. 1976 --- --- --- --- ---
YES The Preparation of Programs for an Electronic Digital Computer (Charles Babbage Institute Reprint) Wilkes, M. V., Wheeler, D. J., and Gill, S. 1984 The Preparation of Programs for an Electronic Digital Computer Wilkes, Maurice B. 1982 Tomash Publishers
NO Prime 50 Series Architecture Manual none none --- --- --- --- ---
NO Primer of Algol 60 Programming Dijkstra, E. W. 1962 --- --- --- --- ---
NO Principles of Concurrent Programming Ari, B. and Ben-Ari, M. 1982 --- --- --- --- ---
YES Principles of interactive computer graphics (2nd ed.) Newman, W.M. and Sproull, R. F. 1979 Principles of Interactive Computer Graphics Newman, William M. and Sproull, Robert F. 1979 McGraw-Hill MF126: vs
NO Principles of Program Design Jackson, M. A. 1975 --- --- --- --- ---
YES Principles of Programming Languages Tennent, R. D. 1981 Principles of Programming Languages Tennent, R. D. 1981 Prentice-Hall MF126: vs
NO Probability, Statistics, and Queueing Theory with Computer Science Applications Allen, A. O. 1978 --- --- --- --- ---
YES Problem-Solving Methods in Artificial Intelligence Nilsson, N. J. 1971 Problem-Solving Methods in Artificial Intelligence Nilsson, Nils J. copyright1971 McGraw-Hill Book Company MF45: Office
NO Program Flow Analysis Muchnick, S. S. and Jones, N. D. 1981 --- --- --- --- ---
NO The programmer's apprentice Rich, C. and Waters, R. C. 1990 --- --- --- --- ---
NO The Programmer's CP/m Handbook Johnson-Laird, A. 1983 --- --- --- --- ---
NO A Programmer's Geometry Bowyer, A. and Woodwark, J. 1983 --- --- --- --- ---
NO Programmers at Work Lammers, S. M. 1986 --- --- --- --- ---
NO Programming for an automatic digital calculator Booth, K. H. 1958 --- --- --- --- ---
NO Programming from specifications (2nd ed.) Morgan, C. 1994 --- --- --- --- ---
YES Programming in Modula-2 Wirth, N. 1983 Programming in Modula-2 Wirth, Niklaus 1984 Springer-Verlag MF126: vs
NO Programming in Oberon Reiser, M. and Wirth, N. 1992 --- --- --- --- ---
NO Programming language structures Organick, E. I. 1978 --- --- --- --- ---
YES A Programming Language Iverson, K. E. 1962 A Programming Language Iverson, Kenneth E. 1962 John wiley and Sons
NO Programming Languages Sammet, J. E. 1969 --- --- --- --- ---
YES Programming languages and their compilers Cocke, J. 1969 Programming Languages and Their Compilers Cocke, John and J.T. Schwartz 1970 New York University, Courant Institute of Mathematical Sciences MF45: Office
YES Programming Languages, Information Structures, and Machine Organization Wegner, P. 1968 Programming Languages, Information Structures, and Machine Organization Wegner, Peter 1968 McGraw-Hill MF126: VS
NO Programming languages: an interpreter-based approach Kamin, S. N. 1990 --- --- --- --- ---
NO Programming Paradigms in LISP Sangal, R. 1990 --- --- --- --- ---
NO Programming productivity Jones, C. 1986 --- --- --- --- ---
NO Programming Systems and Languages. Saul, R. 1967 --- --- --- --- ---
NO Programming the 6502 Zaks, R. 1979 --- --- --- --- ---
YES Programming the IBM 360 Germain, C. B. 1967 Programming the IBM 360 Germain, Clarence B. 1967 Prentice-Hall MF126: VS
YES Programming the IBM 650 magnetic drum computer and data-processing machine Andree, R. V. 1958 Programming the IBM 650 Magnetic Drum Computer and Data-Processing Machine Andree, Richard V. 1958 Holt, Rinehart & Winston
NO The Programmming Language LISP none none --- --- --- --- ---
NO Project Oberon Wirth, N. and Gutknecht, J. 1992 --- --- --- --- ---
NO Proofs and types Girard, J., Taylor, P., and Lafont, Y. 1989 --- --- --- --- ---
NO Qualitätsprüfung von Softwareprodukten none none --- --- --- --- ---
NO Quantitative system performance: computer system analysis using queueing network models Lazowska, E. D., Zahorjan, J., Graham, G. S., and Sevcik, K. C. 1984 --- --- --- --- ---
NO Rationale for the design of the Ada programming language Ichbiah, J., Barnes, J., Firth, R., and Woodger, M. 1981 --- --- --- --- ---
NO The RC 4000 Operating System none none --- --- --- --- ---
YES? Real Time Programming Foster, C. C. 1981 Real Time Programming - Neglected Topics Foster, Caxton C. 1982 Addison-Wesley MF126: VS
NO Recursive Descent Compiling Davie, J. T. and Morrison, R. 1982 --- --- --- --- ---
NO The relational model for database management: version 2 Codd, E. F. 1990 --- --- --- --- ---
YES Reliable software through composite design Myers, G. J. 1975 Reliable Software Through Composite Design Myers, Glenford J. 1975 Petrocelli / Charter MF126: VS
NO Revised report on the algorithmic language ALGOL 68 none none --- --- --- --- ---
NO The REXX language: a practical approach to programming Cowlishaw, M. F. 1986 --- --- --- --- ---
YES? Rule Based Expert Systems Buchanan, B. G. and Shortliffe, E. H. 1984 Rule-Based Expert Systems - The MYCIN Experiments of the Stanford Heuristic Programming Project Buchanan, Bruce G.
Shortliffe, Edward H. 		1985 Addison-Wesley MF126: VS
YES The Sachertorte Algorithm and Other Antidotes to Computer Anxiety Shore, J. 1985 The Sachertorte Algorithm
and Other Antidotes to Computer Anxiety 		Shore, John 1985 Viking MF126: VS
NO SDS 940 (XDS 940) Computer Reference Manual none none --- --- --- --- ---
YES Selected Writings on Computing Dijkstra, E. W. 1982 Selected Writings on Computing: A Personal Perspective Dijkstra, Edsger W. 1982 Springer-Verlag MF126: VS
YES Semantic Information Processing Minsky, M. L. 1969 Semantic Information Processing Minsky, Marvin 1968 MIT Press MF126: VS
NO Semiology of graphics Bertin, J. 1983 --- --- --- --- ---
YES Sequential Machines: Selected Papers E. F. Moore, Ed. 1964 Sequential Machines: Selected Papers Moore, Edward F. 1964 Addison-Wesley MF126: VS
NO Shockwave Rider Brunner, J. 1984 --- --- --- --- ---
YES A Simplified Guide to Structured COBOL Programming McCracken, D. D. 1976 A Simplified Guide to Structured COBOL Programming McCracken, Daniel D. and Golden, Donald G. 1988 John Wiley & Sons MF126: VS
NO SIMULA 67 common base language, (Norwegian Computing Center. Publication) Dahl, O. 1968 --- --- --- --- ---
NO Simula Begin Birtwhistle, G., Dahl, O., Myhrhaug, B., and Nygaard, K. 1979 --- --- --- --- ---
NO Sinclair ZX81 Basic programming Vickers, S. 1981 --- --- --- --- ---
NO Sketchpad Sutherland, I. E. 1980 --- --- --- --- ---
NO Small computer systems handbook (Hayden microcomputer series) Libes, S. 1978 --- --- --- --- ---
NO Smalltalk-80: bits of history, words of advice G. Krasner, Ed. 1983 --- --- --- --- ---
NO Smalltalk-80: the interactive programming environment Goldberg, A. 1984 --- --- --- --- ---
YES Smalltalk-80: the language and its implementation Goldberg, A. and Robson, D. 1983 Smalltalk-80
The Language and its Implementation 		Goldberg, Adele & Robson, David 1983 addison-Wesley MF126: VS
NO The SMART Retrieval System—Experiments in Automatic Document Processing Salton, G. 1971 --- --- --- --- ---
YES The SNOBOL4 programming language Griswold, R. E. 1968 The SNOBOL 4 Programming Language Griswold, R.E. & Poage, J. F. & Polonsky 1968 Prentice-Hall MF126: VS
NO Software configuration management: coordination for team productivity Babich, W. A. 1986 --- --- --- --- ---
NO Software creativity Glass, R. L. 1995 --- --- --- --- ---
NO Software Design Peters, L. J. 1981 --- --- --- --- ---
NO Software Design for Microprocessors Wester, J. G. and Simpson, W. D. 1976 --- --- --- --- ---
NO Software Development Jones, C. B. 1980 --- --- --- --- ---
YES Software Engineering P. Naur and B. Randell, Eds. 1969 Software Engineering Naur, Peter and Randell, Brian 1969 NATO MF126: VS
YES Software engineering concepts Fairley, R. 1985 Software Engineering Concepts Fairley, Richard E. 1985 Addison-Wesley MF126: VS
YES Software Engineering Techniques J. N. Buxton and B. Randell, Eds. 1970 Software Engineering Techniques Buxton, J.N. & Randell, B. - Editors 1970 NATO Science Committee MF126: VS
NO Software engineering: reliability, development, and management. Shooman, M. L. 1983 --- --- --- --- ---
NO Software Manual for the Elementary Functions (Prentice-Hall series in computational mathematics) Cody, W. J. 1980 --- --- --- --- ---
YES Software psychology Shneiderman, B. 1980 Software Psychology
Human Factors in Computer and Information Systems 		Shneiderman, Ben 1980 Winthrop Publishers, Inc MF126: VS
NO Software Testing Techniques Beizer, B. 1990 --- --- --- --- ---
NO A software tools sampler Miller, W. 1987 --- --- --- --- ---
NO Specification case studies I. Hayes, Ed. 1987 --- --- --- --- ---
NO Specification of computer programs Turski, W. M. and Maibaum, T. S. 1987 --- --- --- --- ---
NO Starting FORTH Brodie, L. 1980 --- --- --- --- ---
NO Strategies for real-time system specification Hatley, D. J. and Pirbhai, I. A. 1987 --- --- --- --- ---
NO Structure of Computers and Computations Kuck, D. L. 1978 --- --- --- --- ---
NO Structured BASIC programming Kemeny, J. G. and Kurtz, T. E. 1986 --- --- --- --- ---
NO Structured Development for Real-Time Systems Ward, P. T. and Mellor, S. J. 1991 --- --- --- --- ---
YES Structured Programming Dahl, O. J. 1972 Structured Programming Dahl, Dijkstra and Hoare 1973 Academic Press MF45: Office
YES Structured Systems Development Orr, K. T. 1986 Structured Systems Development Orr, Kenneth T. 1977 Yourdon Press MF126: vs
YES Studies in Ada Style Hibbard, P. 1982 Studies in Ada Style Hibbard, Hisgen, ... 1983 Springer-Verlag MF126: vs
YES Supercomputer architecture Schneck, P. B. 1987 Supercomputer Architecture Schneck, Paul B. 1987 Kluwer Academic Publishers MF126: VS
NO Switching and Finite Automata Theory Kohavi, Z.; R. W. Hamming and E. A. Feigenbaum, Eds. 1990 --- --- --- --- ---
NO A symbolic analysis of relay and switching circuits Shannon, C. E. 1938 --- --- --- --- ---
NO System development (Prentice-Hall International series in computer science) Jackson, M. A. 1983 --- --- --- --- ---
YES System-360 Job-Control Language Brown, G. D. 1970 System/360 - Job Control Language Brown, Gary Deward 1970 Wiley MF126: vs
NO Systematic Programming Wirth, N. 1973 --- --- --- --- ---
NO Systems Programming Donovan, J. J. 1972 --- --- --- --- ---
NO Tales of Computing Folk Glass, R. 1978 --- --- --- --- ---
NO TCP\IP Washburn, K. and Evans, J. T. 1993 --- --- --- --- ---
NO Teaching children thinking (LOGO memo) Papert, S. 1971 --- --- --- --- ---
NO Theories of abstract automata (Prentice-Hall series in automatic computation) Arbib, M. A. 1969 --- --- --- --- ---
NO Theory of Automata Salomaa, A. and Sneddon, I. N. 1969 --- --- --- --- ---
NO Theory of Computation Brainerd, W. S. and Landweber, L. H. 1974 --- --- --- --- ---
NO Theory of computation: formal languages, automata, and complexity Brookshear, J. G. 1989 --- --- --- --- ---
NO Theory of Parsing, Translation and Compiling Aho, A. V. and Ullman, J. D. 1973 --- --- --- --- ---
NO The Theory of Parsing, Translation, and Compiling Aho, A. V. and Ullman, J. D. 1972 --- --- --- --- ---
NO Theory of Relational Databases Maier, D. 1983 --- --- --- --- ---
NO Thinking FORTH: a language and philosophy for solving problems Brodie, L. B. 1984 --- --- --- --- ---
NO Threaded Interpretive Languages Loeliger, R. G. 1981 --- --- --- --- ---
NO Time Sharing Computer Systems Wilkes, M. V. 1975 --- --- --- --- ---
YES Timesharing system design concepts (McGraw-Hill computer science series) Watson, R. W. 1970 Timesharing System Design Concepts Watson, Richard W. 1970 McGraw-Hill MF126: VS
NO To compute numerically Pizer, S. M. 1983 --- --- --- --- ---
NO TTL Cookbook Lancaster, D. E. 1974 --- --- --- --- ---
YES TTL Data Book for Design Engineers none none The TTL Data Book for Design Engineers
none Texas Instruments MF45
NO Tutorial on Software Design Techniques Wasserman, A. 1990 --- --- --- --- ---
YES? Understanding Natural Language Winograd, T. 1972 Procedures as a Representation for Data in a
Computer Program for Understanding Natural Language
MAC-TR-84		 Winograd, Terry none
MF126: vs
NO Understanding X.500 Chadwick, D. 1994 --- --- --- --- ---
NO UNIVAC 1108 Processor and Storage, UP-4053 Rev. 1, 1966, 1970 none none --- --- --- --- ---
YES University Education in Computing Science A. Finerman, Ed. 1968 University Education in Computing Science Finerman, Aaron, ed. 1968
MF45
NO UNIX Operating System Christian, K. 1983 --- --- --- --- ---
NO The UNIX philosophy Gancarz, M. 1995 --- --- --- --- ---
NO UNIX Programmer's Supplementary Documents (PSD), 4.4 Berkeley Software Distribution none none --- --- --- --- ---
NO Unix Seventh Edition Manual none none --- --- --- --- ---
NO UNIX system security Wood, P. H. and Kochan, S. G. 1986 --- --- --- --- ---
NO UNIX-Hater Handbook Garfinkle, S., Weise, D., and Strassmann, S. 1994 --- --- --- --- ---
NO USA Standard FORTRAN (USAS X3.9-1966) none none --- --- --- --- ---
NO User's Manual for Level I BASIC none none --- --- --- --- ---
YES VAX/VMS internals and data structures Kenah, L. J. and Bate, S. F. 1984 Vax / VMS Internals and Data Structures Kenah, Lawrence J. and Bate, Simon F. 1984 Digital Press MF126: VS
NO Verification of Safety properties none none --- --- --- --- ---
NO A View of Programming Languages (Addison-Wesley Series in Computer Science and Information Pr) Galler and Perlis 1976 --- --- --- --- ---
NO The way things work book of the computer: an illustrated encyclopedia of information science, cybernetics, and data processing unwinn, A. a. 1974 --- --- --- --- ---
NO What Computing is all About Van de Snepscheut, J. L. 1993 --- --- --- --- ---
NO Windows NT file system internals Nagar, R. 1997 --- --- --- --- ---
YES The wired society Martin, J. 1978 The Wired Society Martin, James 1978 Prentice-Hall Inc.
NO Writing Efficient Programs Bentley, J. L. 1982 --- --- --- --- ---
NO Writings of the Revolution Yourdon, E. 1986 --- --- --- --- ---
NO Zen of code optimization Abrash, M. 1994 --- --- --- --- ---