William Arms

• Digital Libraries. MIT Press, ISBN 0-262-01180-8, 2000.

Kavita Bala

Kenneth Birman

• Building Secure and Reliable Network Applications.  Manning Publishing Company and Prentice Hall, Englewood Cliffs, NJ, 1997.

• Reliable Distributed C computing with Isis Toolkit.  IEEE Computer Society Press, 1994. (With Robbert Van Renesse)

Thomas F. Coleman

•   Large-Scale Numerical Optimization.  SIAM, 1990. (With Yuying Li)

Robert L. Constable

• Implementing Mathematics with the Nuprl Proof Development System.  Prentice Hall, 1986. (With S.F. Allen, H.M. Bromley, W.R. Cleaveland, J.F. Cremer, R.W. Harper, D.J. Howe, T.B. Knoblock, N.P. Mendler, P. Panangaden, J.T. Sasaki, S.F. Smith)

• A  Programming Logic.   Winthrop Publishers, Cambridge, 1978. (With M.J. O'Donnell)

• PL/CV2 Program Verifier Reference Manual.   Computer Science Department, Cornell University, 1978. (With Scott Johnson)

R. Conway

• A Primer on PASCAL , 2nd edition.  Winthrop Publishing, New York, 1981. (With D. Gries and Carl Zimmerman

• Programming for Poets:  Using Basic. Winthrop Press, 1979. (With J. Archer)

• Programming for Poets:  Using Pascal. Winthrop Press, 1979. (With J. Archer)

• An Introduction to Microprocessor Programming.  Winthrop Press, 1979. (With C. Bass, M. Fay, and D. Gries)

• An Introduction to Programming:  A Structured Approach Using PL/I and PL/C.  Winthrop Press, 1979 (With D. Gries)

• Programming for Poets:  A Gentle Introduction using PL/I.   Winthrop Publishing, 1978.

• Programming for Poets:  A Gentle Introduction using FORTRAN.  Winthrop Publishing, 1978. (With James Archer)

• A Primer on Disciplined Programming.  Winthrop Publishers, 1977.

• Introduction to Structured Programming, Using SP/k.  Winthrop Publishers, 1977 (With D. Gries and D. Wortman)

• Primer on Structured Programming.  Winthrop Publishers, 1976 (With D. Gries)

• Primer on PASCAL.  Winthrop Publishers, 1976 (With D. Gries, E.C. Zimmerman)

• An Introduction to Programming - A Structured Approach.   2nd edition, Winthrop Publishers, 1975. (With D. Gries)

• An Introduction to Programming:  A Structured Approach Using PL/I and PL/C.  Winthrop Publishers, 1973. (With D. Gries)

• An Introduction to Programming. Winthrop Publishers, 1973. (With D. Gries)

• Theory of Scheduling.   Addison-Wesley, 1967. (With W.L. Maxwell, L.W. Miller)

B.R. Donald

• Symbolic and Numerical Computation for Artificial Intelligence.  Academic Press, 1992. (With D. Kapur and J.L. Mundy) 

•   Robotics.  American  Mathematical Society, 1990. (With J. Baillieul, D.P. Martin, R.W. Brockett, R.M. Murray, S. Shankar Sastry, M. Raghavan)

Johannes Gehrke

• Database Management Systems.   1999. Second Edition. McGraw Hill. (With Raghu Ramakrishnan)

David Gries

• Programming Concepts and Methods, PROCOMET '98. Chapman and Hall, London, 1998.  David Gries and Willem-Paul De Roever (editors).

• A Logical Approach to Discrete Math.  Springer-Verlag, 1993.  (With Fred Schneider)

• The Science of Programming.  Springer Verlag, 1981.

• A Primer on PASCAL , 2nd edition.  Winthrop Publishing, New York, 1981 (With R. Conway and Carl Zimmerman)

• An Introduction to Microprocessor Programming.  Winthrop Press, 1979. (With C. Bass, M. Fay, and R. Conway)

• An Introduction to Programming:  A Structured Approach Using PL/I and PL/C.  Winthrop Press, 1979 (With R. Conway)

• Introduction to Structured Programming, Using SP/k.  Winthrop Publishers, 1977 (With R.W. Conway and D. Wortman)

• Primer on Structured Programming.  Winthrop Publishers, 1976 (With R.W. Conway)

• Primer on PASCAL.  Winthrop Publishers, 1976 (With R.W. Conway, E.C. Zimmerman)

• An Introduction to Programming - A Structured Approach.   2nd edition, Winthrop Publishers, 1975. (With D. Gries)

• An Introduction to Programming:  A Structured Approach Using PL/I and PL/C.  Winthrop Publishers, 1973. (With R.W. Conway)

• An Introduction to Programming. Winthrop Publishers, 1973. (With R.W. Conway)

• Compiler Construction for Digital Computers .   John Wiley & Sons, 1971.

Joseph Halpern .

• Reasoning About Knowledge.  MIT Press, 1995.  (With Ronald Fagin, Yoran Moses, Moshe Vardi)

John Hopcroft

• Data Structures and Algorithms.  Addison Wesley, 1983. (With Alfred Aho and Jeffrey D. Ullman)

• The Design and Analysis of Computer Algorithms.  Addison-Wesley Publishing Co., 1974. (With Alfred Aho and Jeffrey D. Ullman)

Srinivasan Keshav

• An Engineering Approach to Computer Networking:  ATM Networks, the Internet, and the Telephone Network.  Addison-Wesley, Menlo Park, CA, 1997.

Dexter Kozen

• Automata and Computability.  Springer Verlag, New York, NY, 1997.

• The Design and Analysis of Algorithms. Springer-Verlag, 1991.

Gerard Salton

• Automatic Text Processing:  The Transformation, Analysis, and Retrieval of Information by Computer.    Addison Wesley, 1989.

• Introduction to Modern Information Retrieval.  McGraw Hill, 1983. (With Michael J. McGill)

• Dynamic Information and Library Processing.  Prentice Hall, 1975.

• The SMART Retrieval System - Experiments in Automatic Document Processing.  Prentice-Hall, 1971.

• Automatic Information Organization and Retrieval.   McGraw Hill, 1968.

Fred. B. Schneider

• Trust in Cyberspace.  National Academy Press, 1999

• On Concurrent Programming.  Springer Verlag, New York, NY, 1997.

• A Logical Approach to Discrete Math.  Springer-Verlag, 1993.

David Schwartz

• Introduction to UNIX, Prentice Hall, 1999

• Introduction to Maple, Prentice Hall, 1999

Tim Teitelbaum. 

• The Synthesizer Generator:  A System for Constructing Language-Based Editors.  Springer-Verlag, 1989. (With Thomas W. Reps)

• The Cornell Program Synthesizer:  A Tutorial Introduction.  Cornell University, July 1979.

Nick Trefethen  

• Numerical Linear Algebra.  SIAM, Philadelphia, PA, 1997. (With David Bau III)

• Numerical Conformal Mapping.    Elsevier Science Publishers, B.V., 1986.

Charles Van Loan 

• Introduction to Scientific Computing:  A Matrix Approach Using MATLAB.  Prentice Hall, Englewood Cliffs, NJ, 1997.

• Matrix Computations.  John Hopkins University Press, 1989. (With Gene Golub)

Robbert Van Renesse

• Reliable Distributed C computing with Isis Toolkit.  IEEE Computer Society Press, 1994. (with Kenneth Birman)

Stephen Vavasis 

• Nonlinear Optimization:  Complexity Issues.  Oxford Science Publications, 1991.

P. Wegner 

• Programming Languages, Information Structures and Machine Organization  McGraw-Hill, 1968.

• The Structure of Programming Languages.  McGraw-Hill, 1967

Richard Zippel 

• Effective Polynomial Computation.  Kluwer Academic Publishers, 1993.