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) 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 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) 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
|
