Katalog der Deutschen Nationalbibliothek

Neuigkeiten Am Montag, 23. Juli, schließt die Deutsche Nationalbibliothek in Leipzig wegen einer Veranstaltung um 16 Uhr.
 
Neuigkeiten Vom 3. bis 8. September 2018 bleibt der Lesesaal der Deutschen Nationalbibliothek in Frankfurt am Main wegen Umbaumaßnahmen geschlossen. Die Ausstellungen des Deutschen Exilarchivs 1933–1945 sind ebenfalls geschlossen.
 

Ihre Meinung ist gefragt!

Umfrage zur Nutzung der Handbibliotheken in den Lesesälen der Deutschen Nationalbibliothek // 16. Juli bis 18. August 2018

 

Ergebnis der Suche nach: idn=1100529519



Treffer 1 von 1 < < > <



Online Ressourcen
Link zu diesem Datensatz http://d-nb.info/1100529519
Art des Inhalts Hochschulschrift
Titel Lazy Evaluation: From natural semantics to a machine-checked compiler transformation / Joachim Breitner. Betreuer: G. Snelting
Person(en) Breitner, Joachim (Verfasser)
Snelting, G. (Akademischer Betreuer)
Verlag Karlsruhe : KIT-Bibliothek
Zeitliche Einordnung Erscheinungsdatum: 2016
Umfang/Format Online-Ressource
Hochschulschrift Karlsruhe, Karlsruher Institut für Technologie (KIT), Diss., 2016
Persistent Identifier URN: urn:nbn:de:swb:90-542518
URL http://digbib.ubka.uni-karlsruhe.de/volltexte/1000054251 (Verlag) (kostenfrei zugänglich)
Sprache(n) Englisch (eng)
Anmerkungen Langzeitarchivierung gewährleistet
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 1 von 1
< < > <


E-Mail-IconAdministration