Katalog der Deutschen Nationalbibliothek

Neuigkeiten Vom 14. bis 17. April (Ostern) ist die Deutsche Nationalbibliothek geschlossen. Die Ausstellungen des Deutschen Buch- und Schriftmuseums sind vom 14. bis 17. April von 10 bis 18 Uhr geöffnet.
 
 

Ergebnis der Suche nach: idn=112307061X



Treffer 1 von 1 < < > <



Online Ressourcen
Link zu diesem Datensatz http://d-nb.info/112307061X
Titel A machine-checked proof of correctness of Pastry / Noran Azmy ; Betreuer: Christoph Weidenbach
Person(en) Azmy, Noran (Verfasser)
Weidenbach, Christoph (Akademischer Betreuer)
Verlag Saarbrücken : Saarländische Universitäts- und Landesbibliothek
Zeitliche Einordnung Erscheinungsdatum: 2017
Umfang/Format Online-Ressource
Hochschulschrift Dissertation, Saarbrücken, Universität des Saarlandes, 2016
Persistent Identifier URN: urn:nbn:de:bsz:291-scidok-67309
URL http://scidok.sulb.uni-saarland.de/volltexte/2017/6730/ (Verlag) (kostenfrei zugänglich)
Sprache(n) Englisch (eng)
Anmerkungen Langzeitarchivierung gewährleistet
Schlagwörter Verteilte Hash-Tabelle ; Verifikation
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 1 von 1
< < > <


E-Mail-IconAdministration