Faculty books

From Stanford CSD History

(Difference between revisions)
Revision as of 23:10, 5 April 2006
Dbrown (Talk | contribs)
S
← Previous diff
Revision as of 23:14, 5 April 2006
Dbrown (Talk | contribs)

Next diff →
Line 2: Line 2:
Feigenbaum, Edward, Gio Wiederhold (editors and authors), Elaine Rich, and Michael Harrison (authors). ''Advanced Software Applications in Japan.'' Noyes Publications, 1995. Feigenbaum, Edward, Gio Wiederhold (editors and authors), Elaine Rich, and Michael Harrison (authors). ''Advanced Software Applications in Japan.'' Noyes Publications, 1995.
 +
 +==G==
 +
 +Genesereth, M., and N. Nilsson. Logical Foundations of Artificial Intelligence. San Fran¬cisco: Morgan Kaufmann, 1987.
 +
 +Golub, Gene H. and Charles Van Loan. Matrix Computations. Johns Hopkins University Press, 1983. 2nd ed. 1989.3rd ed. 1996.
 +
 +Golub, Gene H. and G´erard A. Meurant. R´esolution Num´erique Des Grands Syst`emes Lin´eaires. Editions Eyrolles, 1983.
 +
 +Golub, Gene H. and James M.Ortega. Scientific Computing and Differential Equations. An Introduction to Numerical Methods. Academic Press, Inc., Harcourt Brace Jovanovich, Publishers, 1992.
 +
 +Golub, Gene H., and James M. Ortega. Scientific Computing. An Introduction with Parallel Computing. Academic Press, Inc. 1993.
 +
 +Graham, Ronald L., Donald E. Knuth, and Oren Patashnik. Concrete Mathematics, Second Edition. Reading, MA: Addison-Wesley, 1994.
 +
 +Greene, Daniel H., and Donald E. Knuth. Mathematics for the Analysis of Algorithms. 3rd ed. Boston: Birkhauser, 1990.
 +
 +==H==
 +
 +Hopcroft, J.E., R. Motwani, and J. D. Ullman. Introduction to Automata and Language Theory. Addison-Wesley, 2000.
 +
 +==K==
 +
 +Knuth, Donald E. The Art of Computer Programming (TAOCP). 5 vols. Reading, MA: Addison-Wesley, 1997.
 +
 +Knuth, Donald E. Computers & Typesetting. 5 vols. Reading, MA: Addison Wesley, 1986
 +
 +Knuth, Donald E. The Stanford GraphBase: A Platform for Combinatorial Computing. New York: ACM Press, 1993.
 +
 +Knuth, Donald E. MMIXware: A RISC Computer for the Third Millennium. Heidelberg: Springer-Verlag, 1750.
 +
 +Knuth, Donald E. and Silvio Levy. The CWEB System of Structured Documentation. Reading, MA: Addison-Wesley, 1993.
 +
 +Knuth, Donald E. Literate Programming. Stanford, CA: Center for the Study of Language and Information, 1992.
 +
 +Knuth, Donald E. Selected Papers on Computer Science. Stanford, CA: Center for the Study of Language and Information, 1996.
 +
 +Knuth, Donald E. Digital Typography. Stanford, CA: Center for the Study of Language and Information, 1999.
 +
 +Knuth, Donald E. Selected Papers on Analysis of Algorithms. Stanford, CA: Center for the Study of Language and Information, 2000.
 +
 +Knuth, Donald E. Selected Papers on Computer Languages. Stanford, CA: Center for the Study of Language and Information, 2003.
 +
 +Knuth, Donald E. Selected Papers on Discrete Mathematics. Stanford, CA: Center for the Study of Language and Information, 2003.
 +
 +Knuth, Donald E. Surreal Numbers. Reading, MA: Addison-Wesley, 1974.
 +
 +Knuth, Donald E., Tracy L. Larrabee, and Paul M. Roberts. Mathematical Writing. Washington, DC: Mathematical Association of America, 1989.
 +
 +Knuth, Donald E. Mariages Stables. Montreal: Les Presses de l’Universite de Montreal, 1976.
 +
 +Knuth, Donald E. Axioms and Hulls. Heidelberg: Springer-Verlag, 1992.
 +
 +Knuth, Donald E. 3:16 Bible Texts Illuminated. Madison, Wisconsin: A-R Editions, 1990.
 +
 +Knuth, Donald E. Things a computer Scientist Rarely Talks About. Stanford, CA: Center for the Study of Language and Information, 2001.
 +
 +==L==
 +
 +Lindsay, R.K., B. G. Buchanan, Ed Feigenbaum and J. Lederberg. Applications of Artificial Intelligence for Chemical Inference: The DENDRAL Project. New York: McGraw-Hill, 1980.
 +
 +==M==
 +
 +Manna, Zohar. Mathematical theory of computation. New York: McGraw-Hill 1974.
 + International student edition, 1977.
 + Republished by Dover Publications, Mineola, New York, 2004.
 +
 +Manna, Zohar and Richard Waldinger. Logical Basis for Computer Programming. MA: Addison-Wesley Pub.
 + Volume 1: Deductive Reasoning, 1985
 + Volume 2: Deductive Systems, 1989
 +
 +Manna, Zohar and Richard Waldinger. The Deductive Foundations of Computer Programming. MA: Addison-Wesley Pub. 1993.
 +
 +Manna, Zohar and Amir Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Specification. New York: Springer-Verlag, 1991.
 +
 +Manna, Zohar and Amir Pnueli. Temporal Verification of Reactive Systems: Safety. New York: Springer-Verlag, 1995.
 +
 +Manning, Christopher D., and Hinrich Schütze. Foundations of Statistical Natural Language Processing. Cambridge, MA: MIT Press, 1999.
 +
 +Manning, Christopher D. Ergativity: Argument Structure and Grammatical Relations. Stanford, CA: CSLI Publications/Cambridge University Press, 1996.
 +
 +McCarthy, John. Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy. Academic Pr., 1991.
 +
 +McCarthy, John. LISP 1.5 Programmer's Manual. The MIT Press, 1962.
 +
 +McCarthy, John. Formalizing Common Sense. Ablex Publishing, 1990
 +
 +Motwani, R., and P. Raghavan. Randomized Algorithms. Cambridge University Press, 1995.
 +
 +==N==
 +
 +Nilsson, N. Artificial Intelligence: A New Synthesis. (The Morgan Kaufmann Series in Artificial Intelligence); Morgan Kaufmann; 1st ed., 1998.
 +
 +Nilsson, N. Learning Machines: Foundations of Trainable Pattern¬-Classifying Systems. New York: McGraw¬-Hill, 1965. (Reprinted as: Nilsson, N., The Mathematical Foundations of Learning Machines, San Francisco: Morgan Kaufmann, 1990.)
 +
 +Nilsson, N. Problem¬-Solving Methods in Artificial Intelligence. New York: McGraw¬-Hill, 1971.
 +
 +Nilsson, N. Principles of Artificial Intelligence. San Francisco: Morgan Kaufmann, 1980.
 +
 +Nilsson, N. Artificial Intelligence: A New Synthesis, San Francisco: Morgan Kaufmann, 1998.
 +
 +==R==
 +
 +Roberts, Eric. Thinking Recursively with Java. John Wiley and Sons, 2006.
 +
 +Roberts, Eric. Programming Abstractions in C. Addison-Wesley, 1998.
 +
 +Roberts, Eric. The Art and Science of C: A Library-Based Introduction to Computer Science. Addison-Wesley, 1995.
 +
 +Roberts, Eric. Thinking Recursively. John Wiley and Sons, 1986.
 +
 +Roughgarden, Tim. Selfish Routing and the Price of Anarchy. MIT Press, 2005.
==S== ==S==

Revision as of 23:14, 5 April 2006

Contents

F

Feigenbaum, Edward, Gio Wiederhold (editors and authors), Elaine Rich, and Michael Harrison (authors). Advanced Software Applications in Japan. Noyes Publications, 1995.

G

Genesereth, M., and N. Nilsson. Logical Foundations of Artificial Intelligence. San Fran¬cisco: Morgan Kaufmann, 1987.

Golub, Gene H. and Charles Van Loan. Matrix Computations. Johns Hopkins University Press, 1983. 2nd ed. 1989.3rd ed. 1996.

Golub, Gene H. and G´erard A. Meurant. R´esolution Num´erique Des Grands Syst`emes Lin´eaires. Editions Eyrolles, 1983.

Golub, Gene H. and James M.Ortega. Scientific Computing and Differential Equations. An Introduction to Numerical Methods. Academic Press, Inc., Harcourt Brace Jovanovich, Publishers, 1992.

Golub, Gene H., and James M. Ortega. Scientific Computing. An Introduction with Parallel Computing. Academic Press, Inc. 1993.

Graham, Ronald L., Donald E. Knuth, and Oren Patashnik. Concrete Mathematics, Second Edition. Reading, MA: Addison-Wesley, 1994.

Greene, Daniel H., and Donald E. Knuth. Mathematics for the Analysis of Algorithms. 3rd ed. Boston: Birkhauser, 1990.

H

Hopcroft, J.E., R. Motwani, and J. D. Ullman. Introduction to Automata and Language Theory. Addison-Wesley, 2000.

K

Knuth, Donald E. The Art of Computer Programming (TAOCP). 5 vols. Reading, MA: Addison-Wesley, 1997.

Knuth, Donald E. Computers & Typesetting. 5 vols. Reading, MA: Addison Wesley, 1986

Knuth, Donald E. The Stanford GraphBase: A Platform for Combinatorial Computing. New York: ACM Press, 1993.

Knuth, Donald E. MMIXware: A RISC Computer for the Third Millennium. Heidelberg: Springer-Verlag, 1750.

Knuth, Donald E. and Silvio Levy. The CWEB System of Structured Documentation. Reading, MA: Addison-Wesley, 1993.

Knuth, Donald E. Literate Programming. Stanford, CA: Center for the Study of Language and Information, 1992.

Knuth, Donald E. Selected Papers on Computer Science. Stanford, CA: Center for the Study of Language and Information, 1996.

Knuth, Donald E. Digital Typography. Stanford, CA: Center for the Study of Language and Information, 1999.

Knuth, Donald E. Selected Papers on Analysis of Algorithms. Stanford, CA: Center for the Study of Language and Information, 2000.

Knuth, Donald E. Selected Papers on Computer Languages. Stanford, CA: Center for the Study of Language and Information, 2003.

Knuth, Donald E. Selected Papers on Discrete Mathematics. Stanford, CA: Center for the Study of Language and Information, 2003.

Knuth, Donald E. Surreal Numbers. Reading, MA: Addison-Wesley, 1974.

Knuth, Donald E., Tracy L. Larrabee, and Paul M. Roberts. Mathematical Writing. Washington, DC: Mathematical Association of America, 1989.

Knuth, Donald E. Mariages Stables. Montreal: Les Presses de l’Universite de Montreal, 1976.

Knuth, Donald E. Axioms and Hulls. Heidelberg: Springer-Verlag, 1992.

Knuth, Donald E. 3:16 Bible Texts Illuminated. Madison, Wisconsin: A-R Editions, 1990.

Knuth, Donald E. Things a computer Scientist Rarely Talks About. Stanford, CA: Center for the Study of Language and Information, 2001.

L

Lindsay, R.K., B. G. Buchanan, Ed Feigenbaum and J. Lederberg. Applications of Artificial Intelligence for Chemical Inference: The DENDRAL Project. New York: McGraw-Hill, 1980.

M

Manna, Zohar. Mathematical theory of computation. New York: McGraw-Hill 1974. International student edition, 1977. Republished by Dover Publications, Mineola, New York, 2004.

Manna, Zohar and Richard Waldinger. Logical Basis for Computer Programming. MA: Addison-Wesley Pub. Volume 1: Deductive Reasoning, 1985 Volume 2: Deductive Systems, 1989

Manna, Zohar and Richard Waldinger. The Deductive Foundations of Computer Programming. MA: Addison-Wesley Pub. 1993.

Manna, Zohar and Amir Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Specification. New York: Springer-Verlag, 1991.

Manna, Zohar and Amir Pnueli. Temporal Verification of Reactive Systems: Safety. New York: Springer-Verlag, 1995.

Manning, Christopher D., and Hinrich Schütze. Foundations of Statistical Natural Language Processing. Cambridge, MA: MIT Press, 1999.

Manning, Christopher D. Ergativity: Argument Structure and Grammatical Relations. Stanford, CA: CSLI Publications/Cambridge University Press, 1996.

McCarthy, John. Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy. Academic Pr., 1991.

McCarthy, John. LISP 1.5 Programmer's Manual. The MIT Press, 1962.

McCarthy, John. Formalizing Common Sense. Ablex Publishing, 1990

Motwani, R., and P. Raghavan. Randomized Algorithms. Cambridge University Press, 1995.

N

Nilsson, N. Artificial Intelligence: A New Synthesis. (The Morgan Kaufmann Series in Artificial Intelligence); Morgan Kaufmann; 1st ed., 1998.

Nilsson, N. Learning Machines: Foundations of Trainable Pattern¬-Classifying Systems. New York: McGraw¬-Hill, 1965. (Reprinted as: Nilsson, N., The Mathematical Foundations of Learning Machines, San Francisco: Morgan Kaufmann, 1990.)

Nilsson, N. Problem¬-Solving Methods in Artificial Intelligence. New York: McGraw¬-Hill, 1971.

Nilsson, N. Principles of Artificial Intelligence. San Francisco: Morgan Kaufmann, 1980.

Nilsson, N. Artificial Intelligence: A New Synthesis, San Francisco: Morgan Kaufmann, 1998.

R

Roberts, Eric. Thinking Recursively with Java. John Wiley and Sons, 2006.

Roberts, Eric. Programming Abstractions in C. Addison-Wesley, 1998.

Roberts, Eric. The Art and Science of C: A Library-Based Introduction to Computer Science. Addison-Wesley, 1995.

Roberts, Eric. Thinking Recursively. John Wiley and Sons, 1986.

Roughgarden, Tim. Selfish Routing and the Price of Anarchy. MIT Press, 2005.

S

Shoham, Y. Artificial Intelligence Techniques in Prolog. Morgan Kaufman Publishers, 1994.

Shoham, Y. Reasoning about Change. MIT Press, 1988.

Shortliffe, Edward, Leslie Perrault, Gio Wiederhold, and Larry Fagan (editors and authors). Medical Informatics: Computer Applications in Health Care and Biomedicine. Addison-Wesley, April 1990, 715 pages; second edition, Springer Verlag, 2000.

T

Thrun, Sebastian, Wolfrum Bulgard and Dieter Fox. Probabilistic Robotics. MIT Press; 2005.

Thrun, Sebastian. Principles of Robot Motion : Theory, Algorithms, and Implementation, The MIT Press, 2005.

Thrun, Sebastian. Explanation Based Neural Network Learning. Kluwer Academic Publishers, 1996.

U

Ullman, J. and J. E. Hopcroft. Formal Languages and Their Relation to Automata. Reading, MA: Addison Wesley, 1969.

Ullman, J., and A. V. Aho. The Theory of Parsing, Translation, and Compiling, Vol. I: Parsing. Englewood Cli_s, NJ.: Prentice Hall, 1972.

Ullman, J., and A. V. Aho. The Theory of Parsing, Translation, and Compiling, Vol. II: Compiling. Englewood Cli_s, NJ.: Prentice Hall, 1973.

Ullman, J., A. V. Aho and J. E. Hopcroft. The Design and Analysis of Computer Algorithms. Reading, MA: Addison Wesley, 1974

Ullman, J. Fundamental Concepts of Programming Systems. Reading, MA: Addison Wesley, 1976.

Ullman, J., and A. V. Aho Principles of Compiler Design. Reading, MA: Addison Wesley, 1977

Ullman, J., and J. E. Hopcroft. Introduction to Automata Theory, Languages, and Computation. Reading, MA: Addison Wesley, 1979.

Ullman, J. Principles of Database Systems. New York, NY: Computer Science Press, 1980. Revised edition, 1982.

Ullman, J., J. E. Hopcroft and A. V. Aho. Data Structures and Algorithms. Reading, MA: Addison Wesley, 1983.

Ullman, J., Computational Aspects of VLSI. New York, NY: Computer Science Press, 1984

Ulman, J., A. V. Aho and R. Sethi. Compiler Design: Principles, Tools, and Techniques. Reading, MA: Addison Wesley, 1986. World student edition, 1987.

Ullman, J., Principles of Database and Knowledge-Base Systems. New York, NY: Computer Science Press, Volume I: Classical Database Systems, 1988; Volume II: The New Technologies, 1989.

Ullman, J., and A. V. Aho. Foundations of Computer Science. New York, NY: Computer Science Press, 1992.

Ullman, J., Elements of ML Programming. Englewood Cli_s, NJ: Prentice Hall, 1994.

Ullman, J., and J. Widom. A First Course in Database Systems. Englewood Cli_s, NJ: Prentice Hall, 1997.

Ullman, J., H. Garcia-Molina and J. Widom. Database System Implementation. Englewood Cli_s, NJ: Prentice Hall, 1999.

Ullman, J., J. E. Hopcroft and R. Motwani. Introduction to Automata Theory, Languages, and Computation. Reading, MA: Addison Wesley, 2001.

Ullman, J., H. Garcia-Molina and J. Widom. The Complete Book of Database Systems Englewood Cli_s, NJ: Prentice Hall, 2002.


W

Webber, B., and N. Nilsson, eds., Readings in Artificial Intelligence. San Francisco: Morgan Kaufmann, 1981.

Widom, J., and Stefano Ceri, eds., Active Database Systems: Triggers and Rules for Advanced Database Processing. Morgan Kaufmann, 1995.

Wiederhold, Gio (editor). Intelligent Integration of Information. Kluwer Academic Publishers, Boston MA, July 1996.

Wiederhold, Gio. File Organization for Database Design. McGraw-Hill Book Company, New York, NY, March 1987.

Wiederhold, Gio. Database Design. McGraw-Hill Book Company, New York, NY, in the Computer Science Series, May 1977, 678 pages; Second edition, January 1983, 768 pages; republished on ACM Digital Library CD ROM, from files prepared March 2002.

Wiederhold, Gio. Databases for Health Care. Springer Verlag, Medical Informatics series, D.A.B. Lindberg (Ed.), 1981, 78 pages; Source report 1980 (pdf).

Winograd, Terry. Understanding Computers & Cognition. Addison Wesley, 1987.

Winograd, Terry. ed. Bringing Design to Software. Reading, MA: Addison Wesley, 1996.

Winograd, Terry and Fernando Flores. Understanding Computers and Cognition: A New Foundation for Desig., (220 pp.) Norwood, NJ: Ablex, 1986. Paperback issued by Addison-Wesley, 1987.

Winograd, Terry. Language as a Cognitive Process: Volume I: Syntax. Reading MA: Addison-Wesley, 1983.

Winograd, Terry. Understanding Natural Language. New York: Academic Press, 1972. Also published in Cognitive Psychology, 3:1, 1972.

Z

Zhao, F., and L. Guibas. Wireless Sensor Networks: An Information Processing Approach. Elsevier/Morgan-Kaufmann, 2004