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

Your search for Progress in Computer Science and Applied Logic

  1. Cover: Mathematical Logic - Birkhäuser Verlag GmbH
    Wei Li
    Mathematical Logic
    Foundations for Information Science
    11/2014
    2nd EDN2nd Edition
    Birkhäuser Verlag GmbH
    9783034808620 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  2. Cover: A Graph-Theoretic Approach to Enterprise Network Dynamics - Birkhäuser
    Horst Bunke | Peter J. Dickinson | Miro Kraetzl
    A Graph-Theoretic Approach to Enterprise Network Dynamics
    04/2007
    1st EDN1st Edition
    Birkhäuser
    9780817645199 (ISBN)
    E-Book
    PDF
    Other editions
    €96.29
    Available for download
  3. Cover: Temporal Type Theory - Birkhäuser
    Patrick Schultz | David I. Spivak
    Temporal Type Theory
    A Topos-Theoretic Approach to Systems and Behavior
    02/2019
    Birkhäuser
    9783030007034 (ISBN)
    Book
    Hardback
    Other editions
    €128.39
    Shipment within 7-9 days
  4. Cover: Number Theoretic Methods in Cryptography - Birkhäuser
    Igor Shparlinski
    Number Theoretic Methods in Cryptography
    Complexity lower bounds
    02/1999
    Birkhäuser
    9783764358884 (ISBN)
    Book
    Hardback
    Other editions
    €53.49
    Shipment within 7-9 days
  5. Cover: Perspectives in Computational Complexity - Birkhäuser
    Manindra Agrawal | Vikraman Arvind
    Perspectives in Computational Complexity
    The Somenath Biswas Anniversary Volume
    08/2016
    Birkhäuser
    9783319350585 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €117.69
    Shipment within 10-15 days
  6. Cover: Advances in Proof Theory - Birkhäuser
    Reinhard Kahle | Thomas Strahm | Thomas Studer
    Advances in Proof Theory
    05/2018
    Birkhäuser
    9783319805139 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 10-15 days
  7. Cover: Mathematical Logic - Birkhäuser
    Wei Li
    Mathematical Logic
    Foundations for Information Science
    11/2014
    2nd EDN2nd Edition
    Birkhäuser
    9783034808613 (ISBN)
    Book
    Hardback
    Other editions
    €53.49
    Shipment within 10-15 days
  8. Cover: Advances in Proof Theory - Birkhäuser
    Reinhard Kahle | Thomas Strahm | Thomas Studer
    Advances in Proof Theory
    05/2016
    Birkhäuser
    9783319291963 (ISBN)
    Book
    Hardback
    Other editions
    €106.99
    Shipment within 10-15 days
  9. Cover: Cryptographic Applications of Analytic Number Theory - Birkhäuser
    Igor Shparlinski
    Cryptographic Applications of Analytic Number Theory
    Complexity Lower Bounds and Pseudorandomness
    10/2013
    Birkhäuser
    9783034894159 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 10-15 days
  10. Cover: Symbolic Rewriting Techniques - Birkhäuser
    Manuel Bronstein | Johannes Grabmeier | Volker Weispfenning
    Symbolic Rewriting Techniques
    10/2012
    Birkhäuser
    9783034897792 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  11. Cover: Number Theoretic Methods in Cryptography - Birkhäuser
    Igor Shparlinski
    Number Theoretic Methods in Cryptography
    Complexity lower bounds
    10/2012
    Birkhäuser
    9783034897235 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  12. Cover: Cryptography and Computational Number Theory - Birkhäuser
    Kwok Y. Lam | Igor Shparlinski | Huaxiong Wang
    Cryptography and Computational Number Theory
    10/2012
    Birkhäuser
    9783034895071 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  13. Cover: Coding, Cryptography and Combinatorics - Birkhäuser
    Keqin Feng | Harald Niederreiter | Chaoping Xing
    Coding, Cryptography and Combinatorics
    11/2012
    Birkhäuser
    9783034896023 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 10-15 days
  14. Cover: Perspectives in Computational Complexity - Birkhäuser
    Manindra Agrawal | Vikraman Arvind
    Perspectives in Computational Complexity
    The Somenath Biswas Anniversary Volume
    07/2014
    Birkhäuser
    9783319054452 (ISBN)
    Book
    Hardback
    Other editions
    €117.69
    Shipment within 10-15 days
  15. Cover: An Introduction to Quantum Computing Algorithms - Springer-Verlag New York Inc.
    Arthur O. Pittenger
    An Introduction to Quantum Computing Algorithms
    12/2012
    Springer-Verlag New York Inc.
    9781461271277 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €74.89
    Shipment within 15-20 days
  16. Cover: Bounded Queries in Recursion Theory - Springer-Verlag New York Inc.
    William Levine | Georgia Martin
    Bounded Queries in Recursion Theory
    07/2013
    Springer-Verlag New York Inc.
    9781461268482 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 15-20 days
  17. Cover: Interpolating Cubic Splines - Springer-Verlag New York Inc.
    Gary D. Knott
    Interpolating Cubic Splines
    10/2012
    Springer-Verlag New York Inc.
    9781461270928 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €90.94
    Shipment within 15-20 days
  18. Cover: Logical Methods - Springer-Verlag New York Inc.
    John N. Crossley | Jeffrey B. Remmel | Richard Shore
    Logical Methods
    In Honor of Anil Nerode's Sixtieth Birthday
    02/2013
    Springer-Verlag New York Inc.
    9781461267089 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €160.49
    Shipment within 15-20 days
  19. Cover: Automata Theory and its Applications - Springer-Verlag New York Inc.
    Bakhadyr Khoussainov | Anil Nerode
    Automata Theory and its Applications
    11/2012
    Springer-Verlag New York Inc.
    9781461266457 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 15-20 days
  20. Cover: A Proof Theory for General Unification - Springer-Verlag New York Inc.
    W. Snyder
    A Proof Theory for General Unification
    09/2012
    Springer-Verlag New York Inc.
    9781461267584 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 15-20 days
    2. of 3