Books Published
Chronological Order
'03
'00 '99 '98 '97
'95 '94 '93
'92 '91 '90
'89 '86 '84
'83
'81 '79 '78 '77 '76 '75 '74 '73 '71 '68 '67
| '03 | Kavita Bala Advanced Global Illumination, A.K.Peters, Ltd., (August 2003) (With Philip Dutre and Philippe Bekaert) ISBN 1-56881-177-2 |
| '00 |
William
Arms Digital
Libraries. MIT Press,
ISBN 0-262-01180-8, 2000. |
| '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. |
| '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 |