Katalog der Deutschen Nationalbibliothek

Neuigkeiten Die 1,9 Millionen frei zugänglichen Online-Publikationen können in der Trefferliste über "Alle Standorte - Online (frei zugänglich)" gefiltert werden. Zugang erhalten Sie in der Datensatzansicht über den Link "Archivobjekt öffnen" oder über die URN im Label "Persistent Identifier".
 
Neuigkeiten Die Lesesäle der Deutschen Nationalbibliothek sind für den Benutzungsbetrieb geöffnet. Für den Zutritt am Standort Frankfurt ist eine Reservierungsbestätigung notwendig. Das Reservierungssystem und alle weiteren Hinweise zur Benutzung finden Sie auf der Startseite unserer Homepage. Lösen Sie Bestellungen bitte erst nach der erfolgreichen Reservierung aus. *** Ab Mittwoch, 1. Juni 2022 entfällt die Pflicht zur Reservierung eines Lesesaalplatzes auch in Frankfurt. ***
 
Neuigkeiten Das Ad-hoc-Bereitstellungssystem steht am 24. und 25. Mai in Frankfurt und Leipzig nicht zur Verfügung. In dieser Zeit ist die Nutzung von bestellten elektronischen Publikationen nicht möglich.
 
 

Ergebnis der Suche nach: idn=1135139601



Treffer 1 von 1 < < > <



Online Ressourcen
Link zu diesem Datensatz https://d-nb.info/1135139601
Art des Inhalts Hochschulschrift
Titel Untersuchung der Nebenläufigkeit, Latenz und Konsistenz asynchroner Interaktiver Echtzeitsysteme mittels Profiling und Model Checking / Stephan Rehfeld ; Gutachter: Marc Erich Latoschik, Henrik Tramberend
Person(en) Rehfeld, Stephan (Verfasser)
Latoschik, Marc Erich (Gutachter)
Tramberend, Henrik (Gutachter)
Verlag Würzburg : Universität Würzburg
Zeitliche Einordnung Erscheinungsdatum: 2017
Umfang/Format Online-Ressource
Andere Ausgabe(n) Erscheint auch als Druck-Ausgabe: Rehfeld, Stephan: Untersuchung der Nebenläufigkeit, Latenz und Konsistenz asynchroner Interaktiver Echtzeitsysteme mittels Profiling und Model Checking
Hochschulschrift Dissertation, Würzburg, Universität Würzburg, 2017
Persistent Identifier URN: urn:nbn:de:bvb:20-opus-147431
URL https://opus.bibliothek.uni-wuerzburg.de/frontdoor/index/index/docId/14743 (Verlag) (kostenfrei zugänglich)
Sprache(n) Deutsch (ger)
Schlagwörter Model Checking ; Virtuelle Realität ; Computerspiel ; Nebenläufigkeit
Nebenläufigkeit* ; Model Checking* ; Latenz* ; Konsistenz <Informatik>* (*maschinell ermittelt)
DDC-Notation 004.33 [DDC22ger]
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 1 von 1
< < > <


E-Mail-IconAdministration