Katalog der Deutschen Nationalbibliothek

Neuigkeiten Am Dienstag, 28. November, öffnet die Deutsche Nationalbibliothek in Leipzig wegen einer Personalversammlung erst ab 13 Uhr für die Benutzung. Die Ausstellungen des Deutschen Buch- und Schriftmuseums sind von 10 bis 18 Uhr geöffnet.
 
 

Ergebnis der Suche nach: idn=112703846X



Treffer 1 von 1 < < > <



Online Ressourcen
Link zu diesem Datensatz http://d-nb.info/112703846X
Titel Provably sound semantics stack for multi-core system programming with kernel threads / Artem Alekhin ; Betreuer: Wolfgang J. Paul
Person(en) Alekhin, Artem (Verfasser)
Paul, Wolfgang J. (Akademischer Betreuer)
Verlag Saarbrücken : Saarländische Universitäts- und Landesbibliothek
Zeitliche Einordnung Erscheinungsdatum: 2017
Umfang/Format Online-Ressource
Hochschulschrift Dissertation, Saarbrücken, Universität des Saarlandes, 2017
Persistent Identifier URN: urn:nbn:de:bsz:291-scidok-67904
URL http://scidok.sulb.uni-saarland.de/volltexte/2017/6790/ (Verlag) (kostenfrei zugänglich)
Sprache(n) Englisch (eng)
Anmerkungen Langzeitarchivierung gewährleistet
Schlagwörter Thread ; Kernel <Informatik> ; Mehrkernprozessor ; Systemprogrammierung ; Verifikation
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 1 von 1
< < > <


E-Mail-IconAdministration