2010
Jon Kleinberg. Networks, Crowds, and Markets: Reasoning About a Highly Connected World. Cambridge University Press, 2010. (With David Easley)
2009
Christoph Koch. Logical Foundations of Web Data Extraction (Encyclopedia of Database Systems). Springer, 2009.
Christoph Koch. "MayMBS: A System for Managing Large Uncertain and Probabalistic Databases," in Managing and Mining Uncertain Data, Springer-Verlag, 2009.
Johannes Gehrke. Database Management Systems, Third Edition. McGraw-Hill, 2009. (With Raghu Ramakrishnan)
2008
Johannes Gehrke. "Classification and Regression Trees," in Encyclopedia of Data Warehousing and Mining, Second Edition, Edited by Jon Wong. Information Science Publishing, 2008.
Lillian Lee and Bo Pang. Opinion Mining and Sentiment Analysis (Foundations and Trends in Information Retrieval), 2(1-2), pp. 1-135, Now, 2008.
2007
Eva Tardos. Algorithmic Game Theory. Cambridge Univesity Press, 2007. (With Noam Nisan, Tim Roughgarden and Vijay Vazirani)
2006
Kavita Bala. Advanced Global Illumination, Second Edition. AK Peters, Ltd., 2006. (With Philip Dutre and Philippe Bekaert)
Dexter Kozen. Theory of Computation (Texts in Computer Science). Springer-Verlag, 2006
2005
Kavita Bala, Ed. Rendering Techniques. Springer-Verlag, 2005. (With Phil Dutre)
Jon Kleinberg and Eva Tardos. Algorithm Design. Addison-Wesley, 2005.
Steve Marschner. "Signal Processing," in Fundamentals of Computer Graphics, Second Edition. A.K. Peters, Ltd, 2005. (With Peter Shirley, Michael Ashikhmin, Michael Gleicher, Erik Reinhard, Kevin Sung, William Thompson and Peter Willemsen)
2004
David Gries. Multimedia Introduction to Programming Using Java. Springer Verlag, NY, 2004. (With Paul Gries)
Ken Birman and Robbert Van Renesse. Reliable Distributed Computing with Isis Toolkit. IEEE Computer Society Press, 1994.
2003
Kavita Bala. Advanced Global Illumination. AK Peters, Ltd., ISBN ISBN: 1-56881-177-2, 2003. (With Philip Dutre and Philippe Bekaert)
Joseph Halpern. Reasoning About Uncertainty. MIT Press, 2003.
2002
Thorsten Joachims. Learning to Classify Text using Support Vector Machines. Kluwer/Springer, 2002.
2000
William Arms. Digital Libraries. MIT Press, ISBN 0-262-01180-8, 2000.
David Gries. ProgramLive. Data Description, Ithaca, NY, 2000. (A CD with over 250 recorded lectures with synched animation.) (With Paul Gries)
Dexter Kozen with David Harel and Jerzy Tiyryn. Dynamic Logic. MIT Press, 2000.
1999
Johannes Gehrke and Raghu Ramakrishnan. Database Management Systems, Second Edition. McGraw Hill, 1999.
Fred Schneider (Editor). Trust in Cyberspace. National Academy Press, 1999.
David Schwartz. Introduction to Unix. Prentice Hall, 1999.
David Schwartz. Introduction to Maple. Prentice Hall, 1999.
1998
David Gries and Willem-Paul De Roever (Editors). Programming Concepts and Methods, PROCOMET '98. Chapman and Hall, London, 1998.
1997
Kenneth Birman. Building Secure and Reliable Network Applications. Manning Publishing Company and Prentice Hall, Englewood Cliffs, NJ, 1997.
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.
Fred. B. Schneider. On Concurrent Programming. Springer Verlag, New York, NY, 1997.
Nick Trefethen and David Bau III. Numerical Linear Algebra. SIAM, Philadelphia, PA, 1997.
Charles Van Loan. Introduction to Scientific Computing: A Matrix Approach Using MATLAB. Prentice Hall, Englewood Cliffs, NJ, 1997.
1995
Joseph Halpern, Ronald Fagin, Yoran Moses, Moshe Vardi. Reasoning About Knowledge. MIT Press, 1995.
1994
Kenneth P. Birman, Robbert Van Renesse. Reliable Distributed C computing with Isis Toolkit. IEEE Computer Society Press, 1994.
1993
David Gries, Fred Schneider. A Logical Approach to Discrete Math. Springer-Verlag, 1993.
Richard Zippel. Effective Polynomial Computation. Kluwer Academic Publishers, 1993.
1992
B.R. Donald, D. Kapur, J.L. Mundy. Symbolic and Numerical Computation for Artificial Intelligence. Academic Press, 1992.
1991
Dexter Kozen. The Design and Analysis of Algorithms. Springer-Verlag, 1991.
Stephen Vavasis. Nonlinear Optimization: Complexity Issues. Oxford Science Publications, 1991.
1990
J. Baillieul, D.P. Martin, R.W. Brockett, B.R. Donald, R.M. Murray, S. Shankar Sastry, M. Raghavan. Robotics. American Mathematical Society, 1990.
Thomas F. Coleman, Yuying Li. Large-Scale Numerical Optimization. SIAM, 1990.
Feijen, A.J.M. van Gasteren, David Gries, and J. Misra (editors). Beauty is our Business. Springer Verlag, New York, 1990, 453 pages.
1989
Thomas W. Reps, Tim Teitelbaum. The Synthesizer Generator: A System for Constructing Language-Based Editors. Springer-Verlag, 1989.
Gerald Salton. Automatic Text Processing: The Transformation, Analysis, and Retrieval of Information by Computer. Addison Wesley, 1989.
Gene Golub, Charles Van Loan. Matrix Computations. John Hopkins University Press, 1989.
1986
R.L. Constable, 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. Implementing Mathematics with the Nuprl Proof Development System. Prentice Hall, 1986.
Lloyd N. Trefethen. Numerical Conformal Mapping. Elsevier Science Publishers, B.V., 1986.
1984
C. Van Loan, G.H. Golub. Matrix Computations. Johns Hopkins Univeristy Press, Balitmore, Maryland, 1984.
1983
Alfred Aho, John Hopcroft, Jeffrey D. Ullman. Data Structures and Algorithms. Addison Wesley, 1983.
Gerard Salton, Michael J. McGill. Introduction to Modern Information Retrieval. McGraw Hill, 1983.
1981
David Gries. The Science of Programming. Springer Verlag, 1981.
R. Conway, David Gries and Carl Zimmerman. A Primer on PASCAL, 2nd edition. Winthrop Publishing, New York, 1981
1979
R. Conway, J. Archer. Programming for Poets: Using Basic. Winthrop Press, 1979.
R. Conway, J. Archer. Programming for Poets: Using Pascal. Winthrop Press, 1979.
R. Conway, C. Bass, M. Fay, and D. Gries. An Introduction to Microprocessor Programming. Winthrop Press, 1979.
D. Gries, R. Conway. An Introduction to Programming: A Structured Approach Using PL/I and PL/C. Winthrop Press, 1979
R. Teitelbaum. The Cornell Program Synthesizer: A Tutorial Introduction. Cornell University, July 1979.
1978
R.L. Constable, M.J. O'Donnell. A Programming Logic. Winthrop Publishers, Cambridge, 1978.
R.L. Constable, Scott Johnson. PL/CV2 Program Verifier Reference Manual. Computer Science Department, Cornell University, 1978.
R.W. Conway. Programming for Poets: A Gentle Introduction using PL/I. Winthrop Publishing, 1978.
R.W. Conway, James Archer. Programming for Poets: A Gentle Introduction using FORTRAN. Winthrop Publishing, 1978.
1977
R.W. Conway. A Primer on Disciplined Programming. Winthrop Publishers, 1977.
R.W. Conway, D. Gries, D. Wortman. Introduction to Structured Programming, Using SP/k. Winthrop Publishers, 1977
1976
R.W. Conway, D. Gries. Primer on Structured Programming. Winthrop Publishers, 1976.
R.W. Conway, D. Gries, E.C. Zimmerman. Primer on PASCAL. Winthrop Publishers, 1976.
1975
D. Gries, R.W. Conway. An Introduction to Programming - A Structured Approach. 2nd edition, Winthrop Publishers, 1975.
G. Salton. Dynamic Information and Library Processing. Prentice Hall, 1975.
1974
J.E. Hopcroft, A.V. Aho, J.D. Ullman. The Design and Analysis of Computer Algorithms. Addison-Wesley Publishing Co., 1974.
1973
R.W. Conway, D. Gries. An Introduction to Programming: A Structured Approach Using PL/I and PL/C. Winthrop Publishers, 1973.
D. Gries, R.W. Conway. An Introduction to Programming. Winthrop Publishers, 1973.
1971
D. Gries. Compiler Construction for Digital Computers. John Wiley & Sons, 1971.
G. Salton. The SMART Retrieval System - Experiments in Automatic Document Processing. Prentice-Hall, 1971.
1968
G. Salton. Automatic Information Organization and Retrieval. McGraw Hill, 1968.
P. Wegner. Programming Languages, Information Structures and Machine Organization. McGraw-Hill, 1968.
1967
R.W. Conway, W.L. Maxwell, L.W. Miller. Theory of Scheduling. Addison-Wesley, 1967.
P. Wegner. The Structure of Programming Languages. McGraw-Hill, 1967