Katalog der Deutschen Nationalbibliothek

Neuigkeiten

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

 
Neuigkeiten Noch nicht die passende Literatur gefunden? → Book a Librarian
 
Neuigkeiten Vom 25. – 28. September 2023 ist die Deutsche Nationalbibliothek in Leipzig wegen Bauarbeiten geschlossen. Die Ausstellungen des Deutschen Buch- und Schriftmuseums sind geöffnet.

→ Weitere Informationen
 
 

Ergebnis der Suche nach: idn=1278957901



Treffer 1 von 1 < < > <



Online Ressourcen
Link zu diesem Datensatz https://d-nb.info/1278957901
Titel Verified compilation and optimization of floating-point kernels / Heiko Becker ; Betreuer: Eva Darulova
Person(en) Becker, Heiko (Verfasser)
Darulova, Eva (Akademischer Betreuer)
Verlag Saarbrücken : Saarländische Universitäts- und Landesbibliothek
Zeitliche Einordnung Erscheinungsdatum: 2022
Umfang/Format Online-Ressource
Hochschulschrift Dissertation, Saarbrücken, Universität des Saarlandes, 2022
Persistent Identifier URN: urn:nbn:de:bsz:291--ds-386888
DOI: 10.22028/D291-38688
URL https://publikationen.sulb.uni-saarland.de/handle/20.500.11880/34919 (Verlag) (kostenfrei zugänglich)
Sprache(n) Englisch (eng)
Schlagwörter Compiler* ; Gleitkommarechnung* ; Übersetzerbau* ; Codegenerierung* ; Programmverifikation* ; Automatisches Beweisverfahren* ; Programmiersprache* (*maschinell ermittelt)
DDC-Notation 004.01 (maschinell ermittelte DDC-Kurznotation)
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 1 von 1
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration