Ergebnisse filtern
-
- 5
-
- 1
- 3
- 1
-
- 1
- 5
- 1
- 3
- 1
-
- 5
-
- 3
- 2
-
- 5
-
- 5
-
- 5
Mathematik | Informatik
-
Enea / Lal Computer Aided Verification
35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I1. Auflage 2023Verlag: SpringerISBN: 978-3-031-37705-1Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Enea / Lal Computer Aided Verification
35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II1. Auflage 2023Verlag: SpringerISBN: 978-3-031-37702-0Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Enea / Piskac Verification, Model Checking, and Abstract Interpretation
20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-11244-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Enea / Lal Computer Aided Verification
35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III1. Auflage 2023Verlag: SpringerISBN: 978-3-031-37708-2Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Castañeda / Enea / Gupta Networked Systems
12th International Conference, NETYS 2024, Rabat, Morocco, May 29-31, 2024, Proceedings2024Verlag: SpringerISBN: 978-3-031-67320-7Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
