Showing 1 - 20 results of 26 for search '"Progress in theoretical computer science"', query time: 3.33s Refine Results
  1. 1
    Subrecursive programming systems : complexity succinctness /
    by Royer, James S
    Published 1994
    “...Progress in theoretical computer science...”

    Book
  2. 2
    The graph isomorphism problem : its structural complexity /
    by K�obler, Johannes, 1958-
    Published 1993
    “...Progress in theoretical computer science...”

    Book
  3. 3
    Verifying temporal properties of systems /
    by Bradfield, J. C
    Published 1992
    “...Progress in theoretical computer science...”

    Book
  4. 4
    Verifying temporal properties of systems /
    “...Progress in theoretical computer science...”

    Book
  5. 5
    Isomorphisms of types : from [lambda]-calculus to information retrieval and language design /
    “...Progress in theoretical computer science...”

    Book
  6. 6
    ALGOL-like languages /
    Published 1997
    “...Progress in theoretical computer science...”

    Book
  7. 7
    The combinatory programme /
    Published 1995
    “...Progress in theoretical computer science...”

    Book
  8. 8
    Object-oriented programming : a unified foundation /
    “...Progress in theoretical computer science...”

    Book
  9. 9
    Logic of domains /
    “...Progress in theoretical computer science...”

    Book
  10. 10
    Algorithms for random generation and counting : a Markov chain approach /
    “...Progress in theoretical computer science...”

    Book
  11. 11
    Categorical combinators, sequential algorithms, and functional programming /
    “...Progress in theoretical computer science...”

    Book
  12. 12
    Neural networks and analog computation : beyond the turing limit /
    “...Progress in theoretical computer science...”

    Book
  13. 13
    Nondeterminism in algebraic specifications and algebraic programs /
    by Hussmann, Heinrich, 1959-
    Published 1993
    “...Progress in theoretical computer science...”

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  14. 14
    Nondeterminism in algebraic specification and algebraic programs /
    “...Progress in theoretical computer science...”

    Book
  15. 15
    Polynomial and matrix computations /
    by Bini, Dario, Bini, Dario
    Published 1994
    “...Progress in theoretical computer science...”

    Book
  16. 16
    Isomorphisms of types : from [lambda]-calculus to information retrieval and language design /
    by Di Cosmo, Roberto, 1963-
    Published 1953
    “...Progress in theoretical computer science...”

    Book
  17. 17
    Comparative metric semantics of programming languages : nondeterminism and recursion /
    “...Progress in theoretical computer science...”

    Book
  18. 18
    Subrecursive programming systems : complexity & succinctness /
    by Royer, James S, Royer, James S
    Published 1994
    “...Progress in theoretical computer science...”

    Book
  19. 19
    Canonical equational proofs /
    by Bachmair, Leo, Bachmair, Leo
    Published 1991
    “...Progress in theoretical computer science...”

    Book
  20. 20
    The graph isomorphism problem : its structural complexity /
    “...Progress in theoretical computer science...”

    Book
Search Tools: Get RSS Feed — Email this Search