Hoffmann, Dirk W.
Hoffmann, Dirk W. 1972-
Dirk Hoffmann
VIAF ID: 77207041 ( Personal )
Permalink: http://viaf.org/viaf/77207041
Preferred Forms
- 100 0 _ ‡a Dirk Hoffmann
- 200 _ | ‡a Hoffmann ‡b Dirk W.
-
- 100 1 _ ‡a Hoffmann, Dirk W.
- 100 1 _ ‡a Hoffmann, Dirk W. ‡d 1972-
4xx's: Alternate Name Forms (10)
5xx's: Related Names (3)
- 510 2 _ ‡a Hochschule Karlsruhe - Technik und Wirtschaft ‡b Fakultät für Informatik und Wirtschaftsinformatik ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 551 _ _ ‡a Karlsruhe ‡4 ortw ‡4 https://d-nb.info/standards/elementset/gnd#placeOfActivity
- 551 _ _ ‡a Tübingen ‡4 ortw ‡4 https://d-nb.info/standards/elementset/gnd#placeOfActivity
Works
Title | Sources |
---|---|
Dirk W. Hoffmann | |
Einführung in die Informations- und Codierungstheorie | |
Einsteins Relativitätstheorie Eine geführte Reise durch Raum, Zeit und die Geschichte der Physik | |
Forcing Eine Einführung in die Mathematik der Unabhängigkeitsbeweise | |
Gödel'schen Unvollständigkeitssätze eine geführte Reise durch Kurt Gödels historischen Beweis | |
Grenzen der Mathematik Eine Reise durch die Kerngebiete der mathematischen Logik | |
Grundlagen der Technischen Informatik | |
Software-Qualität | |
Theoretische Informatik | |
Using BDD-based decomposition for automatic error correction of combinatorial circuits | |
Verification of a GF(2m̂) multiplier circuit for digital signal processing |