Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: idn=1181468957
Link zu diesem Datensatz | https://d-nb.info/1181468957 |
Art des Inhalts | Hochschulschrift |
Titel | High-quality hardware design and verification using word-level satisfiability techniques / Finn Haedicke |
Person(en) | Haedicke, Finn (Verfasser) |
Organisation(en) | Universität Bremen (Grad-verleihende Institution) |
Verlag | Bremen |
Zeitliche Einordnung | Erscheinungsdatum: [2016] |
Umfang/Format | ix, 100 Seiten : Diagramme ; 30 cm |
Hochschulschrift | Dissertation, Universität Bremen, 2016 |
ISBN/Einband/Preis | Broschur |
Sprache(n) | Englisch (eng) |
Anmerkungen | Enthält Sonderabdrucke |
Sachgruppe(n) | 004 Informatik |
Weiterführende Informationen | Inhaltsverzeichnis |
Frankfurt |
Signatur: 2019 B 21241
Bereitstellung in Frankfurt |
Leipzig |
Signatur: 2019 B 10956
Bereitstellung in Leipzig |