Catalog

See 3 catalog results
Physical and digital books, media, journals, archives, and databases.
Results include

  1. Introduction to the theory of computation

    Sipser, Michael
    2nd ed. - Boston : Thomson Course Technology, c2006.

    This market leading text on computational theory provides a mathematical treatment of computer science theory designed around theorems and proofs.

  2. Introduction to the theory of computation

    Sipser, Michael
    3rd ed. - Boston, MA : Cengage Learning, c2013.

  3. Introduction to the theory of computation

    Sipser, Michael
    Boston : PWS Pub. Co., c1997.

    Provides an overview of computational theory grounded in mathematical theorems and proofs. The author aims to increase students' knowledge of conceptual tools used in computer engineering, as well as the aesthetic sense required to build elegant systems.

Guides

Course- and topic-based guides to collections, tools, and services.
No guide results found... Try a different search

Library website

Library info; guides & content by subject specialists
No website results found... Try a different search

Exhibits

Digital showcases for research and teaching.
No exhibits results found... Try a different search

EarthWorks

Geospatial content, including GIS datasets, digitized maps, and census data.
No earthworks results found... Try a different search

More search tools

Tools to help you discover resources at Stanford and beyond.