Ergebnisse filtern
-
- 4
-
- 1
- 1
- 1
- 1
-
- 1
- 1
- 1
- 1
- 4
-
- 4
-
- 4
-
- 4
-
- 3
- 1
-
- 4
Mathematik | Informatik
-
Gotsman / Sokolova Formal Techniques for Distributed Objects, Components, and Systems
40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-50085-6Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kovács / Sokolova Reachability Problems
18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings2024Verlag: SpringerISBN: 978-3-031-72620-0Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Laarman / Sokolova Model Checking Software
27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings1. Auflage 2021Verlag: SpringerISBN: 978-3-030-84628-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
D’Argenio / Sokolova Theoretical Aspects of Computing
23rd International Colloquium, ICTAC 2026, Bariloche, Argentina, November 11–13, 2026, ProceedingsErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-43867-6Medium: Buch87,73 € (inkl. MwSt.)
vorbestellbar
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort