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.

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

Ergebnis der Suche nach: idn=1042035415

Treffer 1 von 1


Link zu diesem Datensatz	https://d-nb.info/1042035415
Art des Inhalts	Hochschulschrift
Titel	Complexity results for reachability in cooperating systems and approximated reachability by abstract over-approximations / vorgelegt von Nils Semmelrock
Person(en)	Semmelrock, Nils (Verfasser)
Zeitliche Einordnung	Erscheinungsdatum: 2013
Umfang/Format	X, 233 S. : graph. Darst. ; 30 cm
Andere Ausgabe(n)	Erscheint auch als Online-Ausgabe: Semmelrock, Nils: Complexity Results for Reachability in Cooperating Systems and Approximated Reachability by Abstract Over-Approximations
Hochschulschrift	Mannheim, Univ., Diss., 2013 (Nicht für den Austausch)
Sprache(n)	Englisch (eng)
Schlagwörter	PSPACE ; distributed system ; deadlock
DDC-Notation	005.74 [DDC22ger]
Sachgruppe(n)	004 Informatik
Weiterführende Informationen	Inhaltsverzeichnis

Frankfurt	Signatur: 2013 B 31382 Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.] Bereitstellung in Frankfurt
Leipzig	Signatur: 2013 B 27691 Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.] Bereitstellung in Leipzig

Treffer 1 von 1

Aktionen

MARC21-XML-Repräsentation dieses Datensatzes

Korrekturanfrage

Administration