Mohammad Reza Mousavi – författare
Visar alla böcker från författaren Mohammad Reza Mousavi. Handla med fri frakt och snabb leverans.
15 produkter
Modeling and Analysis of Communicating Systems
Av Jan Friso Groote, Mohammad Reza Mousavi
Häftad, 2023
785 kr
Lägg i varukorg
Formal Methods: Foundations and Applications
21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings
Av Tiago Massoni, Mohammad Reza Mousavi
Häftad, 2018
656 kr
Lägg i varukorg
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 presented in this book were carefully reviewed and selected from 30 submissions. The papers are organized in …
Formal Methods: Foundations and Applications
21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings
Av Mohammad Reza Mousavi, Tiago Massoni
E-bok, 2018
839 kr
Lägg i varukorg
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 presented in this book were carefully reviewed and selected from 30 submissions. The papers are organized in …
Formal Techniques for Distributed Objects, Components, and Systems
42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022, Proceedings
Av Mohammad Reza Mousavi, Anna Philippou
Häftad, 2022
791 kr
Lägg i varukorg
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, Italy, in June 2022, as part of the 17th International Federated Conference on Distributed Computing …
Formal Techniques for Distributed Objects, Components, and Systems
42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022, Proceedings
Av Anna Philippou, Mohammad Reza Mousavi
E-bok, 2022
1007 kr
Lägg i varukorg
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, Italy, in June 2022, as part of the 17th International Federated Conference on Distributed Computing …
Rebeca for Actor Analysis in Action
Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday
Av Edward A. Lee, Mohammad Reza Mousavi m. fl.
Häftad, 2025
846 kr
Lägg i varukorg
This Festschrift volume, dedicated to Marjan Sirjani on the occasion of her 60th birthday, includes refereed papers by leading researchers.Marjan Sirjani received her PhD in Computer Engineering from Sharif University of Technology for work on the Formal Specification and Verification of Concurrent …
Rebeca for Actor Analysis in Action
Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday
Av Carolyn Talcott, Mohammad Reza Mousavi m. fl.
E-bok, 2025
1067 kr
Lägg i varukorg
This Festschrift volume, dedicated to Marjan Sirjani on the occasion of her 60th birthday, includes refereed papers by leading researchers. Marjan Sirjani received her PhD in Computer Engineering from Sharif University of Technology for work on the Formal Specification and Verification of …
Cyber Physical Systems. Design, Modeling, and Evaluation
5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings
Av Christian Berger, Mohammad Reza Mousavi
Häftad, 2015
455 kr
Lägg i varukorg
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 Netherlands, in October 2015. The 10 papers presented in this volume were carefully reviewed and selected …
Cyber Physical Systems. Design, Modeling, and Evaluation
5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings
Av Mohammad Reza Mousavi, Christian Berger
E-bok, 2015
575 kr
Lägg i varukorg
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 Netherlands, in October 2015. The 10 papers presented in this volume were carefully reviewed and selected …
Topics in Theoretical Computer Science
The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers
Av Mohammed Taghi Hajiaghayi, Mohammad Reza Mousavi
Häftad, 2016
567 kr
Lägg i varukorg
This book constitutes the thoroughly refereedpost-conference proceedings of the First IFIP WG 1.8 International Conferenceon Topics in Theoretical Computer Science, held in Tehran, Iran, in August2015.The 10 full papers presented together with 3invited talks were carefully reviewed and selected …
Topics in Theoretical Computer Science
The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers
Av Mohammad Reza Mousavi, Mohammed Taghi Hajiaghayi
E-bok, 2016
718 kr
Lägg i varukorg
This book constitutes the thoroughly refereedpost-conference proceedings of the First IFIP WG 1.8 International Conferenceon Topics in Theoretical Computer Science, held in Tehran, Iran, in August2015. The 10 full papers presented together with 3invited talks were carefully reviewed and selected …
Cyber Physical Systems. Design, Modeling, and Evaluation
6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers
Av Christian Berger, Mohammad Reza Mousavi m. fl.
Häftad, 2017
567 kr
Lägg i varukorg
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, PA, USA, inOctober 2016.The 9 papers presented in this volume were carefully reviewed and selected …
Cyber Physical Systems. Design, Modeling, and Evaluation
6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers
Av Rafael Wisniewski, Mohammad Reza Mousavi m. fl.
E-bok, 2017
755 kr
Lägg i varukorg
This book constitutes the proceedings of the 6th International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy 2016, held in conjunction with ESWeek 2016, in Pittsburgh, PA, USA, in October 2016. The 9 papers presented in this volume were carefully reviewed and …
Topics in Theoretical Computer Science
Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings
Av Mohammad Reza Mousavi, Jiří Sgall
Häftad, 2017
567 kr
Lägg i varukorg
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 8 papers presented in this volume were carefully reviewed and selected from 20 submissions. They were …
Topics in Theoretical Computer Science
Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings
Av Jiri Sgall, Mohammad Reza Mousavi
E-bok, 2017
755 kr
Lägg i varukorg
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 8 papers presented in this volume were carefully reviewed and selected from 20 submissions. They were …
