Katalog der Deutschen Nationalbibliothek

Neuigkeiten Am Mittwoch, dem 21. November (Buß- und Bettag) bleibt die Deutsche Nationalbibliothek in Leipzig geschlossen. Die Ausstellungen des Deutschen Buch- und Schriftmuseums sind ebenfalls geschlossen. // The German National Library in Leipzig will be closed on Wednesday 21 November 2018. The Exhibitions of the German Museum of Books and Writing will be closed as well.
 
 

Ergebnis der Suche nach: Suche



Treffer 7 von 362 < < > <



Online Ressourcen
Link zu diesem Datensatz http://d-nb.info/1167683021
Titel Fundamental techniques for the scalable analysis of systems
Person(en) Schilling, Christian (Verfasser)
Podelski, Andreas (Akademischer Betreuer)
Organisation(en) Albert-Ludwigs-Universität Freiburg. Fakultät für Angewandte Wissenschaften (Grad-verleihende Institution)
Verlag Freiburg : Universität
Zeitliche Einordnung Erscheinungsdatum: 2018
Umfang/Format Online-Ressource (pdf)
Hochschulschrift Dissertation, Universität Freiburg, 2018
Persistent Identifier URN: urn:nbn:de:bsz:25-freidok-163963
DOI: 10.6094/UNIFR/16396
URL https://freidok.uni-freiburg.de/data/16396 (kostenfrei zugänglich)
Sprache(n) Englisch (eng)
Anmerkungen Langzeitarchivierung gewährleistet
Schlagwörter Parameterschätzung ; Automatentheorie ; Verifikation ; Lineares zeitinvariantes System ; Erreichbarkeitsmenge
(*maschinell ermittelt)
DDC-Notation 004.6 (maschinell ermittelte DDC-Kurznotation)
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 7 von 362
< < > <


E-Mail-IconAdministration