49 results
Type of media (2)
Availability (3)
Classification (6)
Year
Persons
Publishers
Sort by
Results per page
Filter
49 results

Your search for Progress in Theoretical Computer Science

  1. Cover: The Graph Isomorphism Problem - Birkhäuser
    J. Kobler | U. Schöning | J. Toran
    The Graph Isomorphism Problem
    Its Structural Complexity
    12/2012
    Birkhäuser
    9781461203339 (ISBN)
    E-Book
    PDF
    Other editions
    €96.29
    Available for download
  2. Cover: Comparative Metric Semantics of Programming Languages - Birkhäuser
    Franck van Breughel
    Comparative Metric Semantics of Programming Languages
    Nondeterminism and Recursion
    12/2012
    Birkhäuser
    9781461241607 (ISBN)
    E-Book
    PDF
    Other editions
    €96.29
    Available for download
  3. Cover: The Combinatory Programme - Birkhäuser
    Erwin Engeler
    The Combinatory Programme
    12/2012
    Birkhäuser
    9781461242680 (ISBN)
    E-Book
    PDF
    Other editions
    €96.29
    Available for download
  4. Cover: Algorithms for Random Generation and Counting: A Markov Chain Approach - Birkhäuser
    A. Sinclair
    Algorithms for Random Generation and Counting: A Markov Chain Approach
    12/2012
    Birkhäuser
    9781461203230 (ISBN)
    E-Book
    PDF
    Other editions
    €96.29
    Available for download
  5. Cover: Subrecursive Programming Systems - Birkhäuser
    James S. Royer | John Case
    Subrecursive Programming Systems
    Complexity & Succinctness
    12/2012
    Birkhäuser
    9781461202493 (ISBN)
    E-Book
    PDF
    Other editions
    €96.29
    Available for download
  6. Cover: Finite Automata, Formal Logic, and Circuit Complexity - Springer-Verlag New York Inc.
    Howard Straubing
    Finite Automata, Formal Logic, and Circuit Complexity
    10/2012
    Springer-Verlag New York Inc.
    9781461266952 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €117.69
    Available immediately
  7. Cover: Finite Automata, Formal Logic, and Circuit Complexity - Birkhauser Boston Inc
    Howard Straubing
    Finite Automata, Formal Logic, and Circuit Complexity
    05/1994
    Birkhauser Boston Inc
    9780817637194 (ISBN)
    Book
    Hardback
    Other editions
    €106.99
    Available immediately
  8. Cover: Logic of Domains - Springer-Verlag New York Inc.
    G. Zhang
    Logic of Domains
    12/2012
    Springer-Verlag New York Inc.
    9781461267638 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 15-20 days
  9. Cover: The Graph Isomorphism Problem - Springer-Verlag New York Inc.
    J. Kobler | U. Schöning | J. Toran
    The Graph Isomorphism Problem
    Its Structural Complexity
    10/2012
    Springer-Verlag New York Inc.
    9781461267126 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 15-20 days
  10. Cover: Polynomial and Matrix Computations - Springer-Verlag New York Inc.
    Dario Bini | Victor Y. Pan
    Polynomial and Matrix Computations
    Fundamental Algorithms
    09/2012
    Springer-Verlag New York Inc.
    9781461266860 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €160.49
    Shipment within 15-20 days
  11. Cover: Neural Networks and Analog Computation - Springer-Verlag New York Inc.
    Hava T. Siegelmann
    Neural Networks and Analog Computation
    Beyond the Turing Limit
    10/2012
    Springer-Verlag New York Inc.
    9781461268758 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €160.49
    Shipment within 15-20 days
  12. Cover: Categorical Combinators, Sequential Algorithms, and Functional Programming - Springer-Verlag New York Inc.
    P.-L. Curien
    Categorical Combinators, Sequential Algorithms, and Functional Programming
    09/2012
    Springer-Verlag New York Inc.
    9781461267041 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 15-20 days
  13. Cover: Algorithms for Random Generation and Counting: A Markov Chain Approach - Springer-Verlag New York Inc.
    A. Sinclair
    Algorithms for Random Generation and Counting: A Markov Chain Approach
    11/2012
    Springer-Verlag New York Inc.
    9781461267072 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 15-20 days
  14. Cover: Semantics of Type Theory - Springer-Verlag New York Inc.
    T. Streicher
    Semantics of Type Theory
    Correctness, Completeness and Independence Results
    10/2012
    Springer-Verlag New York Inc.
    9781461267577 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €90.94
    Shipment within 15-20 days
  15. Cover: Algol-like Languages - Birkhauser Boston Inc
    Peter O'Hearn | Robert Tennent
    Algol-like Languages
    03/2013
    Birkhauser Boston Inc
    9781475738537 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 15-20 days
  16. Cover: Solving Higher-Order Equations - Springer-Verlag New York Inc.
    Christian Prehofer
    Solving Higher-Order Equations
    From Logic to Programming
    10/2012
    Springer-Verlag New York Inc.
    9781461272786 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 15-20 days
  17. Cover: Subrecursive Programming Systems - Springer-Verlag New York Inc.
    James S. Royer | John Case
    Subrecursive Programming Systems
    Complexity & Succinctness
    10/2012
    Springer-Verlag New York Inc.
    9781461266808 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 15-20 days
  18. Cover: Complexity Theory of Real Functions - Springer-Verlag New York Inc.
    K. Ko
    Complexity Theory of Real Functions
    03/2012
    Springer-Verlag New York Inc.
    9781468468045 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €90.94
    Shipment within 15-20 days
  19. Cover: Nondeterminism in Algebraic Specifications and Algebraic Programs - Springer-Verlag New York Inc.
    Hussmann
    Nondeterminism in Algebraic Specifications and Algebraic Programs
    03/2012
    Springer-Verlag New York Inc.
    9781468468366 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 15-20 days
  20. Cover: Isomorphisms of Types - Birkhauser Boston
    Roberto DiCosmo
    Isomorphisms of Types
    from ?-calculus to information retrieval and language design
    12/1994
    Birkhauser Boston
    9780817637637 (ISBN)
    Book
    Hardback
    Other editions
    €96.00
    Article not available at the moment
    2. of 3