Katalog der Deutschen Nationalbibliothek

Musikarchiv

Buchmuseum

Expertensuche ?

Noch nicht die passende Literatur gefunden? → Book a Librarian

Am Dienstag, den 11.06.2024 ist die Deutsche Nationalbibliothek in Frankfurt am Main wegen eines Betriebsausflugs geschlossen.

Ergebnis der Suche nach: idn=1246786974

Treffer 1 von 1


Link zu diesem Datensatz	https://d-nb.info/1246786974
Art des Inhalts	Hochschulschrift
Titel	Statistical model checking and time-bounded reachability analysis for hybrid petri nets with multiple stochastic variables / vorgelegt von Carina Pilch
Person(en)	Pilch, Carina (Verfasser)
Verlag	Münster
Zeitliche Einordnung	Erscheinungsdatum: 2021
Umfang/Format	xix, 269 Seiten : Illustrationen ; 30 cm
Hochschulschrift	Dissertation, Westfälische Wilhelms-Universität Münster, 2021, Nicht für den Austausch
ISBN/Einband/Preis	Broschur
Sprache(n)	Englisch (eng)
Sachgruppe(n)	004 Informatik ; 510 Mathematik
Weiterführende Informationen	Inhaltsverzeichnis

Frankfurt	Signatur: 2021 BB 136552 Bereitstellung in Frankfurt
Leipzig	Signatur: 2022 BB 63991 Bereitstellung in Leipzig

Treffer 1 von 1

Korrekturanfrage