Ergebnisse filtern
-
- 5
- 2
-
- 2
- 2
- 2
- 1
-
- 1
- 4
- 2
-
- 1
- 2
- 2
- 2
-
- 7
-
- 7
-
- 7
-
Katz Intercultural Negotiation
The unique case of Germany and IsraelErscheinungsjahr 2011Verlag: Books on DemandISBN: 978-3-8423-4810-3Medium: Buch24,90 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Junges / Katz Tools and Algorithms for the Construction and Analysis of Systems
32nd International Conference, TACAS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings, Part IIErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-22748-5Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Junges / Katz Tools and Algorithms for the Construction and Analysis of Systems
32nd International Conference, TACAS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings, Part IErscheinungsjahr 2026Verlag: SpringerISBN: 978-3-032-22751-5Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Isac / Ivanov / Katz Software Verification and Formal Methods for ML-Enabled Autonomous Systems
5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings1. Auflage 2022Verlag: SpringerISBN: 978-3-031-21221-5Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Isac / Ivanov / Katz Software Verification and Formal Methods for ML-Enabled Autonomous Systems
5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings1. Auflage 2022Verlag: Springer International PublishingISBN: 978-3-031-21222-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark69,54 € (inkl. MwSt.)
sofort verfügbar -
Avni / Giacobbe / Johnson AI Verification
First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22–23, 2024, ProceedingsErscheinungsjahr 2024Verlag: Springer International PublishingISBN: 978-3-031-65112-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark128,39 € (inkl. MwSt.)
sofort verfügbar -
Avni / Giacobbe / Johnson AI Verification
First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22-23, 2024, Proceedings2024Verlag: SpringerISBN: 978-3-031-65111-3Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort