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 on Topics in Theoretical Computer Science, TTCS 2017, held in Tehran, Iran, in September 2017.The...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  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 from 48 submissions. Thepapers feature novel and high-quality research in all areas of theoreticalco...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  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 Creative Commons Attribution 4.0 International License via link.springer.com.
    60,98 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  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
    In den Warenkorb Zum Merkzettel
  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 Evaluation of Cyber Physical Systems, CyPhy 2015, held as part of ESWeek 2015, in Amsterdam, The Net...
    42,79 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  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 on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2022, held in Lucca, Ita...
    74,89 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  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, includes refereed papers by leading researchers.
    69,54 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  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, and Evaluation of Cyber Physical Systems, CyPhy 2015, held as part of ESWeek 2015, in Amsterdam, The ...
    42,80 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  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 Evaluation of Cyber Physical Systems, CyPhy2016, held in conjunction with ESWeek 2016, in Pittsburgh,...
    64,23 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  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 Conference on Topics in Theoretical Computer Science, TTCS 2017, held in Tehran, Iran, in September 2017....
    64,23 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  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, SBMF 2018, which took place in Salvador, Brazil, in November 2018.The 16 regular papers present...
    62,05 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  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 on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2022, held in Lucca, Ita...
    74,89 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
  2. 2
<%--for search--%>