Ergebnisse filtern
-
- 5
-
- 1
- 1
- 2
- 1
-
- 1
- 1
- 5
- 1
- 1
- 1
-
- 4
- 1
-
- 4
- 1
-
- 5
-
- 5
-
- 5
Mathematik | Informatik
-
Hou Fundamentals of Logic and Computation
With Practical Automated Reasoning and Verification1. Auflage 2021Verlag: SpringerISBN: 978-3-030-87884-9Medium: Buch64,19 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Hou Fundamentals of Logic and Computation
With Practical Automated Reasoning and Verification1. Auflage 2021Verlag: SpringerISBN: 978-3-030-87881-8Medium: Buch64,19 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Hou / Ganesh Automated Technology for Verification and Analysis
19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings1. Auflage 2021Verlag: SpringerISBN: 978-3-030-88884-8Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Dong / Izadi / Hou Sports Analytics
First International Conference, ISACE 2024, Paris, France, July 12-13, 2024, Proceedings2024Verlag: SpringerISBN: 978-3-031-69072-3Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Lin / Mahony / Hou Formal Methods and Software Engineering
22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021, Proceedings1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-63405-6Medium: 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
