Katalog der Deutschen Nationalbibliothek

Neuigkeiten 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
 
Neuigkeiten

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

 
Neuigkeiten 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: "110747283"

Zurück zur Trefferliste


Treffer 2 von 6 < < > <



Bücher
Link zu diesem Datensatz https://d-nb.info/921465785
Titel Proving consistency of concurrency constraints for object oriented parallel systems / Silke Seehusen. Fachbereich Mathematik/Informatik, Universität Osnabrück
Person(en) Seehusen, Silke (Verfasser)
Verlag Osnabrück : Univ., Fachbereich Mathematik/Informatik
Zeitliche Einordnung Erscheinungsdatum: 1992
Umfang/Format 12 S. : graph. Darst. ; 21 cm
ISBN/Einband/Preis geh.
Beziehungen Osnabrücker Schriften zur Mathematik / Reihe I, Informatik ; H. 30
Anmerkungen Status nach VGG: vergriffen
Sachgruppe(n) 28 Informatik, Datenverarbeitung

Frankfurt Signatur: DKs 92/3916
Bereitstellung in Frankfurt
Leipzig Signatur: SA 28187-I,30
Bereitstellung in Leipzig




Treffer 2 von 6
< < > <




Aktionen

Aktionen




E-Mail-IconAdministration