christel baier

Grid   List

  1. Theoretische Informatik
    Theoretische Informatik
    Christel Baier
    Pearson Benelux B.V.
    Ebook
    Sofort lieferbar
    Zum Buch:Basierend auf den Erfahrungen aus ihren Lehrveranstaltungen zur Theoretischen Informatik vermitteln Baier und Asteroth die klassischen Inhalte einer Einführungsvorlesung für Studenten im H...
    23,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. CONCUR 2006 - Concurrency Theory
    CONCUR 2006 - Concurrency Theory
    Christel Baier
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 17th International Conference on Concurrency Theory, CONCUR 2006, held in Bonn, Germany in August 2006. The 29 revised full papers presented to...
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Tools and Algorithms for the Construction and Analysis of Systems
    Tools and Algorithms for the Construction and Analysis of Systems
    Christel Baier
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015, which took place in London, UK, in April...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. SOFSEM 2017: Theory and Practice of Computer Science
    SOFSEM 2017: Theory and Practice of Computer Science
    Bernhard Steffen
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 43rd International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2017, held in Limerick, Ireland, in January ...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. Formal Techniques for Distributed Objects, Components, and Systems
    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.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2018, held in Madrid, Spain, in J...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  6. Validation of Stochastic Systems
    Validation of Stochastic Systems
    Christel Baier
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This tutorial volume presents a coherent and well-balanced introduction to the validation of stochastic systems; it is based on a GI Dagstuhl research seminar. Supervised by the seminar organizers ...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  7. Validation of Stochastic Systems
    Validation of Stochastic Systems
    Christel Baier
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    It is with great pleasure that we present to you this tutorial volume entitled Validation of Stochastic Systems.ItisoneoftheresultsoftheDutch-German- lateral cooperation project Validation of Stoch...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  8. Tools and Algorithms for the Construction and Analysis of Systems
    Tools and Algorithms for the Construction and Analysis of Systems
    Cesare Tinelli
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    This book constitutes the proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015, which took place in London, UK, in April...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  9. 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
    Bezug 11-15
    This book constitutes the refereed proceedings of the 43rd International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2017, held in Limerick, Ireland, in January ...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  10. Foundations of Software Science and Computation Structures
    Foundations of Software Science and Computation Structures
    Ugo Dal Lago
    Springer International Publishing, Springer Nature Switzerland
    Taschenbuch
    Bezug 11-15
    This book constitutes the proceedings of the 21st International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2018, which took place in Thessaloniki, Greece, i...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  11. Formal Techniques for Distributed Objects, Components, and Systems
    Formal Techniques for Distributed Objects, Components, and Systems
    Luís Caires
    Springer International Publishing, Springer Nature Switzerland
    Taschenbuch
    Bezug 11-15
    This book constitutes the proceedings of the 38th IFIP WG 6.1International Conference on Formal Techniques for Distributed Objects,Components, and Systems, FORTE 2018, held in Madrid, Spain,...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
<%--for search--%>