books by center members

These well-known books should all be in print and available (to be honest, the amazon bookstore describes a few of them as "hard to find"). Author-names of current center members are linked to their home pages.

• R. Fourer, D. M. Gay, and B. W. Kernighan,    AMPL: A Modeling Language for Mathematical Programming, Duxbury Press, 1993, ISBN 0534509835.
• G. J. Holzmann, Beyond Photography: The Digital Darkroom, Prentice-Hall, 1988, ISBN 0130744107.
• G. J. Holzmann, Design and Validation of Computer Protocols, Prentice-Hall, 1990, ISBN 0135399254.
• G. J. Holzmann, The Early History of Data Networks, IEEE Computer Society, 1995, ISBN 0818667826.
• B. W. Kernighan and P. J. Plauger, The Elements of Programming Style, McGraw-Hill, second edition 1988, ISBN 0070342075.
• B. W. Kernighan and D. M. Ritchie,    The C Programming Language, Prentice-Hall, first edition 1978, ISBN 0131101633; second edition 1988, ISBN 0131103628.
• B. W. Kernighan and P. J. Plauger, Software Tools, Addison-Wesley, 1976, ISBN 020103669X.
• B. W. Kernighan and P. J. Plauger, Software Tools in Pascal, Addison-Wesley, 1981, ISBN 0201103427.
• B. W. Kernighan and R. Pike, The Unix Programming Environment, Prentice-Hall, 1984, ISBN 0139376992.
• B. W. Kernighan and R. Pike, The Practice of Programming, Addison-Wesley, 1999, ISBN 0-201-61586-X.
• A. V. Aho, B. W. Kernighan, and P. J. Weinberger, The AWK Programming Language, Addison-Wesley, 1988, ISBN 020107981X.

books by alumni...

These classic books were written while their authors were members of the center:

• A. V. Aho, R. Sethi, J. D. Ullman, Compilers: Principles, Techniques, and Tools, Addison-Wesley, 1988, ISBN 0201100886.
• S. Chakradhar, V. Agrawal, and M. Bushnell, Neural Models and Algorithms for Digital Testing, Kluwer Academic Publishing, ISBN 0792391659.
• V. Agrawal and S. Seth, Tutorial: Test Generation for VLSI Chips, IEEE Computer Society, 1988, ISBN 081868786X.
• J. L. Bentley, Writing Efficient Programs, Prentice-Hall, 1982, ISBN 013970244X.
• J. L. Bentley, Programming Pearls, Addison-Wesley, 1985, ISBN 0201103311.
• J. L. Bentley, More Programming Pearls: Confessions of a Coder, Addison-Wesley, 1988, ISBN 0201118890.
• J. L. Bentley, Programming Pearls, 2nd Edition, Addison-Wesley, 2000, ISBN 0201657880.
• W. R. Cheswick and S. M. Bellovin, Firewalls and Internet Security: Repelling the Wily Hacker, Addison-Wesley, 1994, ISBN 0201633574.
• Edmund M. Clarke, Orna Grumberg and Doron Peled, Model Checking, MIT Press, 2000, ISBN 0262032708 .
• R. W. Hamming, Numerical Methods for Scientists and Engineers, Dover, 1987, ISBN 0486652416.
• R. P. Kurshan, Computer-aided Verification of Coordinating Processes, Princeton U. Press, 1995, ISBN 0691034362.
• J. H. Reppy, Concurrent Programming in ML, Cambridge U. Press, 1999, ISBN 0521480892.
• M. Shoji, CMOS Digital Circuit Technology, Prentice-Hall, 1988, ISBN 0131388509.
• M. Shoji, Theory of CMOS Digital Circuits and Circuit Failures, Princeton U. Press, 1993, ISBN 0691087636.
• M. Shoji, High Speed Digital Circuits, Addison Wesley, 1996, ISBN 0-201-63283-X.
• M. Shoji, The Dynamics of Digital Excitation, Kluwer Academic Publishers, 1998, ISBN 0-7923-8093-2.
• Bjarne Stroustrup, The C++ Programming Language, Addison-Wesley, second edition 1991, ISBN 0201539926.
• Bjarne Stroustrup, The Design and Evolution of C++, Addison-Wesley, 1994, ISBN 0201543303.
• P. E. Gill, W. Murray, and M. H. Wright, Practical Optimization, Academic Press, 1982, ISBN 0122839528.
• P. E. Gill, W. Murray, and M. H. Wright, Numerical Linear Algebra and Optimization, Addison-Wesley, 1991, ISBN 0201126494.

Go to the Computing Sciences Research Center home page.