Lillian Lee and Bo Pang. Opinion Mining and Sentiment Analysis (Foundations and Trends in Information Retrieval), 2(1-2), pp. 1-135, Now, 2008. Jon Kleinberg and Eva Tardos. Algorithm Design. Addison-Wesley, 2005.
David Gries. Multimedia Introduction to Programming Using Java. Springer Verlag, NY, 2004. (With Paul Gries) Reliable Distributed Computing with Isis Toolkit. IEEE Computer Society Press, 1994. (With Robbert van Renesse)
'03 Kavita Bala. Advanced Global Illumination.
AK Peters, Ltd., ISBN ISBN: 1-56881-177-2, 2003. (With
Philip Dutr and Philippe Bekaert) Joseph Halpern. Reasoning
About Uncertainty. MIT Press, 2003. '00 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)
'99 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. '98 David Gries and Willem-Paul De Roever (Editors). Programming
Concepts and Methods, PROCOMET '98. Chapman and Hall,
London, 1998. '97 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. '95 Joseph Halpern, Ronald Fagin, Yoran Moses, Moshe Vardi.
Reasoning About Knowledge. MIT Press, 1995. '94 Kenneth P. Birman, Robbert Van Renesse. Reliable Distributed
C computing with Isis Toolkit. IEEE Computer Society
Press, 1994. '93 David Gries, Fred Schneider. A Logical Approach to Discrete
Math. Springer-Verlag, 1993. Richard Zippel. Effective Polynomial Computation.
Kluwer Academic Publishers, 1993. '92 B.R. Donald, D. Kapur, J.L. Mundy. Symbolic and Numerical
Computation for Artificial Intelligence. Academic Press,
1992. '91 Dexter Kozen. The Design and Analysis of Algorithms.
Springer-Verlag, 1991. Stephen Vavasis. Nonlinear Optimization: Complexity
Issues. Oxford Science Publications, 1991. '90 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.
'89 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. '86 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. '84 C. Van Loan, G.H. Golub. Matrix Computations. Johns
Hopkins Univeristy Press, Balitmore, Maryland, 1984. '83 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. '81 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 '79 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. '78 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. '77 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 '76 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. '75 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. '74 J.E. Hopcroft, A.V. Aho, J.D. Ullman. The Design and
Analysis of Computer Algorithms. Addison-Wesley Publishing
Co., 1974. '73 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. '71 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. '68 G. Salton. Automatic Information Organization and Retrieval.
McGraw Hill, 1968. P. Wegner. Programming Languages, Information Structures
and Machine Organization. McGraw-Hill, 1968. '67 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
|
