Profisuche

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...

    23,99 €
    Alle Preise inkl. MwSt
  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 Concurrenc...

    96,29 €
    Alle Preise inkl. MwSt
  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 Algorithm...

    53,49 €
    Alle Preise inkl. MwSt
  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 Tr...

    53,49 €
    Alle Preise inkl. MwSt
  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 ...

    53,49 €
    Alle Preise inkl. MwSt
  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 stoc...

    53,49 €
    Alle Preise inkl. MwSt
  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 Stoc...

    53,49 €
    Alle Preise inkl. MwSt | zzgl. Versand
  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 Algorithm...

    53,49 €
    Alle Preise inkl. MwSt | zzgl. Versand
  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 Tr...

    53,49 €
    Alle Preise inkl. MwSt | zzgl. Versand
  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 Soft...

    53,49 €
    Alle Preise inkl. MwSt | zzgl. Versand
  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 For...

    53,49 €
    Alle Preise inkl. MwSt | zzgl. Versand
  1. 1