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

 
 

Ergebnis der Suche nach: Viktor



Treffer 231 von 2051 < < > <



Online Ressourcen
Link zu diesem Datensatz https://d-nb.info/124752552X
Titel Program Logic for Weak Memory Concurrency / Marko Doko ; Betreuer: Viktor Vafeiadis
Person(en) Doko, Marko (Verfasser)
Vafeiadis, Viktor (Akademischer Betreuer)
Verlag Kaiserslautern : Technische Universität Kaiserslautern
Zeitliche Einordnung Erscheinungsdatum: 2021
Umfang/Format Online-Ressource (pdf)
Hochschulschrift Dissertation, Kaiserslautern, Technische Universität Kaiserslautern, 2021
Persistent Identifier URN: urn:nbn:de:hbz:386-kluedo-66792
URL https://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/6679 (Verlag) (kostenfrei zugänglich)
Sprache(n) Englisch (eng)
Schlagwörter Memory* ; Logic* (*maschinell ermittelt)
DDC-Notation 006.33 (maschinell ermittelte DDC-Kurznotation)
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 231 von 2051
< < > <


E-Mail-IconAdministration