Search Results - "Progress in Theoretical Computer Science"

Suggested Topics within your search.
  • Showing 1 - 10 results of 10
Refine Results
  1. 1
    Nondeterminism in algebraic specification and algebraic programs

    Nondeterminism in algebraic specification and algebraic programs by Hussmann, Heinrich 1959-

    Published 1993
    “…Progress in theoretical computer science…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  2. 2
    The graph isomorphism problem its structural complexity

    The graph isomorphism problem its structural complexity by Kobler, Johannes 1958

    Published 1993
    “…progress in theoretical computer science…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  3. 3
    Algorithms for random generation and counting a Markov chain approach

    Algorithms for random generation and counting a Markov chain approach by Sinclair, Alistair 1960-

    Published 1993
    “…Progress in theoretical computer science…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  4. 4
    Finite automata, formal logic, and circuit complexity

    Finite automata, formal logic, and circuit complexity by Straubing, Howard 1952-

    Published 1994
    “…Progress in theoretical computer science…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  5. 5
    Polynomial and matrix computations

    Polynomial and matrix computations by Bini, Dario

    Published 1994
    “…Progress in theoretical computer science…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  6. 6
    Isomorphisms of types from [lambda]-calculus to information retrieval and language design

    Isomorphisms of types from [lambda]-calculus to information retrieval and language design by Di Cosmo, Roberto 1963-

    Published 1995
    “…Progress in theoretical computer science…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  7. 7
    Categorial combinators, sequential algorithms, and functional programming

    Categorial combinators, sequential algorithms, and functional programming by Curien, Pierre-Louis

    Published 1993
    “…Progress in Theoretical Computer Science…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  8. 8
    Object-oriented programming a unified foundation

    Object-oriented programming a unified foundation by Castagna, Giuseppe 1966-

    Published 1997
    “…Progress in Theoretical Computer Science…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  9. 9
    ALGOL- like language

    ALGOL- like language

    Published 1997
    “…Progress in theoretical computer science…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  10. 10
    Neural networks and analog computation beyond the turing limit

    Neural networks and analog computation beyond the turing limit by Siegelmann, Hava T.

    “…Progress in theoretical computer science…”
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:

Search Tools: