Ergebnisse filtern
-
- 8
- 7
-
- 2
- 1
- 2
- 2
- 4
- 2
- 2
-
- 1
- 2
- 10
- 2
-
- 2
- 13
-
- 15
-
- 15
-
- 15
-
Massoni / Mousavi Formal Methods: Foundations and Applications
21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, ProceedingsErscheinungsjahr 2018Verlag: Springer International PublishingISBN: 978-3-030-03044-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark60,98 € (inkl. MwSt.)
sofort verfügbar -
Mousavi / Sgall Topics in Theoretical Computer Science
Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-68953-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Mousavi / Berger Cyber Physical Systems. Design, Modeling, and Evaluation
5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-25140-0Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Philippou / Mousavi 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, Proceedings1. Auflage 2022Verlag: Springer International PublishingISBN: 978-3-031-08678-6Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Mousavi / Massoni Formal Methods: Foundations and Applications
21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings1. Auflage 2018Verlag: Springer Nature SwitzerlandISBN: 978-3-030-03043-8Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Mousavi / Philippou 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, Proceedings1. Auflage 2022Verlag: Springer International PublishingISBN: 978-3-031-08679-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark74,89 € (inkl. MwSt.)
sofort verfügbar -
Mousavi / Sgall Topics in Theoretical Computer Science
Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-68952-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Berger / Mousavi Cyber Physical Systems. Design, Modeling, and Evaluation
5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-25141-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark42,79 € (inkl. MwSt.)
sofort verfügbar -
Mousavi / Hajiaghayi Topics in Theoretical Computer Science
The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-28677-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Groote / Mousavi Modeling and Analysis of Communicating Systems
Erscheinungsjahr 2023Verlag: MIT PressISBN: 978-0-262-54787-1Medium: Buch54,00 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hajiaghayi / Mousavi Topics in Theoretical Computer Science
The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-28678-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Berger / Mousavi / Wisniewski Cyber Physical Systems. Design, Modeling, and Evaluation
6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers1. Auflage 2017Verlag: SpringerISBN: 978-3-319-51737-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Berger / Mousavi / Wisniewski Cyber Physical Systems. Design, Modeling, and Evaluation
6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-51738-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Lee / Talcott / Mousavi Rebeca for Actor Analysis in Action
Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th BirthdayErscheinungsjahr 2025Verlag: Springer Nature SwitzerlandISBN: 978-3-031-85133-9Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lee / Mousavi / Talcott Rebeca for Actor Analysis in Action
Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th BirthdayErscheinungsjahr 2025Verlag: Springer International PublishingISBN: 978-3-031-85134-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark69,54 € (inkl. MwSt.)
sofort verfügbar
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort