Suggested Topics within your search.
Showing 1 - 11 results of 11 for search '"devices"', query time: 0.03s Refine Results
  1. 1
    Automata and computability.

    Automata and computability. by Kozen, Dexter C., 1951-

    Published 1997
    Subjects: “…Computation by abstract devices.…”
    Book
  2. 2
    The calculus of computation : decision procedures with applications to verification /

    The calculus of computation : decision procedures with applications to verification / by Bradley, Aaron R.

    Published 2007
    Subjects: “…Computation by abstract devices.…”
    Table of contents
    Publisher description
    Book
  3. 3
    Elements of finite model theory /

    Elements of finite model theory / by Libkin, Leonid

    Published 2010
    Subjects: “…Computation by abstractc devices.…”
    Contributor biographical information
    Publisher description
    Table of contents only
    Book
  4. 4
    Algorithmic randomness and complexity /

    Algorithmic randomness and complexity / by Downey, Rodney G., 1957-

    Published 2010
    Subjects: “…Computation by abstract devices.…”
    Book
  5. 5
    Foundations of software science and computational structures : 12th international conference, FOSSACS 2009, held as part of the joint Europan conferences on theory and practice of software, ETAPS 2009, York, UK, March 22-29, 2009 : proceedings /

    Foundations of software science and computational structures : 12th international conference, FOSSACS 2009, held as part of the joint Europan conferences on theory and practice of...

    Published 2009
    Subjects: “…Computation by abstract devices.…”
    Conference Proceeding Book
  6. 6
    Bioinformatics : German Conference on Bioinformatics, GCB '96, Leipzig, Germany, September 30-October 2, 1996 : selected papers /

    Bioinformatics : German Conference on Bioinformatics, GCB '96, Leipzig, Germany, September 30-October 2, 1996 : selected papers /

    Published 1997
    Subjects: “…Computation by abstract devices.…”
    Conference Proceeding Book
  7. 7
    TAPSOFT '97 : theory and practice of software development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997 : proceedings /

    TAPSOFT '97 : theory and practice of software development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997 : proceedings /

    Published 1997
    Subjects: “…Computation by abstract devices.…”
    Conference Proceeding Book
  8. 8
    Foundations of software technology and theoretical computer science /

    Foundations of software technology and theoretical computer science /

    Published 1996
    Subjects: “…Computation by abstract devices.…”
    Conference Proceeding Book
  9. 9
    Mathematical foundations of computer science /

    Mathematical foundations of computer science /

    Published 1996
    Subjects: “…Computation by abstract devices.…”
    Conference Proceeding Book
  10. 10
    Foundations of software technology and theoretical computer science /

    Foundations of software technology and theoretical computer science /

    Published 1995
    Subjects: “…Computation by abstract devices.…”
    Conference Proceeding Book
  11. 11
    SOFSEM'95 : theory and practice /

    SOFSEM'95 : theory and practice /

    Published 1995
    Subjects: “…Computation by abstract devices.…”
    Conference Proceeding Book

Search Tools: