Katalog der Deutschen Nationalbibliothek

Neuigkeiten Aktuell erscheint zeitweise die Meldung „Too Many Requests“. Wir arbeiten an einer Lösung. Wir bitten Sie die Störung zu entschuldigen.
 
Neuigkeiten Die Deutsche Nationalbibliothek in Frankfurt am Main ist an Fronleichnam, Donnerstag, 4. Juni 2026 geschlossen. // The German National Library in Frankfurt am Main will be closed on Thursday, 4 June 2026 due to a public holiday (Fronleichnam).
 
Neuigkeiten Mittwoch, den 10. Juni 2026 öffnen die Lesesäle der Deutschen Nationalbibliothek in Leipzig erst ab 13 Uhr. // On Wednesday 10 June 2026 The German National Library in Leipzig will not open until 13:00.
 
 

Ergebnis der Suche nach: dcs=003*

Zurück zur Trefferliste


Treffer 375 von 914 < < > <



Online Ressourcen
Link zu diesem Datensatz https://d-nb.info/1034420712
Art des Inhalts Hochschulschrift
Titel Verification of Reachability Properties and Termination for Probabilistic Systems / Andreas Gaiser. Gutachter: Antonín Kučera ; Francisco Javier Esparza Estaun. Betreuer: Francisco Javier Esparza Estaun
Person(en) Gaiser, Andreas (Verfasser)
Esparza Estaun, Francisco Javier (Akademischer Betreuer)
Kucera, Antonin (Akademischer Betreuer)
Verlag München : Universitätsbibliothek der TU München
Zeitliche Einordnung Erscheinungsdatum: 2013
Umfang/Format Online-Ressource
Andere Ausgabe(n) Erscheint auch als Druck-Ausgabe: Verification of reachability properties and termination for probabilistic systems
Hochschulschrift München, Technische Universität München, Diss., 2013
Persistent Identifier URN: urn:nbn:de:bvb:91-diss-20130410-1115880-0-4
URL http://nbn-resolving.de/urn:nbn:de:bvb:91-diss-20130410-1115880-0-4 (Verlag) (kostenfrei zugänglich)
Sprache(n) Englisch (eng)
DDC-Notation 003.76 [DDC22ger]
Sachgruppe(n) 000 Allgemeines, Wissenschaft

Online-Zugriff Archivobjekt öffnen




Treffer 375 von 914
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration