Profisuche

mohammad reza mousavi

Grid   List

  1. Topics in Theoretical Computer Science

    Topics in Theoretical Computer Science

    Mohammad Reza Mousavi
    Springer International Publishing
    Ebook
    Sofort lieferbar

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

    53,49 €
    Alle Preise inkl. MwSt
  2. Topics in Theoretical Computer Science

    Topics in Theoretical Computer Science

    Mohammed Taghi Hajiaghayi
    Springer International Publishing
    Ebook
    Sofort lieferbar

    The 10 full papers presented together with 3invited talks were carefully reviewed and selected fr...

    53,49 €
    Alle Preise inkl. MwSt
  3. Formal Methods: Foundations and Applications

    Formal Methods: Foundations and Applications

    Tiago Massoni
    Springer International Publishing
    Ebook
    Sofort lieferbar

    Chapter 'TeSSLa: Temporal Stream-Based Specification Language' is available open access under a C...

    60,98 €
    Alle Preise inkl. MwSt
  4. Cyber Physical Systems. Design, Modeling, and Evaluation

    Cyber Physical Systems. Design, Modeling, and Evaluation

    Christian Berger
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the proceedings of the 6th International Workshop

    53,49 €
    Alle Preise inkl. MwSt
  5. Cyber Physical Systems. Design, Modeling, and Evaluation

    Cyber Physical Systems. Design, Modeling, and Evaluation

    Christian Berger
    Springer International Publishing
    Ebook
    Sofort lieferbar

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

    42,79 €
    Alle Preise inkl. MwSt
  6. Formal Techniques for Distributed Objects, Components, and Systems

    Formal Techniques for Distributed Objects, Components, and Systems

    Mohammad Reza Mousavi
    Springer International Publishing
    Ebook
    Sofort lieferbar

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

    74,89 €
    Alle Preise inkl. MwSt
  7. Rebeca for Actor Analysis in Action

    Rebeca for Actor Analysis in Action

    Edward A. Lee
    Springer International Publishing
    Ebook
    Sofort lieferbar

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

    69,54 €
    Alle Preise inkl. MwSt
  8. Cyber Physical Systems. Design, Modeling, and Evaluation

    Cyber Physical Systems. Design, Modeling, and Evaluation

    Mohammad Reza Mousavi
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Bezug 11-15

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

    42,80 €
    Alle Preise inkl. MwSt | zzgl. Versand
  9. Cyber Physical Systems. Design, Modeling, and Evaluation

    Cyber Physical Systems. Design, Modeling, and Evaluation

    Christian Berger
    Springer, Berlin, Springer International Publishing, Springer
    Taschenbuch
    Bezug 11-15

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

    64,23 €
    Alle Preise inkl. MwSt | zzgl. Versand
  10. Topics in Theoretical Computer Science

    Topics in Theoretical Computer Science

    Mohammad Reza Mousavi
    Springer, Berlin, Springer International Publishing, Springer
    Taschenbuch
    Bezug 11-15

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

    64,23 €
    Alle Preise inkl. MwSt | zzgl. Versand
  11. Formal Methods: Foundations and Applications

    Formal Methods: Foundations and Applications

    Mohammad Reza Mousavi
    Springer Nature Switzerland, Springer International Publishing
    Taschenbuch
    Bezug 11-15

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

    62,05 €
    Alle Preise inkl. MwSt | zzgl. Versand
  12. Formal Techniques for Distributed Objects, Components, and Systems

    Formal Techniques for Distributed Objects, Components, and Systems

    Anna Philippou
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Bezug 11-15

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

    74,89 €
    Alle Preise inkl. MwSt | zzgl. Versand
  1. 1
  2. 2