Katalog der Deutschen Nationalbibliothek

Expertensuche ?

24. Dezember 2024 bis 1. Januar 2025: Die Deutsche Nationalbibliothek bleibt an beiden Standorten geschlossen. Bestellte Medien werden am 2. Januar 2025 bereitgestellt. // From 24 December 2024 to 1 January 2025: The German National Library will be closed at both locations. Ordered media will be made available on 2 January 2025.

Noch nicht die passende Literatur gefunden? → Book a Librarian

Bitte beachten Sie unsere geänderten Servicezeiten ab dem 1. November 2024.

Ergebnis der Suche nach: idn=991169859

Treffer 1 von 1


Link zu diesem Datensatz	https://d-nb.info/991169859
Art des Inhalts	Hochschulschrift
Titel	Reduction methods for probabilistic model checking / eingereicht von Marcus Thomas Größer
Person(en)	Größer, Marcus Thomas (Verfasser)
Zeitliche Einordnung	Erscheinungsdatum: 2008
Umfang/Format	VIII, 123 S. : graph. Darst. ; 31 cm
Hochschulschrift	Dresden, Techn. Univ., Diss., 2008
Sprache(n)	Englisch (eng)
DDC-Notation	005.140151923 [DDC22ger]
Sachgruppe(n)	004 Informatik ; 510 Mathematik
Weiterführende Informationen	Inhaltsverzeichnis

Frankfurt	Signatur: 2008 B 32428 Bereitstellung in Frankfurt
Leipzig	Signatur: 2008 B 34948 Bereitstellung in Leipzig

Treffer 1 von 1

Aktionen

MARC21-XML-Repräsentation dieses Datensatzes

Korrekturanfrage

Administration