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

Your search for Texts in Theoretical Computer Science. An EATCS Series

  1. Cover: Decision Procedures - Springer
    Daniel Kroening | Ofer Strichman
    Decision Procedures
    An Algorithmic Point of View
    11/2016
    2nd EDN2nd Edition
    Springer
    9783662504970 (ISBN)
    E-Book
    PDF
    Other editions
    €64.19
    Available for download
  2. Cover: DNA Computing - Springer
    Gheorghe Paun | Grzegorz Rozenberg | Arto Salomaa
    DNA Computing
    New Computing Paradigms
    03/2013
    Springer
    9783662035634 (ISBN)
    E-Book
    PDF
    Other editions
    €88.80
    Available for download
  3. Cover: Extremal Combinatorics - Springer
    Stasys Jukna
    Extremal Combinatorics
    With Applications in Computer Science
    08/2011
    2nd EDN2nd Edition
    Springer
    9783642173646 (ISBN)
    E-Book
    PDF
    Other editions
    €74.89
    Available for download
  4. Cover: Software Engineering 2 - Springer
    Dines Bjørner
    Software Engineering 2
    Specification of Systems and Languages
    08/2007
    1st EDN1st Edition
    Springer
    9783540331933 (ISBN)
    E-Book
    PDF
    Other editions
    €89.24
    Available for download
  5. Cover: Formal Methods for Software Engineering - Springer
    Markus Roggenbach | Antonio Cerone | Bernd-Holger Schlingloff
    Formal Methods for Software Engineering
    Languages, Methods, Application Domains
    06/2023
    1st EDN1st Edition
    Springer
    9783030388027 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €64.19
    Shipment within 7-9 days
  6. Cover: A Practical Theory of Reactive Systems - Springer
    R. Kurki-Suonio
    A Practical Theory of Reactive Systems
    Incremental Modeling of Dynamic Behaviors
    07/2005
    1st EDN1st Edition
    Springer
    9783540273486 (ISBN)
    E-Book
    PDF
    Other editions
    €80.20
    Available for download
  7. Cover: Parameterized Complexity Theory - Springer
    J. Flum | M. Grohe
    Parameterized Complexity Theory
    05/2006
    1st EDN1st Edition
    Springer
    9783540299530 (ISBN)
    E-Book
    PDF
    Other editions
    €89.24
    Available for download
  8. Cover: Universal Artificial Intelligence - Springer
    Marcus Hutter
    Universal Artificial Intelligence
    Sequential Decisions Based on Algorithmic Probability
    12/2005
    1st EDN1st Edition
    Springer
    9783540268772 (ISBN)
    E-Book
    PDF
    Other editions
    €80.20
    Available for download
  9. Cover: Formal Methods for Software Engineering - Springer
    Markus Roggenbach | Antonio Cerone | Bernd-Holger Schlingloff
    Formal Methods for Software Engineering
    Languages, Methods, Application Domains
    06/2022
    1st EDN1st Edition
    Springer
    9783030387990 (ISBN)
    Book
    Hardback
    Other editions
    €85.59
    Shipment within 7-9 days
  10. Cover: Decision Procedures - Springer
    Daniel Kroening | Ofer Strichman
    Decision Procedures
    An Algorithmic Point of View
    01/2017
    2nd EDN2nd Edition
    Springer
    9783662504963 (ISBN)
    Book
    Hardback
    Other editions
    €85.59
    Shipment within 7-9 days
  11. Cover: Decision Procedures - Springer
    Daniel Kroening | Ofer Strichman
    Decision Procedures
    An Algorithmic Point of View
    07/2018
    2nd EDN2nd Edition
    Springer
    9783662570654 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €64.19
    Shipment within 7-9 days
  12. Cover: Decision Procedures - Springer
    Daniel Kroening | Ofer Strichman
    Decision Procedures
    An Algorithmic Point of View
    05/2008
    Springer
    9783540741046 (ISBN)
    Book
    Hardback
    Other editions
    €69.54
    Shipment within 7-9 days
    New edition available
  13. Cover: Petri Net Synthesis - Springer
    Eric Badouel | Luca Bernardinello | Philippe Darondeau
    Petri Net Synthesis
    08/2016
    Springer
    9783662516218 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €64.19
    Shipment within 7-9 days
  14. Cover: Algorithmics for Hard Problems - Springer
    Juraj Hromkovic
    Algorithmics for Hard Problems
    Introduction to Combinatorial Optimization, Randomization, Approximation, and Heuristics
    10/2002
    2nd EDN2nd Edition
    Springer
    9783540441342 (ISBN)
    Book
    Hardback
    Other editions
    €96.29
    Shipment within 7-9 days
  15. Cover: Universal Artificial Intelligence - Springer
    Marcus Hutter
    Universal Artificial Intelligence
    Sequential Decisions Based on Algorithmic Probability
    10/2004
    Springer
    9783540221395 (ISBN)
    Book
    Hardback
    Other editions
    €96.29
    Shipment within 7-9 days
  16. Cover: Grammatical Picture Generation - Springer
    Frank Drewes
    Grammatical Picture Generation
    A Tree-Based Approach
    12/2014
    Springer
    9783642436628 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  17. Cover: Boolean Functions and Computation Models - Springer
    Peter Clote | Evangelos Kranakis
    Boolean Functions and Computation Models
    09/2002
    Springer
    9783540594369 (ISBN)
    Book
    Hardback
    Other editions
    €80.20
    Shipment within 7-9 days
  18. Cover: Software Engineering 1 - Springer
    Dines Bjørner
    Software Engineering 1
    Abstraction and Modelling
    12/2005
    Springer
    9783540211495 (ISBN)
    Book
    Hardback
    Other editions
    €106.99
    Shipment within 7-9 days
  19. Cover: Design and Analysis of Randomized Algorithms - Springer
    J. Hromkovic
    Design and Analysis of Randomized Algorithms
    Introduction to Design Paradigms
    06/2005
    1st EDN1st Edition
    Springer
    9783540239499 (ISBN)
    Book
    Hardback
    Other editions
    €69.54
    Shipment within 7-9 days
  20. Cover: Finite Model Theory and Its Applications - Springer
    Erich Grädel | Phokion G. Kolaitis | Leonid Libkin
    Finite Model Theory and Its Applications
    10/2014
    Springer
    9783642438608 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €80.20
    Shipment within 7-9 days
    2. of 6