Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: "Martin" and "Schmitz"
|
|
|
| Link zu diesem Datensatz | https://d-nb.info/1314986945 |
| Titel | Efficient implementation of stream transformations / Malte Schmitz ; Akademische Betreuer: Martin Leucker, João Lourenço |
| Person(en) |
Schmitz, Malte (Verfasser) Leucker, Martin (Akademischer Betreuer) Lourenço, João (Akademischer Betreuer) |
| Verlag | Lübeck : Zentrale Hochschulbibliothek Lübeck |
| Zeitliche Einordnung | Erscheinungsdatum: 2024 |
| Umfang/Format | Online-Ressource (pdf) |
| Hochschulschrift | Dissertation, Lübeck, Universität zu Lübeck, 2023 |
| Persistent Identifier | URN: urn:nbn:de:gbv:841-20231218146 |
| URL | https://www.zhb.uni-luebeck.de/epubs/ediss3011.pdf (Verlag) (kostenfrei zugänglich) |
| Sprache(n) | Englisch (eng) |
| Schlagwörter | Formale Methode* ; Eingebettetes System* ; Hardwareverifikation* ; Programmlaufzeit* ; Streaming <Kommunikationstechnik>* ; Mehrkernprozessor* (*maschinell ermittelt) |
| DDC-Notation | 004.2 (maschinell ermittelte DDC-Kurznotation) |
| Sachgruppe(n) | 004 Informatik |
| Online-Zugriff | Archivobjekt öffnen |

