<html><head> <meta http-equiv="Content-Type" content="text/html"> </head> </p><p> </p> <h1 align="center">CHM holdings of ACM classics</h1> <h3> This page lists ACM Classics and their equivalents if any in the CHM library.<br> Items are classified as: <ul> <li> YES   almost definitely present, <li> YES? possibly present. and <li> NO    probably missing </ul> </h3> <h3> Divided like ACM Classics List into: <a href="#inprint">In Print</a>, <a href="#outprint">OutOfPrint</a></h3> <a name="inprint"> </a> <h3 align="center"> ACM Classics: in print<br>Found = 42, NotFound = 128</h3> <table border="1" cellpadding="5" width="95%"> <thead> <tr> <th width="3%"> FOUND </th> <th width="20%"> ACMTitle: </th> <th width="15%"> ACMAuthor: </th> <th width="3%"> ACMYear: </th> <th width="20%"> CHMTitle: </th> <th width="15%"> CHMAuthors </th> <th width="3%"> CHMYear </th> <th width="10%"> CHMPublish </th> <th width="10%"> CHMLoc: </th> </tr> </thead> <tbody> <tr> <td>YES</td> <td> A Discipline of Programming</td> <td> Dijkstra, E. W.</td> <td> 1997</td> <td> Discipline of Programming, A </td> <td> Dijkstra, Edsger W. </td> <td> 1976</td> <td> Prentice-Hall </td> <td> MF126: VS </td> </tr> <tr> <td>NO</td> <td> A Mathematical Theory of Communication</td> <td> Shannon, C. E. and Weaver, W.</td> <td> 1963</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> A programmer's guide to Common Lisp</td> <td> Tatar, D. G.</td> <td> 1986</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> ACM Turing award lectures: the first twenty years: 1966-1985</td> <td> Ashenhurst, R. L. and Graham, S. Eds.</td> <td> 1987</td> <td> ACM Turing Award Lectures - The First Twenty Years 1966-1985 </td> <td> Ashenhurst, R.L. and Graham, S, Eds. </td> <td> none</td> <td> ACM Press </td> <td> MF126,VS </td> </tr> <tr> <td>NO</td> <td> Abstraction and specification in program development</td> <td> Liskov, B. and Guttag, J.</td> <td> 1986</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Advanced Computer Design</td> <td> Iliffe, J. K.</td> <td> 1982</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Advanced Macromedia ColdFusion MX 7 Application Development</td> <td> Forta, B. and Sargent, S.</td> <td> 2005</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Algebra</td> <td> Chrystal, G.</td> <td> 1916</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Algebraic and Automata-Theoretic Properties of Formal Languages</td> <td> Ginsburg, S.</td> <td> 1975</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Algorithms + Data Structures = Programs</td> <td> Wirth, N.</td> <td> 1978</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Algorithms in C</td> <td> Sedgewick, R.</td> <td> 1990</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> An Introduction to Automatic Computers</td> <td> Chapin, N.</td> <td> 1963</td> <td> Introduction to Automatic Computers, An </td> <td> Chapin, Ned </td> <td> 1963</td> <td> D. Van Nostrand Company, Inc. </td> <td> MF126:VS </td> </tr> <tr> <td>YES</td> <td> An Introduction to Operating Systems</td> <td> Deitel, H. M.</td> <td> 1983</td> <td> An Introduction to Operating Systems </td> <td> Deitel, Harvey M. </td> <td> 1984</td> <td> Addison-Wesley </td> <td> MF126: VS </td> </tr> <tr> <td>YES</td> <td> An Investigation of the Laws of Thought</td> <td> Boole, G.</td> <td> 1958</td> <td> An Investigation of the Laws of Thought </td> <td> Boole, George </td> <td> 1854</td> <td> Dover </td> <td> MF126:VS </td> </tr> <tr> <td>YES?</td> <td> An introduction to database systems (The Systems programming series)</td> <td> Date, C. J.</td> <td> 1977</td> <td> Introduction to Database Systems, An: Volume I </td> <td> Date, C. J. </td> <td> 1982</td> <td> Addison Wesley </td> <td> MF126: VS </td> </tr> <tr> <td>YES</td> <td> An introduction to general systems thinking (silver anniversary ed.)</td> <td> Weinberg, G. M.</td> <td> 2001</td> <td> An Introduction to General Systems Thinking </td> <td> Weinberg, Gerald M. </td> <td> 1975</td> <td> John Wiley </td> <td> MF126: VS </td> </tr> <tr> <td>YES</td> <td> Analog VLSI and neural systems</td> <td> Mead, C.</td> <td> 1989</td> <td> Analog VLSI and Neural Systems </td> <td> Mead, Carver </td> <td> 1989</td> <td> Addison-Wesley </td> <td> MF126: VS </td> </tr> <tr> <td>NO</td> <td> Applied Cryptography</td> <td> Schneier, B.</td> <td> 1993</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Applied combinatorics</td> <td> Roberts, F. S.</td> <td> 1984</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Artificial Intelligence</td> <td> Russell, S. J. and Norvig, P.</td> <td> 2003</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> Artificial intelligence (2nd ed.)</td> <td> Winston, P. H.</td> <td> 1984</td> <td> Artificial Intelligence </td> <td> Winston, Patrick Henry </td> <td> copyright1977</td> <td> Addison-Wesley </td> <td> MF45: Office </td> </tr> <tr> <td>YES</td> <td> Assembler Language Programming</td> <td> Struble, G. W.</td> <td> 1975</td> <td> Assembler Language Programming"<br>The IBM System/360 and 370 </td> <td> Struble, George w. </td> <td> 1975</td> <td> Addison-Wesley </td> <td> MF126: vs </td> </tr> <tr> <td>NO</td> <td> Automata Studies. (AM-34) (Annals of Mathematics Studies)</td> <td> Shannon, C. E. and McCarthy, J.</td> <td> 1956</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> BCPL</td> <td> Richards, M. and Whitby-Strevens, C.</td> <td> 1981</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> C Elements of Style</td> <td> Oualline, S.</td> <td> 1992</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> C++ how to program</td> <td> Deitel, H. M. and Deitel, P. J.</td> <td> 1994</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> C4.5: programs for machine learning</td> <td> Quinlan, J. R.</td> <td> 1993</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Coding and Information Theory</td> <td> Hamming, R. W.</td> <td> 1986</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Coding and information theory (2nd ed.)</td> <td> Hamming, R. W.</td> <td> 1986</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Commodore 64 Programmer's Reference Guide</td> <td> Computers, C.</td> <td> 1982</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Communicating sequential processes</td> <td> Hoare, C. A.</td> <td> 1985</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Compilers: principles, techniques, and tools</td> <td> Aho, A. V., Sethi, R., and Ullman, J. D.</td> <td> 1986</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES?</td> <td> Computer Engineering</td> <td> Bell, C. G.</td> <td> 1998</td> <td> Computer Engineering<br>A DEC View of Hardware Systems Design </td> <td> Bell, C. Gordon & Mudge, J. Craig & McNamara, John E. </td> <td> 1978</td> <td> DIGITAL Press </td> <td> MF126: VS </td> </tr> <tr> <td>NO</td> <td> Computer System Architecture</td> <td> Mano, M. M.</td> <td> 1990</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Computer algebra: symbolic and algebraic computation (2nd ed.)</td> <td> B. Buchberger, G. E. Collins, R. Loos, and R. Albrecht, Eds.</td> <td> 1983</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> Computer architecture and organization; (2nd ed.)</td> <td> Hayes, J. P.</td> <td> 1988</td> <td> Computer Architecture and Organization </td> <td> Hayes, John P. </td> <td> 1978</td> <td> McGraw-Hill </td> <td> MF126: vs </td> </tr> <tr> <td>NO</td> <td> Computer graphics: principles and practice (2nd ed.)</td> <td> Foley, J. D., van Dam, A., Feiner, S. K., and Hughes, J. F.</td> <td> 1990</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Computer organization & design</td> <td> Patterson, D. A. and Hennessy, J. L.</td> <td> 1993</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Computer pioneers</td> <td> Lee, J. A.</td> <td> 1995</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES?</td> <td> Computer programming and architecture: The VAX</td> <td> Levy, H. M. and Eckhouse, R. H.</td> <td> 1989</td> <td> Computer Programming and Architecture: The VAX-11 </td> <td> Levy, Henry M. and Eckhouse Jr., Richard H. </td> <td> 1980</td> <td> digital Press </td> <td> MF126: VS </td> </tr> <tr> <td>NO</td> <td> Computer security</td> <td> Gollmann, D.</td> <td> 1999</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Computers and Intractability</td> <td> Garey, M. R. and Johnson, D. S.</td> <td> 1979</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Computers and Intractability; A Guide to the Theory of NP-Completeness</td> <td> Garey, M. R. and Johnson, D. S.</td> <td> 1990</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> Computers and Thought</td> <td> Feigenbaum, E. A. and Feldman, J.</td> <td> 1963</td> <td> Computers and Thought </td> <td> Feigenbaum, Edward A. & Feldmann, Julian - Editors </td> <td> 1963</td> <td> McGraw-Hill </td> <td> MF126: VS </td> </tr> <tr> <td>YES</td> <td> Conceptual structures: information processing in mind and machine</td> <td> Sowa, J. F.</td> <td> 1984</td> <td> Conceptual Structures<br>Information Processing in Mind and Machine </td> <td> Sowa, John F. </td> <td> 1984</td> <td> Addison-Wesley </td> <td> MF126: vs </td> </tr> <tr> <td>NO</td> <td> Controlling Software Projects</td> <td> DeMarco, T.</td> <td> 1986</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Cooperating Sequential Processes, Technical Report EWD-123</td> <td> Dijkstra, E. W.</td> <td> 1965</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Cryptography</td> <td> Stinson, D. R.</td> <td> 1995</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> Cybernetics: Or Control and Communication in the Animal and the Machine</td> <td> Wiener, N.</td> <td> 2000</td> <td> Cybernetics<br>or Control and Communication in the Animal and the Machine </td> <td> Wiener, Norbert </td> <td> 1948</td> <td> John Wiley </td> <td> MF126: VS </td> </tr> <tr> <td>NO</td> <td> Cybernetics, Second Edition</td> <td> Wiener, N.</td> <td> 1965</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Data Structures and Algorithms</td> <td> Aho, A. V., Hopcroft, J. E., Ullman, J., and Hopcroft, J. E.</td> <td> 1983</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> Data structures and algorithms 3: multi-dimensional searching and computational geometry</td> <td> Mehlhorn, K.</td> <td> 1984</td> <td> Data Structures and algorithms 3: Multi-dimensional Searching and Computational Geometry</td> <td> Mehlhorn, Kurn </td> <td> 1984</td> <td> Springer-Verlag </td> <td> MF126: VS </td> </tr> <tr> <td>NO</td> <td> Decision-making processes in pattern recognition (ACM monograph series)</td> <td> Sebestyen, G. S.</td> <td> 1962</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Designing the User Interface</td> <td> Shneiderman, B.</td> <td> 1997</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> Digital systems: hardware organization and design (3rd ed.)</td> <td> Hill, F. J. and Peterson, G. R.</td> <td> 1987</td> <td> Digital Systems: Hardware Organization and Design </td> <td> Hill, Fredrick, J. Hill<br>Peterson, Gerald R. </td> <td> 1978</td> <td> John Wiley & Sons </td> <td> MF126: VS </td> </tr> <tr> <td>NO</td> <td> Elements of discrete mathematics (McGraw-Hill computer science series)</td> <td> Liu, C. L.</td> <td> 1977</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Fault Tolerance</td> <td> Lee, P. A. and Anderson, T.; J. C. Laprie, A. Avizienis, and H. Kopetz, Eds.</td> <td> 1990</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Fluid Concepts and Creative Analogies</td> <td> Hofstadter, D. R.</td> <td> 1996</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Foundations of logic programming; (2nd extended ed.)</td> <td> Lloyd, J. W.</td> <td> 1987</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> Fundamentals of interactive computer graphics</td> <td> Foley, J. D. and Van Dam, A.</td> <td> 1982</td> <td> Fundamentals of Interactive Computer Graphics </td> <td> Foley, Jamess & van Dam, Andries </td> <td> 1982</td> <td> Addison-Wesley </td> <td> MF126: VS </td> </tr> <tr> <td>NO</td> <td> GUI Design for Dummies (with CD-ROM)</td> <td> Arlov, L.</td> <td> 1997</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> Graph algorithms and NP-completeness</td> <td> Mehlhorn, K.</td> <td> 1984</td> <td> Graph Algorithms and NP-Completeness: Data Structures and Algorithms 2 </td> <td> Mehlhorn, Kurn </td> <td> 1984</td> <td> Springer-Verlag </td> <td> MF126: VS </td> </tr> <tr> <td>NO</td> <td> Handbook of Mathematical Functions, With Formulas, Graphs, and Mathematical Tables,</td> <td> Abramowitz, M.</td> <td> 1974</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> History of Computing in the Twentieth Century</td> <td> Howlett, J. and Rota, G. C.; N. Metropolis, Ed.</td> <td> 1980</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> How to Lie With Statistics</td> <td> Huff, D. and Geis, I.</td> <td> 1993</td> <td> How to Lie with Statistics </td> <td> Huff, Darrell </td> <td> 1954</td> <td> Norton </td> <td> MF126: VS </td> </tr> <tr> <td>NO</td> <td> Information Theory and Reliable Communication</td> <td> Gallager, R. G.</td> <td> 1968</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Internetworking with TCP/IP (2nd ed.), vol. I</td> <td> Comer, D. E.</td> <td> 1991</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Interpreting Information Systems in Organizations</td> <td> Walsham, G.</td> <td> 1993</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Introduction To Automata Theory, Languages, And Computation</td> <td> Hopcroft, J. E. and Ullman, J. D.</td> <td> 1990</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Introduction to Algorithms</td> <td> Manber, U.</td> <td> 1989</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Introduction to compiler construction</td> <td> Parsons, T. W.</td> <td> 1992</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> LISP 1.5 Programmer's Manual</td> <td> McCarthy, J.</td> <td> 1962</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Let Us C</td> <td> Kanetkar, Y.</td> <td> 2002</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Lions' commentary on UNIX 6th edition with source code</td> <td> Lions, J.</td> <td> 1996</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Lisp Machine Manual (Chinual)</td> <td> Weinreb, D. L. and Moon, D. A.</td> <td> 1981</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Lisp machine manual</td> <td> Weinreb, D.</td> <td> 1983</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Literary Machines 931</td> <td> Nelson, T. H.</td> <td> 1982</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Mapping the Commodore 64</td> <td> Leemon, S.</td> <td> 1984</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Mastering ENVY/Developer</td> <td> Pelrine, J., Knight, A., and Cho, A.</td> <td> 2001</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Matching Theory (North-Holland mathematics studies)</td> <td> Lovasz, L.</td> <td> 1986</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Mathematical Theory of Computation</td> <td> Manna, Z.</td> <td> 2003</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Michigan algorithm decoder</td> <td> Arden, B. W.</td> <td> 1964</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Modern structured analysis</td> <td> Yourdon, E.</td> <td> 1989</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> More programming pearls: confessions of a coder</td> <td> Bentley, J.</td> <td> 1988</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Numerical Methods for Unconstrained Optimization and Nonlinear Equations (Classics in Applied Mathematics, 16)</td> <td> Dennis, J. E. and Schnabel, R. B.</td> <td> 1996</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Numerical recipes in C: the art of scientific computing</td> <td> Press, W. H., Flannery, B. P., Teukolsky, S. A., and Vetterling, W. T.</td> <td> 1988</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Object-oriented modeling and design</td> <td> Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F., and Lorensen, W.</td> <td> 1991</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Operating System Concepts</td> <td> Peterson, J. L. and Silberschatz, A.</td> <td> 1985</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> Operating systems: An advanced course</td> <td> Bayer, R., Graham, R. M., and Seegmuller, G.</td> <td> 1978</td> <td> Operating Systems - An advanced Course </td> <td> Bayer, B. & Graham, R. M. - Editors </td> <td> 1979</td> <td> Springer-Verlag </td> <td> MF126: VS </td> </tr> <tr> <td>NO</td> <td> Operating systems: a systematic view (3rd ed.)</td> <td> Davis, W. S.</td> <td> 1987</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Operating systems: design and implementation</td> <td> Tanenbaum, A. S.</td> <td> 1987</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> PL/I structured programming</td> <td> Hughes, J. K.</td> <td> 1986</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Pattern Classification (2nd Edition)</td> <td> Duda, R. O., Hart, P. E., and Stork, D. G.</td> <td> 2000</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> Peopleware: productive projects and teams</td> <td> DeMarco, T. and Lister, T.</td> <td> 1987</td> <td> Peopleware<br>Productive Projects and Teams </td> <td> DeMarco, Tom & Lister Timothy </td> <td> 1999</td> <td> Dorset House </td> <td> MF126: VS </td> </tr> <tr> <td>NO</td> <td> Principles of Compiler Design (Addison-Wesley series in computer science and information processing)</td> <td> Aho, A. V. and Ullman, J. D.</td> <td> 1977</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> Principles of Database Systems</td> <td> Ullman, J. D.</td> <td> 1983</td> <td> Principles of Database Systems </td> <td> Ullman, Jeffrey D. </td> <td> 1982</td> <td> Computer Science Press </td> <td> MF126: VS </td> </tr> <tr> <td>YES</td> <td> Principles of database and knowledge-base systems, Vol. I</td> <td> Ullman, J. D.</td> <td> 1988</td> <td> Principles of Database and Knowledge-Base Systems, Vol. I </td> <td> Ullman, Jeffrey D. </td> <td> 1988</td> <td> Computer Science Press </td> <td> MF126: VS </td> </tr> <tr> <td>NO</td> <td> Programming Approach to Computability</td> <td> Kfoury, A. J., Arbib, M. A., and Moll, R. N.</td> <td> 1991</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Programming expert systems in OPS5: an introduction to rule-based programming</td> <td> Brownston, L., Farrell, R., Kant, E., and Martin, N.</td> <td> 1985</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Programming in Pascal</td> <td> Grogono, P.</td> <td> 1984</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> Programming in Prolog</td> <td> Clocksin, W. F. and Mellish, C. S.</td> <td> 1987</td> <td> Programming in Prolog </td> <td> Clocksin, W. F. and Mellish, C. S. </td> <td> 1981</td> <td> Springer-Verlag </td> <td> MF126:VS </td> </tr> <tr> <td>YES</td> <td> Programming languages: design and implementation (2nd ed.)</td> <td> Pratt, T. W.</td> <td> 1983</td> <td> Programming Languages: Design and Implementation </td> <td> Pratt, Terrence W. </td> <td> 1975</td> <td> Prentice-Hall </td> <td> MF126: VS </td> </tr> <tr> <td>NO</td> <td> Programming on purpose</td> <td> Plauger, P. J.</td> <td> 1993</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Programming pearls</td> <td> Bentley, J.</td> <td> 1986</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Report on the algorithmic language ALGOL 68</td> <td> Wijngaarden, A. v.</td> <td> 1969</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Representation and Understanding</td> <td> D. G. Bobrow and A. Collins, Eds.</td> <td> 1975</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Rough Sets</td> <td> Pawlak, Z.</td> <td> 1992</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Rounding Errors in Algebraic Processes</td> <td> Wilkinson, J. H.</td> <td> 1994</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> SAIL user manual.</td> <td> VanLehn, K. A.</td> <td> 1973</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> SURFACES FOR COMPUTER-AIDED DESIGN OF SPACE FORMS</td> <td> Coons, S. A.</td> <td> 1967</td> <td> Surfaces for Computer-Aided Design of Space Forms<br>MAC-TR-41</td> <td> Coons, Steven A. </td> <td> 1967</td> <td> Massachusetts Institute of Technology<br>Project MAC </td> <td> MF126: VS </td> </tr> <tr> <td>NO</td> <td> Scientific Software Package</td> <td> none</td> <td> none</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Security in computing</td> <td> Pfleeger, C. P.</td> <td> 1997</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Software Engineering Economics</td> <td> Boehm, B. W.</td> <td> 1981</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Software Tools</td> <td> Kernighan, B. W. and Plauger, P. L.</td> <td> 1976</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> Sorting and Searching (Eatcs Monographs on Theoretical Computer Science)</td> <td> Mehlhorn, K.</td> <td> 1984</td> <td> Sorting and Searching: Data Structures and Algorithms 1 </td> <td> Mehlhorn, Kurn </td> <td> 1984</td> <td> Springer-Verlag </td> <td> MF126: VS </td> </tr> <tr> <td>NO</td> <td> Sorting and Sort Systems (The Systems programming series)</td> <td> Lorin, H.</td> <td> 1975</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Stochastic Analysis of Computer Storage</td> <td> Aven, O. I., Coffman, E. G., and Kogan, Y. A.</td> <td> 1987</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Structure and Interpretation of Computer Programs</td> <td> Abelson, H. and Sussman, G. J.</td> <td> 1996</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> Structured Analysis and System Specification</td> <td> DeMarco, T.</td> <td> 1979</td> <td> Structured Analysis and System Specification </td> <td> DeMarco, Tom </td> <td> 1979</td> <td> Prentice-Hall, Inc. </td> <td> MF126: VS </td> </tr> <tr> <td>NO</td> <td> Structured Design</td> <td> Yourdon, E. and Constantine, L. L.</td> <td> 1979</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Structured Development for Real-Time Systems</td> <td> Ward, P. T. and Mellor, S. J.</td> <td> 1986</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Symbolic Logic and Mechanical Theorem Proving</td> <td> Chang, C., Lee, R. C., and Lee, R. C.</td> <td> 1997</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Systems Analysis and Design</td> <td> McLeod, R.</td> <td> 1994</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> TCP/IP illustrated (vol. 1)</td> <td> Stevens, W. R.</td> <td> 1993</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES?</td> <td> TEX</td> <td> Knuth, D. E.</td> <td> 1986</td> <td> TEX and METAFONT </td> <td> Knuth, Donald E. </td> <td> 1979</td> <td> DIGITAL Press </td> <td> MF126: VS </td> </tr> <tr> <td>YES</td> <td> TEX and METAFONT</td> <td> Knuth, D. E.</td> <td> 1979</td> <td> TEX and METAFONT </td> <td> Knuth, Donald E. </td> <td> 1979</td> <td> DIGITAL Press </td> <td> MF126: VS </td> </tr> <tr> <td>NO</td> <td> The AWK programming language</td> <td> Aho, A. V., Kernighan, B. W., and Weinberger, P. J.</td> <td> 1987</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> The Art of Computer Programming Volumes 1-3 Boxed Set</td> <td> Knuth, D. E.</td> <td> 1998</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> The Art of Computer Programming, 2nd Ed. (Addison-Wesley Series in Computer Science and Information</td> <td> Knuth, D. E.</td> <td> 1978</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> The Art of Software Testing</td> <td> Myers, G. J. and Sandler, C.</td> <td> 2004</td> <td> Art of Software Testing, The </td> <td> Myers, Glenford J. </td> <td> 1979</td> <td> Wiley-Interscience </td> <td> MF126: VS </td> </tr> <tr> <td>YES</td> <td> The C programming language</td> <td> Kernighan, B. W. and Ritchie, D. M.</td> <td> 1978</td> <td> The C Programming Language </td> <td> Kernighan, Brian W. </td> <td> 1978</td> <td> Prentice-Hill, Inc. </td> <td> <br></td> </tr> <tr> <td>NO</td> <td> The C++ programming language</td> <td> Stroustrup, B.</td> <td> 1986</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies)</td> <td> Church, A.</td> <td> 1985</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> The Collected Works of John von Neumann</td> <td> Neumann, J. V., Taub, A. W., and Taub, A. H.</td> <td> 1963</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> The Economics of Computers</td> <td> Sharpe, W. F.</td> <td> 1972</td> <td> The Economics of Computers </td> <td> Sharpe, William F. </td> <td> 1969</td> <td> Columbia University Press </td> <td> MF126: VS </td> </tr> <tr> <td>NO</td> <td> The ICON Programming Language</td> <td> Griswold, R. E. and Griswold, M. T.</td> <td> 1996</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES?</td> <td> The Mythical Man-Month</td> <td> Brooks, F. P.</td> <td> 1978</td> <td> The Mythical Man-month - Essays on Software Engineering </td> <td> Brooks, Frederick P. </td> <td> 1975</td> <td> Addison-Wesley Publishing </td> <td> MF126: VS </td> </tr> <tr> <td>NO</td> <td> The Science of Programming</td> <td> Gries, D.</td> <td> 1987</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> The Soul of a New Machine</td> <td> Kidder, T.</td> <td> 1981</td> <td> The Soul of a New Machine </td> <td> Kidder, Tracy </td> <td> 1981</td> <td> Little, Brown and Company </td> <td> <br></td> </tr> <tr> <td>NO</td> <td> The TeXbook</td> <td> Knuth, D. E.</td> <td> 1986</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> The Thirteen Books of Euclid's Elements, Books 1 and 2</td> <td> Heath, T. L. and Euclid</td> <td> 1956</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> The UNIX Programming Environment</td> <td> Kernighan, B. W. and Pike, R.</td> <td> 1983</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> The Undecidable</td> <td> Davis, M.</td> <td> 2004</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> The Wealth of Nations</td> <td> Smith, A. and Krueger, A. B.</td> <td> 2003</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> The Works of Charles Babbage</td> <td> Babbage, C.; M. Campbell-Kelly, Ed.</td> <td> 1989</td> <td> The Works of Charles Babbage<br>Volume I. Mathematical papers </td> <td> Babbage, Charles; Martin Compbell-Kelly - Editor </td> <td> 1989</td> <td> Pickering & Chatto (Publishers) Limited </td> <td> MF-126-VS </td> </tr> <tr> <td>NO</td> <td> The art of computer programming, volume 1 (3rd ed.)</td> <td> Knuth, D. E.</td> <td> 1997</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> The art of computer programming, volume 2 (3rd ed.)</td> <td> Knuth, D. E.</td> <td> 1997</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> The art of computer programming, volume 3</td> <td> Knuth, D. E.</td> <td> 1998</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> The deductive foundations of computer programming</td> <td> Manna, Z. and Waldinger, R.</td> <td> 1993</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> The design of the UNIX operating system</td> <td> Bach, M. J.</td> <td> 1986</td> <td> The Design of the UNIX Operating System </td> <td> Bach, Maurice J. </td> <td> 1986</td> <td> Prentice-Hall, Inc </td> <td> <br></td> </tr> <tr> <td>NO</td> <td> The magic garden explained</td> <td> Goodheart, B. and Cox, J.</td> <td> 1994</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> The most complex machine</td> <td> Eck, D. J.</td> <td> 1995</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES?</td> <td> The mythical man-month (anniversary ed.)</td> <td> Brooks, F. P.</td> <td> 1995</td> <td> The Mythical Man-month - Essays on Software Engineering </td> <td> Brooks, Frederick P. </td> <td> 1975</td> <td> Addison-Wesley Publishing </td> <td> MF126: VS </td> </tr> <tr> <td>NO</td> <td> The practical guide to structured systems design: 2nd edition</td> <td> Page-Jones, M.</td> <td> 1988</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> The process view of simulation (Operating and programming systems series)</td> <td> Franta, W. R.</td> <td> 1977</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> The psychology of computer programming</td> <td> Weinberg, G. M.</td> <td> 1988</td> <td> The Psychology of Computer Programming </td> <td> Weinberg, Gerald M. </td> <td> 1971</td> <td> Van Nostrand Reinhold </td> <td> MF126: vs </td> </tr> <tr> <td>YES</td> <td> The sciences of the artificial (3rd ed.)</td> <td> Simon, H. A.</td> <td> 1996</td> <td> The Sciences of the Artificial </td> <td> Simon, Herbert A. </td> <td> 1969</td> <td> The M.I.T. Press </td> <td> MF45: Office </td> </tr> <tr> <td>NO</td> <td> The state of the Art of Computer Programming</td> <td> Knuth, D. E.</td> <td> 1976</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Theory of Self-Reproducing Automata</td> <td> Neumann, J. V.; A. W. Burks, Ed.</td> <td> 1966</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Theory of recursive functions and effective computability</td> <td> Rogers, H.</td> <td> 1987</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Theory, Volume 1, Queueing Systems</td> <td> Kleinrock, L.</td> <td> 1975</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Tractatus Logico Philosophicus (Routledge Classics)</td> <td> Wittgenstein, L., Pears, D. F., McGuinness, B., and Russell, B.</td> <td> 2001</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Turbo Pascal (Computer Science Series))</td> <td> Dale, N.</td> <td> 1997</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> UNIX in a nutshell</td> <td> Gilly, D. and O'Reilly & Associates, Inc., C.</td> <td> 1992</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> UNIX network programming</td> <td> Stevens, W. R.</td> <td> 1990</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> UNIX programmer's manual</td> <td> S. V. Earhart, Ed.</td> <td> 1986</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> UNIX systems for modern architectures</td> <td> Schimmel, C.</td> <td> 1994</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Vision</td> <td> Marr, D.</td> <td> 1982</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Work-Oriented Design of Computer Artifacts</td> <td> Ehn, P.</td> <td> 1990</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> the theory of formal languages</td> <td> none</td> <td> none</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> </table> <br><br<a name="outprint"> </a> <h3 align="center"> ACM Classics: out of print<br>Found = 95, NotFound = 308</h3> <table border="1" cellpadding="5" width="95%"> <thead> <tr> <th width="3%"> FOUND </th> <th width="20%"> ACMTitle: </th> <th width="15%"> ACMAuthor: </th> <th width="3%"> ACMYear: </th> <th width="20%"> CHMTitle: </th> <th width="15%"> CHMAuthors </th> <th width="3%"> CHMYear </th> <th width="10%"> CHMPublish </th> <th width="10%"> CHMLoc: </th> </tr> </thead> <tbody> <tr> <td>NO</td> <td> 201 principles of software development</td> <td> Davis, A. M.</td> <td> 1995</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Abstract Interpretation of Declarative Languages</td> <td> S. Abramsky and C. Hankin, Eds.</td> <td> 1987</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> Advanced Computer Architecture</td> <td> Kain, R. Y.</td> <td> 1995</td> <td> Advanced Computer Architecture<br>A Systems Design Approach </td> <td> Kain, Richard Y. </td> <td> 1995</td> <td> Prentice-Hall </td> <td> MF126: VS </td> </tr> <tr> <td>YES</td> <td> Advances in Computer Architecture</td> <td> Myers, G. J.</td> <td> 1982</td> <td> Advances in Computer Architecture </td> <td> Myers, Glenford J. </td> <td> 1978</td> <td> John Wiley </td> <td> MF126: VS </td> </tr> <tr> <td>NO</td> <td> Algebraic structure theory of sequential machines (Prentice-Hall international series in applied mathematics)</td> <td> Hartmanis, J.</td> <td> 1966</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Algol-60 Implementation</td> <td> Randall, B. and Russell, L. J.</td> <td> 1964</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> ALGOL-like Languages, Volume 1</td> <td> P. W. O'Hearn and R. D. Tennent, Eds.</td> <td> 1997</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Algorithmic Program DeBugging</td> <td> Shapiro, E. Y.</td> <td> 1983</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Algorithms for clustering data</td> <td> Jain, A. K. and Dubes, R. C.</td> <td> 1988</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Anatomy of LISP</td> <td> Allen, J.</td> <td> 1978</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES?</td> <td> APL</td> <td> Gilman, L. and Rose, A. J.</td> <td> 1976</td> <td> APL\360: An Interactive Approach </td> <td> Gilman, Leonard and Rose, Allen J. </td> <td> 1970</td> <td> John Wiley & Sons, Inc. </td> <td> MF126: VS </td> </tr> <tr> <td>NO</td> <td> APL and insight</td> <td> Berry, P.</td> <td> 1978</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> APL Programming and Computer Techniques</td> <td> Katzan, H.</td> <td> 1970</td> <td> APL Programming and Computer Techniques </td> <td> Katzan, Harry Jr. </td> <td> 1970</td> <td> Van Nostrand Reinhold </td> <td> MF126: VS </td> </tr> <tr> <td>NO</td> <td> APL Reference Manual Edition</td> <td> Pakin, S.</td> <td> 1972</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Apple II Manual</td> <td> none</td> <td> none</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> APPLE II reference manual</td> <td> Espinosa, C.</td> <td> 1979</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Applications of spatial data structures</td> <td> Samet, H.</td> <td> 1990</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Applied software measurement</td> <td> Jones, C.</td> <td> 1991</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Approximations for Digital Computers</td> <td> Hastings, C.</td> <td> 1955</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> The Architecture of Concurrent Programs</td> <td> Hansen, P. B.</td> <td> 1977</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> The art of simulation</td> <td> Tocher, K. D.</td> <td> 1967</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> The art of systems architecting</td> <td> Rechtin, E. and Maier, M. W.</td> <td> 1997</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> Artificial intelligence</td> <td> Rich, E.</td> <td> 1983</td> <td> Artificial Intelligence </td> <td> Rich, Elaine </td> <td> 1983</td> <td> <br></td> <td> MF45 </td> </tr> <tr> <td>NO</td> <td> Assem Lang Prog for C64</td> <td> Commodore</td> <td> 1984</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> Asynchronous Sequential Switching Circuits</td> <td> Unger, S. H.</td> <td> 1983</td> <td> Asynchronous Sequential Switching Circuits </td> <td> Unger, Stephen H. </td> <td> 1969</td> <td> Wiley-Interscience </td> <td> MF126: VS </td> </tr> <tr> <td>NO</td> <td> Auerbach Data Processing Management Library</td> <td> Auerbach</td> <td> 1982</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Automata, Languages, and Machines</td> <td> Eilenberg, S.</td> <td> 1974</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Automated theorem proving</td> <td> Loveland, D. W.</td> <td> 1978</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Automatic Information Organization and Retrieval.</td> <td> Salton, G.</td> <td> 1968</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Automatic text processing: the transformation, analysis, and retrieval of information by computer</td> <td> Salton, G.</td> <td> 1989</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Automating Knowledge Acquisition for Expert Systems</td> <td> Marcus, S.</td> <td> 1988</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> Basic Computer Games</td> <td> Ahl, D. H.</td> <td> 1978</td> <td> Basic Computer Games </td> <td> Ahl, David H. </td> <td> 1978</td> <td> Workman Publishing, New York </td> <td> MF126,VS </td> </tr> <tr> <td>NO</td> <td> BBN Report 1822: Specification for the Interconnection of a host and and IMP</td> <td> none</td> <td> none</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> Bit by Bit</td> <td> Augarten, S.</td> <td> 1984</td> <td> Bit by Bit,<br>An Illustrated History of Computers </td> <td> Augarten, Stan </td> <td> 1984</td> <td> Ticknor & Fields - a Houghton Mifflin Co. </td> <td> MF-126-VS </td> </tr> <tr> <td>NO</td> <td> Build Your Own Z80 Computer</td> <td> Ciarcia, S.</td> <td> 1980</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Building a secure computer system</td> <td> Gasser, M.</td> <td> 1988</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Building an optimizing compiler</td> <td> Morgan, R.</td> <td> 1998</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Building expert systems</td> <td> Hayes-Roth, F., Waterman, D. A., and Lenat, D. B.</td> <td> 1983</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> The Buroughs B5500 Extended ALGOL reference manual</td> <td> none</td> <td> none</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> The Burroughs 5500 computer architecture</td> <td> none</td> <td> none</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> C in Plain English</td> <td> Overland, B.</td> <td> 1995</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> C through design</td> <td> Defenbaugh, G.</td> <td> 1988</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> C++ IOStreams Handbook</td> <td> Teale, S.</td> <td> 1993</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> The Cambridge CAP computer and its operating system (Operating and programming systems series)</td> <td> Wilkes, M. V.</td> <td> 1979</td> <td> The Cambridge CAP Computer and Its Operating System </td> <td> Wilkes, M.V., & Needham, R.M. </td> <td> 1979</td> <td> North Holland </td> <td> MF126: vs </td> </tr> <tr> <td>YES</td> <td> Capability-Based Computer Systems</td> <td> Levy, H. M.</td> <td> 1984</td> <td> Capability-Based Computer Systems </td> <td> Levy, Henry M. </td> <td> 1984</td> <td> Digital Press </td> <td> MF126: VS </td> </tr> <tr> <td>YES</td> <td> Cellular Automata</td> <td> Codd, E. F.</td> <td> 1968</td> <td> Cellular Automata </td> <td> Codd, E. F. </td> <td> 1968</td> <td> Academic Press, Inc. </td> <td> MF126:VS </td> </tr> <tr> <td>NO</td> <td> Classics in Software Engineering</td> <td> Yourdon, E.</td> <td> 1979</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Combinatorial Algorithms</td> <td> Reingold, E. M.</td> <td> 1977</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Combinatorial optimization: algorithms and complexity</td> <td> Papadimitriou, C. H. and Steiglitz, K.</td> <td> 1982</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> Common Lisp</td> <td> Steele, G.</td> <td> 1990</td> <td> Common LISP </td> <td> Steele, Guy L. Jr. </td> <td> 1984</td> <td> Digital Press </td> <td> MF126: vs </td> </tr> <tr> <td>NO</td> <td> Common LISP: a gentle introduction to symbolic computation</td> <td> Touretzky, D. S.</td> <td> 1990</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> Common LISP: the language</td> <td> Steele, G. L.</td> <td> 1984</td> <td> Common Lisp: The Language </td> <td> Steele, guy L. Jr. </td> <td> 1984</td> <td> Digital Press </td> <td> MF126: VS </td> </tr> <tr> <td>NO</td> <td> Communication and concurrency</td> <td> Milner, R.</td> <td> 1989</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> Communication nets; stochastic message flow and delay</td> <td> Kleinrock, L.</td> <td> 1972</td> <td> Communication Nets<br>Stochastic Message Flow and Delay </td> <td> Kleinrock, Leonard </td> <td> 1964</td> <td> Lincoln Laboratory Publications </td> <td> MF126: VS </td> </tr> <tr> <td>NO</td> <td> The Compatible Time-Sharing System</td> <td> Corbató, F. J.</td> <td> 1963</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Compiler Construction</td> <td> Bauer, F. L. and Eickel, J.</td> <td> 1976</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Compiler construction</td> <td> Wirth, N.</td> <td> 1996</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> Compiler Construction</td> <td> Waite, W. M. and Goos, G.</td> <td> 1985</td> <td> Compiler Construction </td> <td> Waite, William M. & Goos, Gerhard </td> <td> 1983</td> <td> Springer-Verlag </td> <td> MF126: vs </td> </tr> <tr> <td>NO</td> <td> Compiler Design Theory</td> <td> Lewis, P. M., Rosenkrantz, D. J., and Stearns, R. E.</td> <td> 1976</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> Composite/Structured Design</td> <td> Myers, G. J.</td> <td> 1978</td> <td> Composite/Structured Design </td> <td> Myers, Glenford J. </td> <td> 1978</td> <td> Van Nostrand Reinhold Company </td> <td> MF126: VS </td> </tr> <tr> <td>NO</td> <td> Comprehensive C</td> <td> Spuler, D.</td> <td> 1992</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Comprehensive standard Fortran programming (Hayden computer programming series)</td> <td> Haag, J. N.</td> <td> 1969</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> Computation: Finite and Infinite Machines</td> <td> Minsky, M. L.</td> <td> 1967</td> <td> Computation: Finite and Infinite Machines </td> <td> Minsky, Marvin </td> <td> 1967</td> <td> Prentice-Hall </td> <td> MF126: VS </td> </tr> <tr> <td>NO</td> <td> Computational Aspects of VLSI</td> <td> Ullma, J. D.</td> <td> 1984</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> A computational logic handbook</td> <td> Boyer, R. S. and Moore, J. S.</td> <td> 1988</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Computer and the Brain</td> <td> Neumann, J. V.</td> <td> 1958</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Computer Approximations</td> <td> none</td> <td> none</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Computer Arithmetic</td> <td> Hwang, K.</td> <td> 1979</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Computer careers; planning, prerequisites, potential</td> <td> Maniotes, J.</td> <td> 1974</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Computer Data Structures</td> <td> Pfaltz, J. L.</td> <td> 1977</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Computer design development</td> <td> none</td> <td> none</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> Computer Engineering; A DEC View of Hardware Systems Design</td> <td> Bell, C. G., McNamara, J. E., and Mudge, J. C.</td> <td> 1978</td> <td> Computer Engineering<br>A DEC View of Hardware Systems Design </td> <td> Bell, C. Gordon & Mudge, J. Craig & McNamara, John E. </td> <td> 1978</td> <td> DIGITAL Press </td> <td> MF126: VS </td> </tr> <tr> <td>NO</td> <td> Computer Fraud and Countermeasures</td> <td> Krauss, L. I. and MacGahar, A.</td> <td> 1979</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> Computer Lib/Dream Machines</td> <td> Nelson, T. H.</td> <td> 1987</td> <td> Computer Lib<br>Dream Machines </td> <td> Nelson, Ted </td> <td> 1987</td> <td> Microsoft Press </td> <td> MF126: vs </td> </tr> <tr> <td>NO</td> <td> Computer Mathematics</td> <td> Conrad, C. L., Conrad, N. J., and Higley, H. B.</td> <td> 1975</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Computer Methods for Mathematical Computations</td> <td> Forsythe, G. E., Malcolm, M. A., and Moler, C. B.</td> <td> 1977</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> Computer Power and Human Reason</td> <td> Weizenbaum, J.</td> <td> 1976</td> <td> Computer Power and Human Reason<br>From Judgement to Calculation </td> <td> Weizenbaum, Joseph </td> <td> 1976</td> <td> Freeman </td> <td> MF126: vs </td> </tr> <tr> <td>YES</td> <td> Computer Semantics</td> <td> Lee, J. A.</td> <td> 1978</td> <td> Computer Semantics </td> <td> Lee, John A. N. </td> <td> 1972</td> <td> Van Nostrand Reinhold </td> <td> MF126: VS </td> </tr> <tr> <td>YES</td> <td> Computer Sorting</td> <td> Flores, I.</td> <td> 1969</td> <td> Computer Sorting </td> <td> Flores, Ivan </td> <td> 1969</td> <td> Prentice-Hall </td> <td> MF126: VS </td> </tr> <tr> <td>YES</td> <td> Computer structures</td> <td> Bell, C. G. and Newell, A.C.</td> <td> 1971</td> <td> Computer Structures: Readings and Examples </td> <td> Bell, C. Gordon ; Newell, Allen </td> <td> 1971</td> <td> McGraw-Hill book Company </td> <td> <br></td> </tr> <tr> <td>YES</td> <td> Computer Structures</td> <td> Siewiorek, D. P., Bell, G., and Newell, A. C.</td> <td> 1982</td> <td> Computer Structures: Principles and Examples </td> <td> Siewiorek, Daniel P.; Bell, Gordon C.; Newell, Allen </td> <td> 1982</td> <td> McGraw-Hill Book Company </td> <td> MF126: VS </td> </tr> <tr> <td>YES</td> <td> Computer system organization</td> <td> Organick, E. I.</td> <td> 1973</td> <td> Computer System Organization<br>the B5700/B6700 Series </td> <td> Organick, Elliott I. </td> <td> 1973</td> <td> Academic Press </td> <td> MF126: vs </td> </tr> <tr> <td>NO</td> <td> Computer systems performance management and capacity planning</td> <td> Cady, J. and Howarth, B.</td> <td> 1990</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> Computers and the human mind, (Science study series)</td> <td> Fink, D. G.</td> <td> 1966</td> <td> Computers and the Human Mind<br>An Introduction to Artifical Intelligence </td> <td> Fink, Donald G. </td> <td> 1966</td> <td> Doubleday Anchor </td> <td> MF126: VS </td> </tr> <tr> <td>NO</td> <td> Computing</td> <td> Naur, P.</td> <td> 1992</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Computing in Statistical Science through APL</td> <td> Anscombe, F. J.</td> <td> 1990</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> Concurrency control and recovery in database systems</td> <td> Bernstein, P. A., Hadzilacos, V., and Goodman, N.</td> <td> 1987</td> <td> Concurrency Control and Recovery in Database Systems </td> <td> Bernstein, P.A.; Hadzilacos, V.'; Goodman, N. </td> <td> 1987</td> <td> Addison Wesley </td> <td> MF126:VS </td> </tr> <tr> <td>NO</td> <td> Concurrent programming in ERLANG (2nd ed.)</td> <td> Virding, R., Wikström, C., and Williams, M.; J. Armstrong, Ed.</td> <td> 1996</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> Compiler Construction for Digital Computers</td> <td> Gries, D.</td> <td> 1971</td> <td> Compiler Construction for Digital Computers </td> <td> Gries, David </td> <td> 1971</td> <td> John Wiley & Sons, Inc. </td> <td> MF126: VS </td> </tr> <tr> <td>NO</td> <td> Content Addressable Parallel Processors</td> <td> Foster, C. C.</td> <td> 1976</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Coordinated computing: tools and techniques for distributed software</td> <td> Filman, R. E. and Friedman, D. P.</td> <td> 1984</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Counter-Free Automata (M.I.T. research monograph no. 65)</td> <td> McNaughton, R. and Papert, S. A.</td> <td> 1971</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> The Craft of Programming</td> <td> Reynolds, J. C.</td> <td> 1981</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Cryptography and Data Security</td> <td> Denning, D. E.</td> <td> 1982</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> D-BASE II</td> <td> Ratliff, C. W.</td> <td> </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Data Structure Techniques</td> <td> Standish, T. A.</td> <td> 1980</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Data structures (Computer science series)</td> <td> Elson, M.</td> <td> 1975</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Database: structured techniques for design, performance, and management (2nd ed.)</td> <td> Atre, S.</td> <td> 1988</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> DEC VAX Security Users Manual</td> <td> none</td> <td> none</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> The Denotational Description of Programming Languages</td> <td> Gordon, M. J.</td> <td> 1979</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Denotational Semantics</td> <td> Stoy, J. E.</td> <td> 1977</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Denotational semantics: a methodology for language development</td> <td> Schmidt, D. A.</td> <td> 1986</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> The Design and Analysis of Computer Algorithms</td> <td> Aho, A. V. and Hopcroft, J. E.</td> <td> 1974</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> The design and analysis of spatial data structures</td> <td> Samet, H.</td> <td> 1990</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> The Design and Construction of Compilers</td> <td> Hunter, R.</td> <td> 1990</td> <td> The Design and Construction of Compilers </td> <td> Hunter, Robin </td> <td> 1981</td> <td> Wiley </td> <td> MF126: vs </td> </tr> <tr> <td>NO</td> <td> The design and evaluation of a high performance Smalltalk system</td> <td> Ungar, D. M.</td> <td> 1987</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> The design and implementation of the 4.3BSD UNIX operating system</td> <td> A. P. Stettner, Ed.</td> <td> 1988</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Design of a Computer—The Control Data 6600</td> <td> Thornton, J. E.</td> <td> 1970</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> The Design of an Optimizing Compiler</td> <td> Wulf, W. A., Johnsson, R. K., Weinstock, C. B., Hobbs, S. O., and Geschke, C. M.</td> <td> 1975</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> Design of Real-Time Computer Systems</td> <td> Martin, J.</td> <td> 1967</td> <td> Design of Real-Time Computer Systems </td> <td> Martin, James </td> <td> 1967</td> <td> Prentice-Hall </td> <td> MF126: VS </td> </tr> <tr> <td>NO</td> <td> The devil's DP dictionary</td> <td> Kelly-Bootle, S.</td> <td> 1981</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> Digital Computer Principles</td> <td> Irwin, W.</td> <td> 1960</td> <td> Digital Computer Principles </td> <td> Irwin, Wayne C. </td> <td> 1960</td> <td> D. Van Nostrand Company </td> <td> MF126: VS </td> </tr> <tr> <td>YES</td> <td> Digital Computer Programming</td> <td> McCracken, D. D.</td> <td> 1957</td> <td> Digital Computer Programming </td> <td> McCracken, Daniel D. </td> <td> 1961</td> <td> John Wiley & Sons, Inc </td> <td> MF126: VS </td> </tr> <tr> <td>NO</td> <td> Digital Networks and Computer Systems</td> <td> Booth, T. L.</td> <td> 1971</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Digital Picture Processing</td> <td> Rosenfeld, A. and Kak, A. C.</td> <td> 1982</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Digital Research CP/M® Operating System Manual</td> <td> none</td> <td> none</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Discrete Mathematics</td> <td> none</td> <td> none</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Dynamic information and library processing</td> <td> Salton, G.</td> <td> 1975</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> The ecology of computation</td> <td> B. A. Huberman, Ed.</td> <td> 1988</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Elementary induction on abstract structures (Studies in logic and the foundations of mathematics)</td> <td> Moschovakis, Y. N.</td> <td> 1974</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Elementary Pascal</td> <td> Singer, A. and Ledgard, H.</td> <td> 1982</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Elements of Networking Style</td> <td> Padlipsky, M. A.</td> <td> 1984</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> The Elements of Programming Style</td> <td> Kernighan, B. W. and Plauger, P. J.</td> <td> 1982</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Elements of Software Science</td> <td> Halstead, M. H.</td> <td> 1977</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Embodiments of Mind</td> <td> McCulloch, W. S.</td> <td> 1988</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES?</td> <td> Engineering a Compiler</td> <td> Anklam, P., Cutler, Heinen, and MacLaren</td> <td> 1982</td> <td> Engineering a Compiler,<br>Vax-11 Code Generation and Optimization </td> <td> Anklam, Patricia; Cutler, David; Heinen, Roger; MacLaren,M. Donald </td> <td> none</td> <td> Digital </td> <td> MF-126-VS </td> </tr> <tr> <td>NO</td> <td> Essays in computing science</td> <td> Hoare, C. A.; C. B. Jones, Ed.</td> <td> 1989</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Essays on object-oriented software engineering (vol. 1)</td> <td> Berard, E. V.</td> <td> 1993</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Essential systems analysis</td> <td> McMenamin, S. M. and Palmer, J. F.</td> <td> 1984</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Estimating software costs</td> <td> Jones, T. C.</td> <td> 1998</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Estimation of Dependences Based on Empirical Data</td> <td> Vapnik, V.</td> <td> 1982</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Etudes for Programmers</td> <td> Wetherell, C.</td> <td> 1978</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Exploiting chaos</td> <td> Olson, D.</td> <td> 1993</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> Extrapolation, Interpolation, and Smoothing of Stationary Time Series</td> <td> Wiener, N.</td> <td> 1964</td> <td> Extrapolation, Interpolation, and Smoothing of Stationary Time Series </td> <td> Wiener, Norbert </td> <td> 1950</td> <td> wiley </td> <td> MF126: vs </td> </tr> <tr> <td>NO</td> <td> Faster Than Thought: A Symposium on Digital Computing Machines</td> <td> B. V. Bowden, Ed.</td> <td> 1953</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> First draft of a report on the EDVAC</td> <td> Newmann, J. v.</td> <td> 1945</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> First Glossary of Computer Terminology</td> <td> none</td> <td> none</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Flow Analysis of Computer Programs</td> <td> Hecht, M. S.</td> <td> 1977</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> FLOW-MATIC Programming (Univac I and II)</td> <td> none</td> <td> none</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Formal Languages and Their Relation to Automata</td> <td> Hopcroft, J. E. and Ullman, J. D.</td> <td> 1969</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Forth Encyclopedia</td> <td> Baker, D. .</td> <td> 1983</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> Fortran</td> <td> McCracken, D. D.</td> <td> 1967</td> <td> FORTRAN with Engineering Applications </td> <td> McCracken, Daniel D. </td> <td> 1967</td> <td> John Wiley & Sons, Inc. </td> <td> MF126: VS </td> </tr> <tr> <td>NO</td> <td> FORTRAN Automatic Coding System for the IBM 704 Data Processing System</td> <td> Hughes, R. A. and Nutt, R.</td> <td> 1958</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> The Fortran Automatic Coding System for the IBM 704 EDPM</td> <td> Backus, J. W.</td> <td> 1956</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> A FORTRAN Coloring Book</td> <td> Kaufman, R. E.</td> <td> 1978</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> FORTRAN IV with WATFOR and WATFIV</td> <td> Cress, P., Dirksen, P., and Graham, J. W.</td> <td> 1970</td> <td> Fortran IV with WATFOR and WATFIV </td> <td> Cress, Paul & Dirksen,Paul & Graham, J. Wesley </td> <td> 1970</td> <td> Prentice-Hall </td> <td> MF126: vs </td> </tr> <tr> <td>YES</td> <td> A FORTRAN primer (Addison-Wesley series in computer science and information processing)</td> <td> Organick, E. I.</td> <td> 1963</td> <td> A Fortran Primer </td> <td> Organick, Elliott I. </td> <td> 1963</td> <td> Addison-Wesley </td> <td> MF126: vs </td> </tr> <tr> <td>NO</td> <td> FORTRAN with Style</td> <td> Ledgard, H. F. and Chmura, L. J.</td> <td> 1978</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Fortran: Automatic Coding System for the IBM 704 EDPM</td> <td> 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.</td> <td> </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> From Baker Street to Binary</td> <td> Ledgard, H. F., McQuaid, P. E., and Singer, A.</td> <td> 1983</td> <td> From Baker Street to Binary </td> <td> Ledgard, Henry; McQuaid, E. Patrick; Singer, Andrew </td> <td> 1983</td> <td> McGraw-Hill Book Company </td> <td> MF126: VS </td> </tr> <tr> <td>NO</td> <td> Fundamental Structures of Computer Science</td> <td> Wulf, W. A., Flon, L., Shaw, M., and Hilfinger, P.</td> <td> 1981</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Fundamentals of Applied Probability Theory</td> <td> Drake, A. W.</td> <td> 1967</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Fundamentals of Computer Alori</td> <td> Horowitz, E. and Sahni, S.</td> <td> 1978</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Fundamentals of data structures in PASCAL</td> <td> Horowitz, E. and Sahni, S.</td> <td> 1984</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Fundamentals of programming languages (2nd ed.)</td> <td> Horowitz, E.</td> <td> 1984</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> Giant brains; or, Machines that think</td> <td> Berkeley, E. C.</td> <td> 1955</td> <td> Giant Brains or Machines that Think </td> <td> Berkeley, Edmund Callis </td> <td> 1949</td> <td> John Wiley & Son, Inc </td> <td> <br></td> </tr> <tr> <td>NO</td> <td> Graph theory</td> <td> Christofides, N.</td> <td> 1975</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Graph Theory With Applications</td> <td> Bondy, J. A.</td> <td> 1976</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Graph Theory with Applications to Engineering and Computer Science (Prentice Hall Series in Automatic Computation)</td> <td> Deo, N.</td> <td> 1974</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Graphs and Hypergraphs</td> <td> Berge, C.</td> <td> 1985</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> A Guide to FORTRAN IV Programming</td> <td> McCracken, D. D.</td> <td> 1965</td> <td> Guide to Fortran IV Programming, A </td> <td> McCracken, Daniel D. </td> <td> 1972</td> <td> John Wiley & Sons, Inc. </td> <td> MF126: VS </td> </tr> <tr> <td>YES</td> <td> Guide to IBM 1401 Programming</td> <td> McCracken, D. D.</td> <td> 2000</td> <td> Guide to IBM 1401 Programming, A </td> <td> McCracken, Daniel D. </td> <td> 1963</td> <td> John Wiley & Sons, Inc. </td> <td> MF126: VS </td> </tr> <tr> <td>NO</td> <td> Handbook for Automatic Computation</td> <td> Wilkinson, J. H., Rinsch, C., and Bauer, F. L.</td> <td> 1986</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> Handbook of Artificial Intelligence</td> <td> Barr, A.; E. A. Feigenbaum, Ed.</td> <td> 1986</td> <td> The Handbook of Artificial Intelligence </td> <td> Barr, Avron & Feigenbaum, Edward </td> <td> 1982</td> <td> Addison Wesley </td> <td> <br></td> </tr> <tr> <td>NO</td> <td> Handbook of software reliability and system reliability</td> <td> M. R. Lyu, Ed.</td> <td> 1996</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Heuristics: intelligent search strategies for computer problem solving</td> <td> Pearl, J.</td> <td> 1984</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> History of Programming Languages</td> <td> R. L. Wexelblat, Ed.</td> <td> 1981</td> <td> History of Programming Languages </td> <td> Wexelblat, Richard L. </td> <td> 1981</td> <td> Academic Press </td> <td> MF126: VS </td> </tr> <tr> <td>NO</td> <td> How to Solve It by Computer</td> <td> Dromey, R. G.</td> <td> 1982</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Human Problem Solving</td> <td> Newell, A.</td> <td> 1972</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> The IBM 1620 computer manuals</td> <td> none</td> <td> none</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> IBM Personal Computer Seminar Proceedings, May, 1985</td> <td> none</td> <td> none</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> IBM Personal Computer Technical Reference Manual</td> <td> none</td> <td> none</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> IBM System/360 Principles of Operation, Form No. A22-6821</td> <td> none</td> <td> none</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> IBM/360 Scientific Subroutine Package Version 3</td> <td> none</td> <td> none</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> IBM: APL/360 primer: Student text</td> <td> Berry, P.</td> <td> 1969</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Ichbiah, Barnes, and Firth on ADA</td> <td> Ichbiah, J. D.</td> <td> 1984</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Image Analysis and Mathematical Morphology</td> <td> Serra, J.</td> <td> 1983</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> The Implementation of Functional Programming Languages (Prentice-Hall International Series in Computer Series)</td> <td> Peyton Jones, S. L.</td> <td> 1987</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Independent verification & validation</td> <td> Lewis, R. O.</td> <td> 1992</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> Informal Introduction to Algol 68</td> <td> Lindsey, C.</td> <td> 1977</td> <td> Informal Introduction to ALGOL 68 </td> <td> Lindsey, C. H. and van der Meulen, S. G. </td> <td> 1971</td> <td> North-Holland </td> <td> MF126: VS </td> </tr> <tr> <td>NO</td> <td> Information in business and administrative systems</td> <td> Stamper, R.</td> <td> 1973</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Information Mechanics</td> <td> Kantor, F. W.</td> <td> 1977</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> The INGRES papers: anatomy of a relational database system</td> <td> M. Stonebraker, Ed.</td> <td> 1986</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Inside Macintosh</td> <td> Rose, C. and Hacker, B.</td> <td> 1986</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Intel 960 Extended Architecture Programmer's Ref. Manual</td> <td> none</td> <td> none</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Interpreting machines</td> <td> Organick, E. I.</td> <td> 1978</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Introduction to ALGOL (Prentice-Hall series in automatic computation)</td> <td> Baumann, R.</td> <td> 1964</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> An introduction to APL for scientists and engineers</td> <td> Iverson, K. E.</td> <td> 1976</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Introduction to Computability</td> <td> Hennie, F. C.</td> <td> 1977</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> Introduction to Computer Architecture</td> <td> Stone, H. S.</td> <td> 1980</td> <td> Introduction to Computer Architecture </td> <td> Stone, Harold S. </td> <td> 1975</td> <td> Science Research Associates, Inc. </td> <td> MF126: VS </td> </tr> <tr> <td>YES</td> <td> An introduction to digital computing</td> <td> Arden, B. W.</td> <td> 1962</td> <td> An Introduction to Digital Computing </td> <td> Arden, Bruce W. </td> <td> 1963</td> <td> Addison-Wesley </td> <td> MF-126-VS </td> </tr> <tr> <td>NO</td> <td> Introduction to Discrete Structures for Computer Science and Engineering</td> <td> Preparata, F. P. and Yeh, R. T.</td> <td> 1973</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Introduction to Formal Language Theory</td> <td> Harrison, M. A. and Harrison, M. A.</td> <td> 1978</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Introduction to Mathematical Machine Theory</td> <td> Ginsburg, S.</td> <td> 1982</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Introduction to mathematical techniques in pattern recognition</td> <td> Andrews, H. C.</td> <td> 1983</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Introduction to mathematical theory of computation</td> <td> Manna, Z.</td> <td> 1972</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES?</td> <td> An introduction to microcomputers</td> <td> Osborne, A.</td> <td> 1978</td> <td> An Introduction to Microcomputers<br>Volume 0 - The Beginner's Book </td> <td> Osborne, Adam & Bunnell, David </td> <td> 1982</td> <td> McGraw-Hill </td> <td> MF126: vs </td> </tr> <tr> <td>NO</td> <td> Introduction to Modern Information Retrieval</td> <td> Salton, G. and McGill, M. J.</td> <td> 1986</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Introduction to Operation Systems Design</td> <td> Habermann, A. N.</td> <td> 1976</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Introduction to PL360 Programming</td> <td> Guertin, R. L.</td> <td> 1977</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Introduction to probabilistic automata (Computer science and applied mathematics)</td> <td> Paz, A.</td> <td> 1971</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Introduction to Solid Modeling</td> <td> Mantyla, M.</td> <td> 1988</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> An Introduction to the Study of Programming Languages</td> <td> Barron, D. W.</td> <td> 1977</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Introduction to the theory of programming languages</td> <td> Meyer, B.</td> <td> 1990</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> Introduction to VLSI Systems</td> <td> Mead, C. and Conway, L.</td> <td> 1979</td> <td> Introduction to VLSI Systems </td> <td> Mead, Carver and Conway, Lynn </td> <td> copyright1980</td> <td> Addison Wesley </td> <td> MF45: Office </td> </tr> <tr> <td>NO</td> <td> ITS 1.5 Reference Manual</td> <td> Eastlake, D. E.</td> <td> 1969</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Key B1700 Architecture</td> <td> none</td> <td> none</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Key Burroughs B5000 / B5500 / B6500 / B6700 Architecture Manuals</td> <td> none</td> <td> none</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Knowledge Discovery in Databases</td> <td> Piateski, G. and Frawley, W.</td> <td> 1991</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Language and Machines</td> <td> Pierce, J. R. and Carroll, J. B.</td> <td> 1966</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Language As a Cognitive Process</td> <td> Winograd, T.</td> <td> 1982</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> The language of computers</td> <td> Galler, B. A.</td> <td> 1962</td> <td> The Language of Computers </td> <td> Galler, Bernard A. </td> <td> 1962</td> <td> McGraw-Hill Book Company, Inc. </td> <td> MF126: VS </td> </tr> <tr> <td>NO</td> <td> The language of machines</td> <td> Floyd, R. W. and Beigel, R.</td> <td> 1994</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Libraries of the Future</td> <td> Licklider, J. C.</td> <td> 1965</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Life with UNIX: a guide for everyone</td> <td> Libes, D. and Ressler, S.</td> <td> 1989</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> LISP 1.5 primer (Dickenson series in computer and information science)</td> <td> Weissman, C.</td> <td> 1967</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> The little LISPer</td> <td> Friedman, D. P. and Felleisen, M.</td> <td> 1987</td> <td> Little LISPer, The </td> <td> Friedman, Daniel P. </td> <td> 1974</td> <td> Science Research Associates, Inc. </td> <td> MF126: VS </td> </tr> <tr> <td>YES</td> <td> Logic Design</td> <td> Langdon, G. G.</td> <td> 1974</td> <td> Logic Design<br>a Review of Theory and Practice </td> <td> Langdon, Blen G. Jr. </td> <td> 1974</td> <td> Academic Press </td> <td> MF126: VS </td> </tr> <tr> <td>YES</td> <td> Logic for problem-solving</td> <td> Kowalski, R.</td> <td> 1986</td> <td> Logic for Problem Solving </td> <td> Kowalski, Robert </td> <td> 1979</td> <td> North Holland </td> <td> MF126: VS </td> </tr> <tr> <td>YES</td> <td> The logic of computer arithmetic</td> <td> Flores, I.</td> <td> 1963</td> <td> The Logic of Computer Arithmetic </td> <td> Flores, Ivan </td> <td> 1963</td> <td> Prentice-Hall </td> <td> MF126: VS </td> </tr> <tr> <td>YES</td> <td> The Logical Design of Operating Systems</td> <td> Shaw, A. C.</td> <td> 1974</td> <td> The Logical Design of Operating Systems </td> <td> Shaw, Alan C. </td> <td> 1974</td> <td> Prentice-Hall </td> <td> MF126: VS </td> </tr> <tr> <td>NO</td> <td> LUCID, the dataflow programming language</td> <td> Wadge, W. W. and Ashcroft, E. A.</td> <td> 1985</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Machine-independent computer programming</td> <td> Halstead, M. H.</td> <td> 1962</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Machines, Languages and Computation</td> <td> Denning, P. J., Dennis, J. B., and Qualitz, J. E.</td> <td> 1978</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> MacIntosh Human Interface Guidelines</td> <td> Apple Computer Inc.</td> <td> 1992</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> MacPaint 1.0 manual</td> <td> none</td> <td> none</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> The macro implementation of SNOBOL4;</td> <td> Griswold, R. E.</td> <td> 1972</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Management Information Systems</td> <td> Davis, G. B.</td> <td> 1974</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Management Information Systems Handbook</td> <td> Hartman, W., Matthes, H., and Proeme, A.</td> <td> 1968</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> A Management System for Information Systems</td> <td> none</td> <td> none</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Mark III Manual</td> <td> none</td> <td> none</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> The mathematical foundations of learning machines</td> <td> Nilsson, N. J.</td> <td> 1990</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> The Mathematical Theory of Context-Free Languages</td> <td> Ginsburg, S.</td> <td> 1966</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> A mathematical theory of global program optimization (Prentice-Hall series in automatic computation)</td> <td> Schaefer, M.</td> <td> 1973</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Methods and Applications of Interval Analysis (SIAM Studies in Applied and Numerical Mathematics) (Siam Studies in Applied Mathematics, 2.)</td> <td> Moore, R. E. and Bierbaum, F.</td> <td> 1979</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Michigan Algorithmic Decoder Reference Manual</td> <td> none</td> <td> none</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Microcomputer architecture and programming: 68000 version</td> <td> Wakerly</td> <td> 1988</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Minds and Machines</td> <td> Anderson</td> <td> 1964</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> Mindstorms</td> <td> Papert, S.</td> <td> 1980</td> <td> Mind-Storms: Children, Computers, and Powerful Ideas </td> <td> Papert, Seymour </td> <td> 1980</td> <td> Basic Books, Inc. / Harper Colophon </td> <td> MF126: VS </td> </tr> <tr> <td>NO</td> <td> Multics Storage System Program Logic Manual</td> <td> none</td> <td> none</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES?</td> <td> The Multics System</td> <td> Organick, E. I.</td> <td> 1972</td> <td> The Multics System:<br>An Examination of Its Structure </td> <td> Organick, Elliott I. </td> <td> 1981</td> <td> MIT Press </td> <td> MF126: vs </td> </tr> <tr> <td>NO</td> <td> A Narrative Description of the Burroughs B5500 Master Control Program</td> <td> none</td> <td> none</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Nature of Computation</td> <td> Pohl, I. and Shaw, A.</td> <td> 1981</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> New Theories for new learnings (LOGO memo)</td> <td> Papert, S.</td> <td> 1984</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Numerical Methods with Fortran IV Case Studies</td> <td> Dorn, W. S. and McCracken, D. D.</td> <td> 1972</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Obfuscated C and other mysteries</td> <td> Libes, D.</td> <td> 1993</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Object oriented programming: an evolutionary approach</td> <td> Cox, B. J.</td> <td> 1986</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Object-Oriented Interface Design</td> <td> none</td> <td> none</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Object-oriented programming with C++ and Smalltalk</td> <td> Drake, C.</td> <td> 1998</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Occam Programming Manual</td> <td> Corp, I.</td> <td> 1984</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Oh! Pascal!</td> <td> Cooper, D. and Clancy, M. J.</td> <td> 1985</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Olivetti Underwood Programma 101 General Reference Manual</td> <td> none</td> <td> none</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> On LISP</td> <td> Graham, P.</td> <td> 1993</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Open Implementations and Metaobject Protocols</td> <td> Kiczales, G., Paepcke, A., and Kiczales, G.</td> <td> 1994</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Operating System Principles</td> <td> Hansen, P. B.</td> <td> 1973</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> Operating systems</td> <td> Tsichritzis, D. C.</td> <td> 1974</td> <td> Operating Systems </td> <td> Tsichritzis, Dionysios C. and Bernstein, Philip A. </td> <td> 1974</td> <td> Academic Press </td> <td> MF126: VS </td> </tr> <tr> <td>YES</td> <td> Operating Systems</td> <td> Madnick, S. E. and Donovan, J. J.</td> <td> 1974</td> <td> Operating Systems </td> <td> Madnick, Staurt E. and Donovan, John J. </td> <td> 1974</td> <td> McGraw-Hill Book Company </td> <td> MF126: VS </td> </tr> <tr> <td>YES</td> <td> Operating Systems Theory</td> <td> Coffman, E. G. and Denning, P. J.</td> <td> 1973</td> <td> Operating Systems Theory </td> <td> Coffman, Edward G. & Denning, Peter J. </td> <td> 1973</td> <td> Prentice-Hall </td> <td> MF126: VS </td> </tr> <tr> <td>NO</td> <td> PAL, programmable array logic, handbook</td> <td> Birkner, J. M.</td> <td> 1983</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> Pascal-User Manual and Report</td> <td> Jensen, K. and Wirth, N.</td> <td> 1975</td> <td> Pascal - User Manual and Report </td> <td> Jensen, Kathleen<br>Wirth, Niklaus </td> <td> 1978</td> <td> Springer-verlag </td> <td> MF126: VS </td> </tr> <tr> <td>NO</td> <td> PC Roadkill</td> <td> Hyman, M.</td> <td> 1995</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> PDP-11 Handbook</td> <td> none</td> <td> none</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> PDP-8 Manual</td> <td> none</td> <td> none</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> The PDP-8/e Small Computer Handbook</td> <td> none</td> <td> none</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Perceptrons</td> <td> none</td> <td> none</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Perspectives on the computer revolution</td> <td> Z. W. Pylyshyn and L. J. Bannon, Eds.</td> <td> 1989</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Peter Norton's Assembly Language Book for the IBM PC, Revised and Expanded</td> <td> Norton, P. and Socha, J.</td> <td> 1989</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Pgm DeBugging</td> <td> Brown, A. R. and Sampson, W. A.</td> <td> 1973</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> PL/I Language Log</td> <td> none</td> <td> none</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Planning a computer system: Project Stretch</td> <td> Buchholz, W.</td> <td> 1962</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> A Practical Guide to Algol 68 (Wiley Series in Computing)</td> <td> Pagan, F. G.</td> <td> 1976</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> The Preparation of Programs for an Electronic Digital Computer (Charles Babbage Institute Reprint)</td> <td> Wilkes, M. V., Wheeler, D. J., and Gill, S.</td> <td> 1984</td> <td> The Preparation of Programs for an Electronic Digital Computer </td> <td> Wilkes, Maurice B. </td> <td> 1982</td> <td> Tomash Publishers </td> <td> <br></td> </tr> <tr> <td>NO</td> <td> Prime 50 Series Architecture Manual</td> <td> none</td> <td> none</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Primer of Algol 60 Programming</td> <td> Dijkstra, E. W.</td> <td> 1962</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Principles of Concurrent Programming</td> <td> Ari, B. and Ben-Ari, M.</td> <td> 1982</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> Principles of interactive computer graphics (2nd ed.)</td> <td> Newman, W.M. and Sproull, R. F.</td> <td> 1979</td> <td> Principles of Interactive Computer Graphics </td> <td> Newman, William M. and Sproull, Robert F. </td> <td> 1979</td> <td> McGraw-Hill </td> <td> MF126: vs </td> </tr> <tr> <td>NO</td> <td> Principles of Program Design</td> <td> Jackson, M. A.</td> <td> 1975</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> Principles of Programming Languages</td> <td> Tennent, R. D.</td> <td> 1981</td> <td> Principles of Programming Languages </td> <td> Tennent, R. D. </td> <td> 1981</td> <td> Prentice-Hall </td> <td> MF126: vs </td> </tr> <tr> <td>NO</td> <td> Probability, Statistics, and Queueing Theory with Computer Science Applications</td> <td> Allen, A. O.</td> <td> 1978</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> Problem-Solving Methods in Artificial Intelligence</td> <td> Nilsson, N. J.</td> <td> 1971</td> <td> Problem-Solving Methods in Artificial Intelligence </td> <td> Nilsson, Nils J. </td> <td> copyright1971</td> <td> McGraw-Hill Book Company </td> <td> MF45: Office </td> </tr> <tr> <td>NO</td> <td> Program Flow Analysis</td> <td> Muchnick, S. S. and Jones, N. D.</td> <td> 1981</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> The programmer's apprentice</td> <td> Rich, C. and Waters, R. C.</td> <td> 1990</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> The Programmer's CP/m Handbook</td> <td> Johnson-Laird, A.</td> <td> 1983</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> A Programmer's Geometry</td> <td> Bowyer, A. and Woodwark, J.</td> <td> 1983</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Programmers at Work</td> <td> Lammers, S. M.</td> <td> 1986</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Programming for an automatic digital calculator</td> <td> Booth, K. H.</td> <td> 1958</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Programming from specifications (2nd ed.)</td> <td> Morgan, C.</td> <td> 1994</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> Programming in Modula-2</td> <td> Wirth, N.</td> <td> 1983</td> <td> Programming in Modula-2 </td> <td> Wirth, Niklaus </td> <td> 1984</td> <td> Springer-Verlag </td> <td> MF126: vs </td> </tr> <tr> <td>NO</td> <td> Programming in Oberon</td> <td> Reiser, M. and Wirth, N.</td> <td> 1992</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Programming language structures</td> <td> Organick, E. I.</td> <td> 1978</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> A Programming Language</td> <td> Iverson, K. E.</td> <td> 1962</td> <td> A Programming Language </td> <td> Iverson, Kenneth E. </td> <td> 1962</td> <td> John wiley and Sons </td> <td> <br></td> </tr> <tr> <td>NO</td> <td> Programming Languages</td> <td> Sammet, J. E.</td> <td> 1969</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> Programming languages and their compilers</td> <td> Cocke, J.</td> <td> 1969</td> <td> Programming Languages and Their Compilers </td> <td> Cocke, John and J.T. Schwartz </td> <td> 1970</td> <td> New York University, Courant Institute of Mathematical Sciences </td> <td> MF45: Office </td> </tr> <tr> <td>YES</td> <td> Programming Languages, Information Structures, and Machine Organization</td> <td> Wegner, P.</td> <td> 1968</td> <td> Programming Languages, Information Structures, and Machine Organization </td> <td> Wegner, Peter </td> <td> 1968</td> <td> McGraw-Hill </td> <td> MF126: VS </td> </tr> <tr> <td>NO</td> <td> Programming languages: an interpreter-based approach</td> <td> Kamin, S. N.</td> <td> 1990</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Programming Paradigms in LISP</td> <td> Sangal, R.</td> <td> 1990</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Programming productivity</td> <td> Jones, C.</td> <td> 1986</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Programming Systems and Languages.</td> <td> Saul, R.</td> <td> 1967</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Programming the 6502</td> <td> Zaks, R.</td> <td> 1979</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> Programming the IBM 360</td> <td> Germain, C. B.</td> <td> 1967</td> <td> Programming the IBM 360 </td> <td> Germain, Clarence B. </td> <td> 1967</td> <td> Prentice-Hall </td> <td> MF126: VS </td> </tr> <tr> <td>YES</td> <td> Programming the IBM 650 magnetic drum computer and data-processing machine</td> <td> Andree, R. V.</td> <td> 1958</td> <td> Programming the IBM 650 Magnetic Drum Computer and Data-Processing Machine </td> <td> Andree, Richard V. </td> <td> 1958</td> <td> Holt, Rinehart & Winston </td> <td> <br></td> </tr> <tr> <td>NO</td> <td> The Programmming Language LISP</td> <td> none</td> <td> none</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Project Oberon</td> <td> Wirth, N. and Gutknecht, J.</td> <td> 1992</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Proofs and types</td> <td> Girard, J., Taylor, P., and Lafont, Y.</td> <td> 1989</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Qualitätsprüfung von Softwareprodukten</td> <td> none</td> <td> none</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Quantitative system performance: computer system analysis using queueing network models</td> <td> Lazowska, E. D., Zahorjan, J., Graham, G. S., and Sevcik, K. C.</td> <td> 1984</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Rationale for the design of the Ada programming language</td> <td> Ichbiah, J., Barnes, J., Firth, R., and Woodger, M.</td> <td> 1981</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> The RC 4000 Operating System</td> <td> none</td> <td> none</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES?</td> <td> Real Time Programming</td> <td> Foster, C. C.</td> <td> 1981</td> <td> Real Time Programming - Neglected Topics </td> <td> Foster, Caxton C. </td> <td> 1982</td> <td> Addison-Wesley </td> <td> MF126: VS </td> </tr> <tr> <td>NO</td> <td> Recursive Descent Compiling</td> <td> Davie, J. T. and Morrison, R.</td> <td> 1982</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> The relational model for database management: version 2</td> <td> Codd, E. F.</td> <td> 1990</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> Reliable software through composite design</td> <td> Myers, G. J.</td> <td> 1975</td> <td> Reliable Software Through Composite Design </td> <td> Myers, Glenford J. </td> <td> 1975</td> <td> Petrocelli / Charter </td> <td> MF126: VS </td> </tr> <tr> <td>NO</td> <td> Revised report on the algorithmic language ALGOL 68</td> <td> none</td> <td> none</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> The REXX language: a practical approach to programming</td> <td> Cowlishaw, M. F.</td> <td> 1986</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES?</td> <td> Rule Based Expert Systems</td> <td> Buchanan, B. G. and Shortliffe, E. H.</td> <td> 1984</td> <td> Rule-Based Expert Systems - The MYCIN Experiments of the Stanford Heuristic Programming Project </td> <td> Buchanan, Bruce G.<br>Shortliffe, Edward H. </td> <td> 1985</td> <td> Addison-Wesley </td> <td> MF126: VS </td> </tr> <tr> <td>YES</td> <td> The Sachertorte Algorithm and Other Antidotes to Computer Anxiety</td> <td> Shore, J.</td> <td> 1985</td> <td> The Sachertorte Algorithm<br>and Other Antidotes to Computer Anxiety </td> <td> Shore, John </td> <td> 1985</td> <td> Viking </td> <td> MF126: VS </td> </tr> <tr> <td>NO</td> <td> SDS 940 (XDS 940) Computer Reference Manual</td> <td> none</td> <td> none</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> Selected Writings on Computing</td> <td> Dijkstra, E. W.</td> <td> 1982</td> <td> Selected Writings on Computing: A Personal Perspective </td> <td> Dijkstra, Edsger W. </td> <td> 1982</td> <td> Springer-Verlag </td> <td> MF126: VS </td> </tr> <tr> <td>YES</td> <td> Semantic Information Processing</td> <td> Minsky, M. L.</td> <td> 1969</td> <td> Semantic Information Processing </td> <td> Minsky, Marvin </td> <td> 1968</td> <td> MIT Press </td> <td> MF126: VS </td> </tr> <tr> <td>NO</td> <td> Semiology of graphics</td> <td> Bertin, J.</td> <td> 1983</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> Sequential Machines: Selected Papers</td> <td> E. F. Moore, Ed.</td> <td> 1964</td> <td> Sequential Machines: Selected Papers </td> <td> Moore, Edward F. </td> <td> 1964</td> <td> Addison-Wesley </td> <td> MF126: VS </td> </tr> <tr> <td>NO</td> <td> Shockwave Rider</td> <td> Brunner, J.</td> <td> 1984</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> A Simplified Guide to Structured COBOL Programming</td> <td> McCracken, D. D.</td> <td> 1976</td> <td> A Simplified Guide to Structured COBOL Programming </td> <td> McCracken, Daniel D. and Golden, Donald G. </td> <td> 1988</td> <td> John Wiley & Sons </td> <td> MF126: VS </td> </tr> <tr> <td>NO</td> <td> SIMULA 67 common base language, (Norwegian Computing Center. Publication)</td> <td> Dahl, O.</td> <td> 1968</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Simula Begin</td> <td> Birtwhistle, G., Dahl, O., Myhrhaug, B., and Nygaard, K.</td> <td> 1979</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Sinclair ZX81 Basic programming</td> <td> Vickers, S.</td> <td> 1981</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Sketchpad</td> <td> Sutherland, I. E.</td> <td> 1980</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Small computer systems handbook (Hayden microcomputer series)</td> <td> Libes, S.</td> <td> 1978</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Smalltalk-80: bits of history, words of advice</td> <td> G. Krasner, Ed.</td> <td> 1983</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Smalltalk-80: the interactive programming environment</td> <td> Goldberg, A.</td> <td> 1984</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> Smalltalk-80: the language and its implementation</td> <td> Goldberg, A. and Robson, D.</td> <td> 1983</td> <td> Smalltalk-80<br>The Language and its Implementation </td> <td> Goldberg, Adele & Robson, David </td> <td> 1983</td> <td> addison-Wesley </td> <td> MF126: VS </td> </tr> <tr> <td>NO</td> <td> The SMART Retrieval System—Experiments in Automatic Document Processing</td> <td> Salton, G.</td> <td> 1971</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> The SNOBOL4 programming language</td> <td> Griswold, R. E.</td> <td> 1968</td> <td> The SNOBOL 4 Programming Language </td> <td> Griswold, R.E. & Poage, J. F. & Polonsky </td> <td> 1968</td> <td> Prentice-Hall </td> <td> MF126: VS </td> </tr> <tr> <td>NO</td> <td> Software configuration management: coordination for team productivity</td> <td> Babich, W. A.</td> <td> 1986</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Software creativity</td> <td> Glass, R. L.</td> <td> 1995</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Software Design</td> <td> Peters, L. J.</td> <td> 1981</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Software Design for Microprocessors</td> <td> Wester, J. G. and Simpson, W. D.</td> <td> 1976</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Software Development</td> <td> Jones, C. B.</td> <td> 1980</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> Software Engineering</td> <td> P. Naur and B. Randell, Eds.</td> <td> 1969</td> <td> Software Engineering </td> <td> Naur, Peter and Randell, Brian </td> <td> 1969</td> <td> NATO </td> <td> MF126: VS </td> </tr> <tr> <td>YES</td> <td> Software engineering concepts</td> <td> Fairley, R.</td> <td> 1985</td> <td> Software Engineering Concepts </td> <td> Fairley, Richard E. </td> <td> 1985</td> <td> Addison-Wesley </td> <td> MF126: VS </td> </tr> <tr> <td>YES</td> <td> Software Engineering Techniques</td> <td> J. N. Buxton and B. Randell, Eds.</td> <td> 1970</td> <td> Software Engineering Techniques </td> <td> Buxton, J.N. & Randell, B. - Editors </td> <td> 1970</td> <td> NATO Science Committee </td> <td> MF126: VS </td> </tr> <tr> <td>NO</td> <td> Software engineering: reliability, development, and management.</td> <td> Shooman, M. L.</td> <td> 1983</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Software Manual for the Elementary Functions (Prentice-Hall series in computational mathematics)</td> <td> Cody, W. J.</td> <td> 1980</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> Software psychology</td> <td> Shneiderman, B.</td> <td> 1980</td> <td> Software Psychology<br>Human Factors in Computer and Information Systems </td> <td> Shneiderman, Ben </td> <td> 1980</td> <td> Winthrop Publishers, Inc </td> <td> MF126: VS </td> </tr> <tr> <td>NO</td> <td> Software Testing Techniques</td> <td> Beizer, B.</td> <td> 1990</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> A software tools sampler</td> <td> Miller, W.</td> <td> 1987</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Specification case studies</td> <td> I. Hayes, Ed.</td> <td> 1987</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Specification of computer programs</td> <td> Turski, W. M. and Maibaum, T. S.</td> <td> 1987</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Starting FORTH</td> <td> Brodie, L.</td> <td> 1980</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Strategies for real-time system specification</td> <td> Hatley, D. J. and Pirbhai, I. A.</td> <td> 1987</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Structure of Computers and Computations</td> <td> Kuck, D. L.</td> <td> 1978</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Structured BASIC programming</td> <td> Kemeny, J. G. and Kurtz, T. E.</td> <td> 1986</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Structured Development for Real-Time Systems</td> <td> Ward, P. T. and Mellor, S. J.</td> <td> 1991</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> Structured Programming</td> <td> Dahl, O. J.</td> <td> 1972</td> <td> Structured Programming </td> <td> Dahl, Dijkstra and Hoare </td> <td> 1973</td> <td> Academic Press </td> <td> MF45: Office </td> </tr> <tr> <td>YES</td> <td> Structured Systems Development</td> <td> Orr, K. T.</td> <td> 1986</td> <td> Structured Systems Development </td> <td> Orr, Kenneth T. </td> <td> 1977</td> <td> Yourdon Press </td> <td> MF126: vs </td> </tr> <tr> <td>YES</td> <td> Studies in Ada Style</td> <td> Hibbard, P.</td> <td> 1982</td> <td> Studies in Ada Style </td> <td> Hibbard, Hisgen, ... </td> <td> 1983</td> <td> Springer-Verlag </td> <td> MF126: vs </td> </tr> <tr> <td>YES</td> <td> Supercomputer architecture</td> <td> Schneck, P. B.</td> <td> 1987</td> <td> Supercomputer Architecture </td> <td> Schneck, Paul B. </td> <td> 1987</td> <td> Kluwer Academic Publishers </td> <td> MF126: VS </td> </tr> <tr> <td>NO</td> <td> Switching and Finite Automata Theory</td> <td> Kohavi, Z.; R. W. Hamming and E. A. Feigenbaum, Eds.</td> <td> 1990</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> A symbolic analysis of relay and switching circuits</td> <td> Shannon, C. E.</td> <td> 1938</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> System development (Prentice-Hall International series in computer science)</td> <td> Jackson, M. A.</td> <td> 1983</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> System-360 Job-Control Language</td> <td> Brown, G. D.</td> <td> 1970</td> <td> System/360 - Job Control Language </td> <td> Brown, Gary Deward </td> <td> 1970</td> <td> Wiley </td> <td> MF126: vs </td> </tr> <tr> <td>NO</td> <td> Systematic Programming</td> <td> Wirth, N.</td> <td> 1973</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Systems Programming</td> <td> Donovan, J. J.</td> <td> 1972</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Tales of Computing Folk</td> <td> Glass, R.</td> <td> 1978</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> TCP\IP</td> <td> Washburn, K. and Evans, J. T.</td> <td> 1993</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Teaching children thinking (LOGO memo)</td> <td> Papert, S.</td> <td> 1971</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Theories of abstract automata (Prentice-Hall series in automatic computation)</td> <td> Arbib, M. A.</td> <td> 1969</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Theory of Automata</td> <td> Salomaa, A. and Sneddon, I. N.</td> <td> 1969</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Theory of Computation</td> <td> Brainerd, W. S. and Landweber, L. H.</td> <td> 1974</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Theory of computation: formal languages, automata, and complexity</td> <td> Brookshear, J. G.</td> <td> 1989</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Theory of Parsing, Translation and Compiling</td> <td> Aho, A. V. and Ullman, J. D.</td> <td> 1973</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> The Theory of Parsing, Translation, and Compiling</td> <td> Aho, A. V. and Ullman, J. D.</td> <td> 1972</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Theory of Relational Databases</td> <td> Maier, D.</td> <td> 1983</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Thinking FORTH: a language and philosophy for solving problems</td> <td> Brodie, L. B.</td> <td> 1984</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Threaded Interpretive Languages</td> <td> Loeliger, R. G.</td> <td> 1981</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Time Sharing Computer Systems</td> <td> Wilkes, M. V.</td> <td> 1975</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> Timesharing system design concepts (McGraw-Hill computer science series)</td> <td> Watson, R. W.</td> <td> 1970</td> <td> Timesharing System Design Concepts </td> <td> Watson, Richard W. </td> <td> 1970</td> <td> McGraw-Hill </td> <td> MF126: VS </td> </tr> <tr> <td>NO</td> <td> To compute numerically</td> <td> Pizer, S. M.</td> <td> 1983</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> TTL Cookbook</td> <td> Lancaster, D. E.</td> <td> 1974</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> TTL Data Book for Design Engineers</td> <td> none</td> <td> none</td> <td> The TTL Data Book for Design Engineers </td> <td> <br></td> <td> none</td> <td> Texas Instruments </td> <td> MF45 </td> </tr> <tr> <td>NO</td> <td> Tutorial on Software Design Techniques</td> <td> Wasserman, A.</td> <td> 1990</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES?</td> <td> Understanding Natural Language</td> <td> Winograd, T.</td> <td> 1972</td> <td> Procedures as a Representation for Data in a<br> Computer Program for Understanding Natural Language<br>MAC-TR-84</td> <td> Winograd, Terry </td> <td> none</td> <td> <br></td> <td> MF126: vs </td> </tr> <tr> <td>NO</td> <td> Understanding X.500</td> <td> Chadwick, D.</td> <td> 1994</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> UNIVAC 1108 Processor and Storage, UP-4053 Rev. 1, 1966, 1970</td> <td> none</td> <td> none</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> University Education in Computing Science</td> <td> A. Finerman, Ed.</td> <td> 1968</td> <td> University Education in Computing Science </td> <td> Finerman, Aaron, ed. </td> <td> 1968</td> <td> <br></td> <td> MF45 </td> </tr> <tr> <td>NO</td> <td> UNIX Operating System</td> <td> Christian, K.</td> <td> 1983</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> The UNIX philosophy</td> <td> Gancarz, M.</td> <td> 1995</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> UNIX Programmer's Supplementary Documents (PSD), 4.4 Berkeley Software Distribution</td> <td> none</td> <td> none</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Unix Seventh Edition Manual</td> <td> none</td> <td> none</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> UNIX system security</td> <td> Wood, P. H. and Kochan, S. G.</td> <td> 1986</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> UNIX-Hater Handbook</td> <td> Garfinkle, S., Weise, D., and Strassmann, S.</td> <td> 1994</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> USA Standard FORTRAN (USAS X3.9-1966)</td> <td> none</td> <td> none</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> User's Manual for Level I BASIC</td> <td> none</td> <td> none</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> VAX/VMS internals and data structures</td> <td> Kenah, L. J. and Bate, S. F.</td> <td> 1984</td> <td> Vax / VMS Internals and Data Structures </td> <td> Kenah, Lawrence J. and Bate, Simon F. </td> <td> 1984</td> <td> Digital Press </td> <td> MF126: VS </td> </tr> <tr> <td>NO</td> <td> Verification of Safety properties</td> <td> none</td> <td> none</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> A View of Programming Languages (Addison-Wesley Series in Computer Science and Information Pr)</td> <td> Galler and Perlis</td> <td> 1976</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> The way things work book of the computer: an illustrated encyclopedia of information science, cybernetics, and data processing</td> <td> unwinn, A. a.</td> <td> 1974</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> What Computing is all About</td> <td> Van de Snepscheut, J. L.</td> <td> 1993</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Windows NT file system internals</td> <td> Nagar, R.</td> <td> 1997</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>YES</td> <td> The wired society</td> <td> Martin, J.</td> <td> 1978</td> <td> The Wired Society </td> <td> Martin, James </td> <td> 1978</td> <td> Prentice-Hall Inc. </td> <td> <br></td> </tr> <tr> <td>NO</td> <td> Writing Efficient Programs</td> <td> Bentley, J. L.</td> <td> 1982</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Writings of the Revolution</td> <td> Yourdon, E.</td> <td> 1986</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> <tr> <td>NO</td> <td> Zen of code optimization</td> <td> Abrash, M.</td> <td> 1994</td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> <td> --- </td> </tr> </table>