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

Your search for Cambridge Tracts in Theoretical Computer Science

  1. Cover: Topological Duality for Distributive Lattices - Cambridge University Press
    Mai Gehrke | Sam van Gool
    Topological Duality for Distributive Lattices
    Theory and Applications
    02/2024
    Cambridge University Press
    9781009349710 (ISBN)
    E-Book
    PDF
    Other editions
    €79.99
    Available for download
  2. Cover: Finite-State Techniques - Cambridge University Press
    Stoyan Mihov | Klaus U. Schulz
    Finite-State Techniques
    Automata, Transducers and Bimachines
    07/2019
    Cambridge University Press
    9781108621137 (ISBN)
    E-Book
    PDF
    Other editions
    €65.99
    Available for download
  3. Cover: Temporal Logics in Computer Science - Cambridge University Press
    Stephane Demri | Valentin Goranko | Martin Lange
    Temporal Logics in Computer Science
    Finite-State Systems
    09/2016
    Cambridge University Press
    9781316728567 (ISBN)
    E-Book
    PDF
    Other editions
    €106.99
    Available for download
  4. Cover: Introduction to Coalgebra - Cambridge University Press
    Bart Jacobs
    Introduction to Coalgebra
    Towards Mathematics of States and Observation
    11/2016
    Cambridge University Press
    9781316836019 (ISBN)
    E-Book
    PDF
    Other editions
    €133.99
    Available for download
  5. Cover: Introduction to Coalgebra - Cambridge University Press
    Bart Jacobs
    Introduction to Coalgebra
    Towards Mathematics of States and Observation
    10/2016
    Cambridge University Press
    9781316832448 (ISBN)
    E-Book
    ePUB
    Other editions
    €118.99
    Available for download
  6. Cover: Temporal Logics in Computer Science - Cambridge University Press
    Stephane Demri
    Temporal Logics in Computer Science
    Finite-State Systems
    10/2016
    Cambridge University Press
    9781316727164 (ISBN)
    E-Book
    ePUB
    Other editions
    €89.99
    Available for download
  7. Cover: Information Flow - Cambridge University Press
    Jon Barwise | Jerry Seligman
    Information Flow
    The Logic of Distributed Systems
    10/2015
    1st EDN1st Edition
    Cambridge University Press
    9780511899782 (ISBN)
    E-Book
    PDF
    Other editions
    €52.99
    Available for download
  8. Cover: Nominal Sets - Cambridge University Press
    Andrew M. Pitts
    Nominal Sets
    Names and Symmetry in Computer Science
    05/2013
    1st EDN1st Edition
    Cambridge University Press
    9781107240186 (ISBN)
    E-Book
    PDF
    Other editions
    €57.49
    Available for download
  9. Cover: Nominal Sets - Cambridge University Press
    Andrew M. Pitts
    Nominal Sets
    Names and Symmetry in Computer Science
    05/2013
    Cambridge University Press
    9781107241312 (ISBN)
    E-Book
    ePUB
    Other editions
    €48.99
    Available for download
  10. Cover: Advanced Topics in Bisimulation and Coinduction - Cambridge University Press
    Davide Sangiorgi | Jan Rutten
    Advanced Topics in Bisimulation and Coinduction
    11/2011
    1st EDN1st Edition
    Cambridge University Press
    9781139153799 (ISBN)
    E-Book
    PDF
    Other editions
    €85.49
    Available for download
  11. Cover: Process Algebra: Equational Theories of Communicating Processes - Cambridge University Press
    J. C. M. Baeten | T. Basten | M. A. Reniers
    Process Algebra: Equational Theories of Communicating Processes
    Equational Theories of Communicating Processes
    04/2010
    1st EDN1st Edition
    Cambridge University Press
    9780511717420 (ISBN)
    E-Book
    PDF
    Other editions
    €85.99
    Available for download
  12. Cover: Rippling: Meta-Level Guidance for Mathematical Reasoning - Cambridge University Press
    Alan Bundy | David Basin | Dieter Hutter
    Rippling: Meta-Level Guidance for Mathematical Reasoning
    Meta-Level Guidance for Mathematical Reasoning
    09/2005
    1st EDN1st Edition
    Cambridge University Press
    9780511111853 (ISBN)
    E-Book
    PDF
    Other editions
    €91.49
    Available for download
  13. Cover: Modal Logic - Cambridge University Press
    Patrick Blackburn
    Modal Logic
    08/2002
    Cambridge University Press
    9781316099070 (ISBN)
    E-Book
    ePUB
    Other editions
    €72.49
    Available for download
  14. Cover: Modal Logic - Cambridge University Press
    Patrick Blackburn | Maarten de Rijke | Yde Venema
    Modal Logic
    06/2001
    Cambridge University Press
    9781316097526 (ISBN)
    E-Book
    PDF
    Other editions
    €85.49
    Available for download
  15. Cover: Basic Proof Theory - Cambridge University Press
    A. S. Troelstra | H. Schwichtenberg
    Basic Proof Theory
    07/2000
    2nd EDN2nd Edition
    Cambridge University Press
    9781316044537 (ISBN)
    E-Book
    PDF
    Other editions
    €44.49
    Available for download
  16. This image is currently not available.
    Hans Van Ditmarsch
    Reasoning about Gossip
    approx. 02/2027
    Cambridge University Press
    9781009557054 (ISBN)
    Book
    Hardback
    €97.50
    Not yet published
  17. Cover: Initial Algebras and Terminal Coalgebras - Cambridge University Press
    Jiri Adamek | Stefan Milius | Lawrence S. Moss
    Initial Algebras and Terminal Coalgebras
    The Theory of Fixed Points of Functors
    02/2025
    Cambridge University Press
    9781108835466 (ISBN)
    Book
    Hardback
    Other editions
    €199.60
    Shipment within 15-20 days
  18. Cover: Syntax and Semantics of Petri Nets - Cambridge University Press
    Roberto Gorrieri
    Syntax and Semantics of Petri Nets
    09/2025
    Cambridge University Press
    9781009613286 (ISBN)
    Book
    Hardback
    Other editions
    €135.30
    Shipment within 15-20 days
  19. Cover: Temporal Logics in Computer Science - Cambridge University Press
    Stephane Demri | Valentin Goranko | Martin Lange
    Temporal Logics in Computer Science
    Finite-State Systems
    10/2016
    Cambridge University Press
    9781107028364 (ISBN)
    Book
    Hardback
    Other editions
    €136.50
    Article not available at the moment
  20. Cover: Topological Duality for Distributive Lattices - Cambridge University Press
    Mai Gehrke | Sam van Gool
    Topological Duality for Distributive Lattices
    Theory and Applications
    03/2024
    Cambridge University Press
    9781009349697 (ISBN)
    Book
    Hardback
    Other editions
    €83.00
    Shipment within 15-20 days
    2. of 6