Course ID:    CMPS 130
Course Title: Computational Models

Instructor:   Phokion G. Kolaitis
email:        kolaitis@cs.ucsc.edu
phone:        x9-4768

Loan Period:  2 hours

 1. Hopcroft, John E., 1939-
      Introduction to automata theory, languages, and computation / John E.
    Hopcroft, Rajeev Motwani, Jeffrey D. Ullman.  2nd ed.  Boston :
    Addison-Wesley, c2001.

        UCSC  S & E Lib QA267 .H56 2001


 2. Lewis, Harry R.
      Elements of the theory of computation / Harry R. Lewis, Christos H.
    Papadimitriou.  2nd ed.  Upper Saddle River, N.J. : Prentice-Hall, c1998.

        UCSC  S & E Lib QA267 .L49 1998


 3. Harel, David, 1950-
      Computers Ltd. : what they really can't do / David Harel.  Oxford,
    [England] ; New York : Oxford University Press, 2000.

        UCSC  S & E Lib QA76.5 .H3575 2000


 4. Martin, John C.
      Introduction to languages and the theory of computation / John C. Martin.
    2nd ed.  New York : McGraw-Hill, c1997.
      Series title:  McGraw-Hill series in computer science.

        UCSC  S & E Lib QA267.5.S4 M29 1997

 5. Kozen, Dexter, 1951-
      Automata and computability / Dexter C. Kozen.  New York : Springer,
    c1997.
      Series title:  Undergraduate texts in computer science.

        UCSC  S & E Lib QA267 .K69 1997