Detailsuche

Grid  List

  1. Principles of Model Checking
    0 %
    Principles of Model Checking
    Christel Baier
    The MIT Press
    Ebook
    Sofort lieferbar

    A comprehensive introduction to the foundations of model checking, a fully automated technique fo...

    Unser bisheriger Preis:ORGPRICE: 280,50 €

    Jetzt 280,49 €Ebook
    Alle Preise inkl. MwSt
  2. SOFSEM 2017: Theory and Practice of Computer Science
    0 %
    SOFSEM 2017: Theory and Practice of Computer Science
    Christel Baier
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings of the 43rd International Conference on Current Tr...

    Unser bisheriger Preis:ORGPRICE: 57,19 €

    Jetzt 57,18 €Ebook
    Alle Preise inkl. MwSt
  3. Validation of Stochastic Systems
    0 %
    Validation of Stochastic Systems
    Christel Baier
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    Unser bisheriger Preis:ORGPRICE: 57,17 €

    Jetzt 57,16 €Ebook
    Alle Preise inkl. MwSt
  4. CONCUR 2006 - Concurrency Theory
    0 %
    CONCUR 2006 - Concurrency Theory
    Christel Baier
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This volume contains the proceedings of the 17th International Conference on Concurrency Theory (...

    Unser bisheriger Preis:ORGPRICE: 113,51 €

    Jetzt 113,50 €Ebook
    Alle Preise inkl. MwSt
  5. Foundations of Software Science and Computation Structures
    0 %
    Foundations of Software Science and Computation Structures
    Christel Baier
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the proceedings of the 21st International Conference on Foundations of Soft...

    Unser bisheriger Preis:ORGPRICE: 3,83 €

    Jetzt 3,82 €Ebook
    Alle Preise inkl. MwSt
  6. Formal Techniques for Distributed Objects, Components, and Systems
    0 %
    Formal Techniques for Distributed Objects, Components, and Systems
    Christel Baier
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the proceedings of the 38th IFIP WG 6.1International Conference on Formal...

    Unser bisheriger Preis:ORGPRICE: 57,42 €

    Jetzt 57,41 €Ebook
    Alle Preise inkl. MwSt
  7. Validation of Stochastic Systems
    Validation of Stochastic Systems
    Christel Baier
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    It is with great pleasure that we present to you this tutorial volume entitled Validation of Stoc...

    53,49 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. SOFSEM 2017: Theory and Practice of Computer Science
    SOFSEM 2017: Theory and Practice of Computer Science
    Bernhard Steffen
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings of the 43rd International Conference on Current Tr...

    53,49 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  9. Foundations of Software Science and Computation Structures
    Foundations of Software Science and Computation Structures
    Ugo Dal Lago
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This book constitutes the proceedings of the 21st International Conference on Foundations of Soft...

    53,49 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  10. Formal Techniques for Distributed Objects, Components, and Systems
    Formal Techniques for Distributed Objects, Components, and Systems
    Luís Caires
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This book constitutes the proceedings of the 38th IFIP WG 6.1International Conference on For...

    53,49 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  11. Principles of Model Checking
    0 %
    Principles of Model Checking
    Christel Baier
    MIT Press Ltd
    Buch
    Besorgungstitel - wird vorgemerkt

    A comprehensive introduction to the foundations of model checking, a fully automated technique...

    Unser bisheriger Preis:ORGPRICE: 83,00 €

    Jetzt 82,99 €Buch
    Alle Preise inkl. MwSt | Versandkostenfrei
  12. CONCUR 2006 - Concurrency Theory
    0 %
    CONCUR 2006 - Concurrency Theory
    Christel Baier
    Springer, Berlin, Springer Berlin Heidelberg, Springer
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    This volume contains the proceedings of the 17th International Conference on Concurrency Theory (...

    Unser bisheriger Preis:ORGPRICE: 128,39 €

    Jetzt 106,98 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1