Ergebnisse filtern
-
- 4
-
- 1
- 2
- 1
-
- 1
- 1
- 1
- 1
- 1
- 4
-
- 4
-
- 4
-
- 4
-
- 4
-
- 4
Mathematik | Informatik
-
Stolz / Carvalho Formal Methods: Foundations and Applications
23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-63881-8Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Stolz / Dang Runtime Verification
22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, Proceedings1. Auflage 2022Verlag: Springer International PublishingISBN: 978-3-031-17195-6Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Stolz / Mann Advances in Service-Oriented and Cloud Computing
Workshops of ESOCC 2017, Oslo, Norway, September 27-29, 2017, Revised Selected Papers1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-79089-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Pun / Simao / Stolz Theoretical Aspects of Computing - ICTAC 2020
17th International Colloquium, Macau, China, November 30 - December 4, 2020, Proceedings1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-64275-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort