Showing 1 - 6 results of 6 for search '"Progress in theoretical computer science"', query time: 0.04s Refine Results
  1. 1
    Semantics of type theory : correctness, completeness, and independence results /
    by Streicher, Thomas, 1958-
    Published 1991
    “…Progress in theoretical computer science…”
    Book
  2. 2
    Neural networks and analog computation : Beyond the Turing limit /
    by Siegelmann, Hava T.
    Published 1999
    “…Progress in theoretical computer science…”
    Book
  3. 3
    Subrecursive Programming Systems Complexity and Succinctness
    by Case, John, Royer, James S.
    Published 1994
    “…Progress in Theoretical Computer Science…”
    Book
  4. 4
    Verifying temporal properties of systems
    by Bradfield, Julian Charles
    Published 1992
    “…Progress in theoretical computer science…”
    Book
  5. 5
    Polynomial and matrix computations
    by Bini, Dario
    Published 1994
    “…Progress in theoretical computer science…”
    Book
  6. 6
    Comparative metric semantics of programming languages nondeterminism and recursion
    by Breugel, Franck van 1966-
    Published 1998
    “…Progress in theoretical computer science…”
    Book
Search Tools: RSS Feed – Email Search