Katalog der Deutschen Nationalbibliothek

Expertensuche ?

Servicezeiten in Frankfurt am Main ab 1. Dezember 2025: Montag bis Freitag 9–18 Uhr und Samstag 10–16 Uhr
Service hours in Frankfurt am Main from 1 December 2025: Monday to Friday 9:00-18:00 and Saturday 10:00-16:00

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

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

Ergebnis der Suche nach: "120078422"

Zurück zur Trefferliste

Treffer 9 von 57


Link zu diesem Datensatz	https://d-nb.info/986795542
Titel	Entwurf und Verifikation nachrichtenbasierter verteilter Algorithmen durch verteilende Verfeinerung / B. Hohberg ; W. Reisig ; B. Wu. Humboldt-Universität zu Berlin. [Hrsg.: Professoren des Institutes für Informatik. Red.: Publikationsstelle]
Person(en)	Hohberg, Bodo (Verfasser) Reisig, Wolfgang (Verfasser) Wu, Bixia (Verfasser)
Verlag	Berlin : Professoren des Inst. für Informatik
Zeitliche Einordnung	Erscheinungsdatum: 2007
Umfang/Format	30 S. : graph. Darst. ; 30 cm
Andere Ausgabe(n)	Erscheint auch als Online-Ausgabe: Entwurf und Verifikation nachrichtenbasierter verteilter Algorithmen durch verteilende Verfeinerung
ISBN/Einband/Preis	kart.
Sprache(n)	Deutsch (ger)
Beziehungen	Informatik-Berichte ; Nr. 216
Anmerkungen	Literaturverz. S. 28 - 30
Sachgruppe(n)	004 Informatik

Frankfurt	Signatur: 2008 B 559 Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.] Bereitstellung in Frankfurt
Leipzig	Signatur: 2008 B 14029 Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.] Bereitstellung in Leipzig

Treffer 9 von 57

Aktionen

MARC21-XML-Repräsentation dieses Datensatzes

Korrekturanfrage

Administration