# Faculty books

### From Stanford CSD History

Revision as of 23:10, 5 April 2006Dbrown (Talk | contribs) S ← Previous diff |
Current revisionGio (Talk | contribs) W |
||

Line 1: |
Line 1: | ||

+ | ==A== | ||

+ | |||

+ | Andrews, Avery D., and Manning, Christopher D. Complex Predicates and Information Spreading in LFG. Stanford, CA: CSLI Publications, 1999. | ||

+ | |||

+ | ==C== | ||

+ | |||

+ | Chu, Moody T., and Gene H. Golub. Inverse Eigenvalue Theory, Algorithms, and Applications, 2005. | ||

+ | |||

+ | Cramton, P., Y. Shoham, and R. Steinberg, eds. Combinatorial Auctions. MIT Press, 2006. | ||

+ | |||

+ | ==D== | ||

+ | |||

+ | Dally, W., and J. Poulton. Digital Systems Engineering. Cambridge, 1998. | ||

+ | |||

+ | Dally, W., and B. Towle. Principles and Practices of Interconnection Network. Morgan Kaufmann, 2004. | ||

+ | |||

+ | Dally, W., VLSI Architecture for Concurrent Data Structures. Kluwer, 1987. | ||

+ | |||

==F== | ==F== | ||

+ | |||

+ | Fedkiw, R., ''Simulating Natural Phenomena for Computer Graphics, Geometric Level Set Methods in Imaging, Vision and Graphics.'' New York: Springer Verlag, 2003. | ||

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

Line 70: |
Line 202: | ||

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. ''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). | + | Wiederhold, Gio. ''Databases for Health Care.'' Springer Verlag, Medical Informatics series, D.A.B. Lindberg (Ed.), 1981, 78 pages. |

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

Line 85: |
Line 217: | ||

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

+ | |||

+ | Page created: --[[User:Dbrown|Dbrown]] 16:26, 5 April 2006 (PDT) | ||

+ | |||

+ | See the discussion (talk) page for status and discussion of guidelines for this page. |

## Current revision

## Contents |

## A

Andrews, Avery D., and Manning, Christopher D. Complex Predicates and Information Spreading in LFG. Stanford, CA: CSLI Publications, 1999.

## C

Chu, Moody T., and Gene H. Golub. Inverse Eigenvalue Theory, Algorithms, and Applications, 2005.

Cramton, P., Y. Shoham, and R. Steinberg, eds. Combinatorial Auctions. MIT Press, 2006.

## D

Dally, W., and J. Poulton. Digital Systems Engineering. Cambridge, 1998.

Dally, W., and B. Towle. Principles and Practices of Interconnection Network. Morgan Kaufmann, 2004.

Dally, W., VLSI Architecture for Concurrent Data Structures. Kluwer, 1987.

## F

Fedkiw, R., *Simulating Natural Phenomena for Computer Graphics, Geometric Level Set Methods in Imaging, Vision and Graphics.* New York: Springer Verlag, 2003.

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.

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

Page created: --Dbrown 16:26, 5 April 2006 (PDT)

See the discussion (talk) page for status and discussion of guidelines for this page.