Wissen, was kommt.
Erweiterte Suche

Grid  List

  1. Cyber Physical Systems. Design, Modeling, and Evaluation Cyber Physical Systems. Design, Modeling, and Evaluation

    Cyber Physical Systems. Design, Modeling, and Evaluation

    Mohammad Reza Mousavi
    Springer International Publishing, Springer International Publishing
    10.11.2015

    This book constitutes the proceedings of the 5th International Workshop on Design, Modeling, and ...

    Taschenbuch
    42,80 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Cyber Physical Systems. Design, Modeling, and Evaluation Cyber Physical Systems. Design, Modeling, and Evaluation

    Cyber Physical Systems. Design, Modeling, and Evaluation

    Christian Berger
    Springer, Berlin, Springer International Publishing, Springer

    This book constitutes the proceedings of the 6th International Workshopon Design, Modeling, and E...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Formal Methods: Foundations and Applications Formal Methods: Foundations and Applications

    Formal Methods: Foundations and Applications

    Mohammad Reza Mousavi
    Springer Nature Switzerland, Springer International Publishing
    24.10.2018

    This book constitutes the refereed proceedings of the 21st Brazilian Symposium on Formal Methods,...

    Taschenbuch
    62,05 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Topics in Theoretical Computer Science Topics in Theoretical Computer Science

    Topics in Theoretical Computer Science

    Mohammad Reza Mousavi
    Springer International Publishing, Springer International Publishing
    25.01.2016

    This book constitutes the thoroughly refereedpost-conference proceedings of the First IFIP WG 1.8...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Topics in Theoretical Computer Science Topics in Theoretical Computer Science

    Topics in Theoretical Computer Science

    Mohammad Reza Mousavi
    Springer, Berlin, Springer International Publishing, Springer

    This book constitutes the refereed proceedings of the Second IFIP WG 1.8 International Conference...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Formal Techniques for Distributed Objects, Components, and Systems Formal Techniques for Distributed Objects, Components, and Systems

    Formal Techniques for Distributed Objects, Components, and Systems

    Anna Philippou
    Springer International Publishing, Springer International Publishing
    12.06.2022

    This book constitutes the refereed proceedings of the 42nd IFIP WG 6.1 International Conference o...

    Taschenbuch
    74,89 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Modeling and Analysis of Communicating Systems Modeling and Analysis of Communicating Systems

    Modeling and Analysis of Communicating Systems

    Jan Friso Groote
    MIT Press
    09.05.2023

    Rigorous theory and real-world applications for modeling and analysis of the behavior of complex ...

    Taschenbuch
    54,00 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Rebeca for Actor Analysis in Action Rebeca for Actor Analysis in Action

    Rebeca for Actor Analysis in Action

    Edward A. Lee
    Springer Nature Switzerland, Springer International Publishing
    21.03.2025

    This Festschrift volume, dedicated to Marjan Sirjani on the occasion of her 60th birthday, includ...

    Taschenbuch
    70,61 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1