Ergebnisse filtern
-
- 4
- 3
-
- 2
- 2
- 2
- 1
-
- 1
- 5
- 1
-
- 6
- 1
-
- 7
-
- 7
-
- 7
- 1
-
Ahmed / Bastaki / Hasan Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
1. Auflage 2022Verlag: Springer International PublishingISBN: 978-3-030-78408-9Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Mallet / Hasan Formal Techniques for Safety-Critical Systems
7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-46901-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Hasan / Tahar Formalized Probability Theory and Applications Using Theorem Proving
Erscheinungsjahr 2015Verlag: Information Science ReferenceISBN: 978-1-4666-8315-0Medium: Buch211,20 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Hasan / Mallet Formal Techniques for Safety-Critical Systems
7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected PapersErscheinungsjahr 2020Verlag: Springer International PublishingISBN: 978-3-030-46902-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Ahmed / Hasan / Awwad Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
1. Auflage 2022Verlag: Springer International PublishingISBN: 978-3-030-78409-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark69,54 € (inkl. MwSt.)
sofort verfügbar
-
Geuvers / England / Hasan Intelligent Computer Mathematics
10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-62075-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Geuvers / England / Teschke Intelligent Computer Mathematics
10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings1. Auflage 2017Verlag: Springer Nature SwitzerlandISBN: 978-3-319-62074-9Medium: 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
