Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: tit all "Algorithms"
![]() |
|
Link zu diesem Datensatz | https://d-nb.info/1152095447 |
Titel | Decision algorithms for modelling, optimal control and verification of probabilistic systems / Vahid Hashemi ; Betreuer: Holger Hermanns |
Person(en) |
Hashemi, Vahid (Verfasser) Hermanns, Holger (Akademischer Betreuer) |
Verlag | Saarbrücken : Saarländische Universitäts- und Landesbibliothek |
Zeitliche Einordnung | Erscheinungsdatum: 2017 |
Umfang/Format | Online-Ressource |
Hochschulschrift | Dissertation, Saarbrücken, Universität des Saarlandes, 2017 |
Persistent Identifier | URN: urn:nbn:de:bsz:291-scidok-ds-270397 |
URL | https://publikationen.sulb.uni-saarland.de/handle/20.500.11880/26947 (Verlag) (kostenfrei zugänglich) |
Sprache(n) | Englisch (eng) |
Sachgruppe(n) | 004 Informatik |
Online-Zugriff | Archivobjekt öffnen |
