Ergebnisse filtern
-
- 4
-
- 3
- 1
-
- 4
-
- 3
- 1
-
- 4
-
- 4
-
- 4
Mathematik | Informatik
-
Darulova / Lin / Rümmer Computer Aided Verification
38th International Conference, CAV 2026, Lisbon, Portugal, July 26-29, 2026, Proceedings, Part IIIErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-32536-5Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Lin / Zetzsche / Potapov Reachability Problems
16th International Conference, RP 2022, Kaiserslautern, Germany, October 17-21, 2022, Proceedings1. Auflage 2022Verlag: SpringerISBN: 978-3-031-19134-3Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Darulova / Lin / Rümmer Computer Aided Verification
38th International Conference, CAV 2026, Lisbon, Portugal, July 26-29, 2026, Proceedings, Part IIErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-32525-9Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Darulova / Lin / Rümmer Computer Aided Verification
38th International Conference, CAV 2026, Lisbon, Portugal, July 26-29, 2026, Proceedings, Part IErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-32518-1Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
