Suchergebnisse - Katz, Guy
- Treffer 1 – 4 von 4
-
1Intercultural negotiation: the unique case of Germany and IsraelVeröffentlicht 2011Signatur: Wird geladen …
Standort: Wird geladen …Hochschulschrift/Dissertation Buch Wird geladen … -
2Software 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, ProceedingsVeröffentlicht 2022Weitere beteiligte Personen: “… Katz, Guy …”
Signatur: Wird geladen …Online lesen
Standort: Wird geladen …
Elektronisch E-Book -
3AI Verification: First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22–23, 2024, ProceedingsVeröffentlicht 2024Weitere beteiligte Personen: “… Katz, Guy …”
Signatur: Wird geladen …Online lesen
Standort: Wird geladen …
Elektronisch E-Book -
4Software 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, ProceedingsVeröffentlicht 2022Weitere beteiligte Personen: “… Katz, Guy …”
Signatur: Wird geladen …
Standort: Wird geladen …Tagungsbericht Buch Wird geladen …