Your cart is empty.
  • Home

    Your search returned 7 results.

    1.
    Automata, computability and complexity : theory and applications / Elaine Rich.

    by Rich, Elaine.

    Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Upper Saddle River, N.J. : Pearson Prentice Hall, c2008Availability: Items available for loan: Main LibraryCall number: QA267 .R53 2008 (1), Female LibraryCall number: QA267 .R53 2008 (1).

    Place hold Add to cart
    2.
    Computers and intractability : a guide to the theory of NP-completeness / Michael R. Garey, David S. Johnson.

    by Garey, Michael R | Johnson, David S, 1945- [joint author.].

    Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: San Francisco : W.H. Freeman, c1979Availability: Items available for loan: Female LibraryCall number: QA76.6 .G35 1979 (1), Main LibraryCall number: QA76.6 .G35 1979 (1).

    Place hold Add to cart
    3.
    Introduction to automata theory, languages, and computation / John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman.

    by Hopcroft, John E, 1939- | Motwani, Rajeev | Ullman, Jeffrey D, 1942-.

    Edition: 3rd ed.Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Boston : Pearson/Addison Wesley, c2007Online access: Table of contents Availability: Items available for loan: Main LibraryCall number: QA267 .H56 2007 (1), Female LibraryCall number: QA267 .H56 2007 (1).

    Place hold Add to cart
    4.
    Introduction to the theory of computation / Michael Sipser.

    by Sipser, Michael.

    Edition: 3rd ed.Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Boston, MA : Cengage Learning, c2013Availability: Items available for loan: Main LibraryCall number: QA267 .S56 2013 (1).

    Place hold Add to cart
    5.
    Introduction to the theory of computation / Michael Sipser.

    by Sipser, Michael.

    Edition: 2nd ed.Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Boston : Thomson Course Technology, c2006Online access: Contributor biographical information | Publisher description | Table of contents only Availability: Items available for loan: Main LibraryCall number: QA267 .S56 2006 (1), Female LibraryCall number: QA267 .S56 2006 (1).

    Place hold Add to cart
    6.
    STOC '11 : proceedings of the 2011 ACM international symposium on theory of computing, San Jose, California USA, June 6-8 2011 / sponsored by ACM SIGACT ; additional support from Microsoft Research, Google and IBM.

    by ACM Symposium on Theory of Computing (43d : 2011 : San Jose, California) | ACM Special Interest Group for Algorithms and Computation Theory | Microsoft Research | Association for Computing Machinery.

    Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: New York, N. Y. : Association for Computing Machinery, c2011Other title: ACM international Symposium on Theory of Computing.Availability: Items available for loan: Main LibraryCall number: QA76.6 .A152 2011 (1).

    Place hold Add to cart
    7.
    Theory of computation / Dexter C. Kozen.

    by Kozen, Dexter, 1951-.

    Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: London : Springer, c2006Online access: Publisher description | Table of contents only | Inhaltstext Availability: Items available for loan: Main LibraryCall number: QA267.7 .K69 2006 (1), Female LibraryCall number: QA267.7 .K69 2006 (1).

    Place hold Add to cart