Treffer 1 – 2 von 2 für Suche 'Ivanov, Radoslav', Suchdauer: 0,02s
Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
-
1
Software Verification and Formal Methods for ML-Enabled Autonomous Systems 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 3...
Veröffentlicht 2022Weitere Verfasser:Signatur: Wird geladen …
Standort: Wird geladen …
Volltext öffnenWird geladen …Volltext öffnen
Elektronisch E-Book -
2
Software verification and formal methods for ML-enabled autonomous systems 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 3...
Veröffentlicht 2022Weitere Verfasser:Signatur: Wird geladen …
Standort: Wird geladen …