Katalog der Deutschen Nationalbibliothek

Neuigkeiten Servicezeiten in Frankfurt am Main ab 1. Dezember 2025: Montag bis Freitag 9–18 Uhr und Samstag 10–16 Uhr
Service hours in Frankfurt am Main from 1 December 2025: Monday to Friday 9:00-18:00 and Saturday 10:00-16:00
 
Neuigkeiten Dienstag 9. Dezember 2025: Die Lesesäle der Deutschen Nationalbibliothek in Leipzig öffnen wegen einer Personalversammlung erst ab 13 Uhr. // Tuesday 9 December 2025: The reading rooms of the German National Library in Leipzig will open at 13:00 due to a staff assembly.
 
 

Ergebnis der Suche nach: "Robert" and "Rolf"

Zurück zur Trefferliste


Treffer 15 von 36 < < > <



Online Ressourcen
Link zu diesem Datensatz https://d-nb.info/1338945939
Titel Coq meets CλaSH: proposing a hardware design synthesis flow that combines proof assistants with functional hardware description languages / Fritjof Bornebusch ; Gutachter: Rolf Drechsler, Görschwin Fey ; Betreuer: Robert Wille
Person(en) Bornebusch, Fritjof (Verfasser)
Wille, Robert (Akademischer Betreuer)
Drechsler, Rolf (Gutachter)
Fey, Görschwin (Gutachter)
Verlag Bremen : Staats- und Universitätsbibliothek Bremen
Zeitliche Einordnung Erscheinungsdatum: 2021
Umfang/Format Online-Ressource
Hochschulschrift Dissertation, Bremen, Universität Bremen, 2021
Persistent Identifier URN: urn:nbn:de:gbv:46-elib49861
DOI: 10.26092/elib/783
URL https://media.suub.uni-bremen.de/handle/elib/4986 (Verlag) (kostenfrei zugänglich)
Sprache(n) Englisch (eng)
Schlagwörter Hardwareentwurf* ; Hardwareverifikation* ; Automatisches Beweisverfahren* ; Entwurfsautomation* ; CASHE* ; Formale Methode* (*maschinell ermittelt)
DDC-Notation 004.2 (maschinell ermittelte DDC-Kurznotation)
Sachgruppe(n) 004 Informatik

Online-Zugriff Archivobjekt öffnen




Treffer 15 von 36
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration