Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
 

Ergebnis der Suche nach: "Machine Learning"



Treffer 1650 von 2542 < < > <



Online Ressourcen
Link zu diesem Datensatz https://d-nb.info/1328507920
Titel Intelligent formal methods : Combining deductive and inductive reasoning to build reliable systems / Daniel Neider ; Betreuer: Daniel Neider
Person(en) Neider, Daniel (Verfasser)
Neider, Daniel (Akademischer Betreuer)
Verlag Kaiserslautern-Landau : Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau
Zeitliche Einordnung Erscheinungsdatum: 2022
Umfang/Format Online-Ressource (pdf)
Hochschulschrift Habilitationsschrift, Kaiserslautern-Landau, Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau, 2022
Persistent Identifier URN: urn:nbn:de:hbz:386-kluedo-81783
URL https://kluedo.ub.rptu.de/frontdoor/index/index/docId/8178 (Verlag) (kostenfrei zugänglich)
Sprache(n) Englisch (eng)
Schlagwörter Automatisches Beweisverfahren* ; Formale Methode* ; Softwareentwicklung* ; Programmverifikation* ; Verifikation* ; Maschinelles Lernen* (*maschinell ermittelt)
DDC-Notation 005.14 (maschinell ermittelte DDC-Kurznotation)
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 1650 von 2542
< < > <


E-Mail-IconAdministration