> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch; Hochschulschrift Titel: Alternative automata-based approaches to probabilistic model checking Beteiligte: Müller, David [VerfasserIn] Körperschaft: Technische Universität Dresden Erschienen: Dresden, Oktober 2019 Umfang: v, 152 Seiten; Illustrationen, Diagramme Sprache: Englisch RVK-Notation: ST 125 : Schaltungstheorie, Rechnerarithmetik, Logik Schlagwörter: Hochschulschrift Entstehung: Hochschulschrift: Dissertation, Technische Universität Dresden, 2018 Anmerkungen:
Bereichsbibliothek DrePunct – Magazin Signatur: 2019 4 013215 Barcode: 33416886 Status: Ausleihbar, bitte bestellen > Bestellen möglich - bitte anmelden
Bereichsbibliothek DrePunct – Magazin Signatur: 2019 4 013216 Barcode: 33416887 Status: Ausleihbar, bitte bestellen > Bestellen möglich - bitte anmelden
Zentralbibliothek – Magazin Signatur: 2019 4 013214 Barcode: 33416885 Status: Bestellen zur Benutzung im Haus, kein Versand per Fernleihe, nur Kopienlieferung > Bestellen möglich - bitte anmelden