Detail page

Knowledge Web

Person

Dirk W. Hoffmann (1972-)

Informatiker

Name	Dirk W. Hoffmann
Time	1972- (Date of birth and death)
Place	Karlsruhe (Wirkungsort) Tübingen (Wirkungsort) Deutschland
Academic degree	Prof. Dr.
Profession	Informatiker (characteristic profession) Hochschullehrer
Variant	Dirk Hoffmann D. W. Hoffmann D. Hoffmann
Related	Hochschule Karlsruhe - Technik und Wirtschaft. Fakultät für Informatik und Wirtschaftsinformatik (Professor für Informatik und Wirtschaftsinformatik)
Further information	seit 2004 Professor für Informatik und Wirtschaftsinformatik an der Hochschule Karlsruhe - Technik und Wirtschaft; Promotion an der Universität Tübingen, 2001
Source	Wikipedia: https://de.wikipedia.org/wiki/Dirk_Hoffmann (Stand: 04.08.2020)
Record type	Person
GND-Identifier	122854802
Record ID	122854802
Involved in show all Gödel's incompleteness theorems : a guided tour through Kurt Gödel’s historic proof Einführung in die Informations- und Codierungstheorie Einführung in die Informations- und Codierungstheorie Grundlagen der Technischen Informatik Grundlagen der Technischen Informatik Theoretische Informatik Theoretische Informatik Grundlagen der Technischen Informatik Grundlagen der Technischen Informatik Forcing : Eine Einführung in die Mathematik der Unabhängigkeitsbeweise Grenzen der Mathematik : eine Reise durch die Kerngebiete der mathematischen Logik Grenzen der Mathematik : Eine Reise durch die Kerngebiete der mathematischen Logik Theoretische Informatik Theoretische Informatik Die Gödel'schen Unvollständigkeitssätze : eine geführte Reise durch Kurt Gödels historischen Beweis Die Gödel'schen Unvollständigkeitssätze : Eine geführte Reise durch Kurt Gödels historischen Beweis Grundlagen der technischen Informatik Grundlagen der Technischen Informatik Einführung in die Spezielle Relativitätstheorie Einsteins Relativitätstheorie : Eine geführte Reise durch Raum, Zeit und die Geschichte der Physik Theoretische Informatik Theoretische Informatik : mit 26 Tabellen Einführung in die Informations- und Codierungstheorie Grundlagen der Technischen Informatik Grundlagen der technischen Informatik : mit 57 Tabellen und 95 Aufgaben Die 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 Grenzen der Mathematik : Eine Reise durch die Kerngebiete der mathematischen Logik Grundlagen der Technischen Informatik Grundlagen der technischen Informatik : mit 57 Tabellen und 95 Aufgaben Software-Qualität Grenzen der Mathematik : eine Reise durch die Kerngebiete der mathematischen Logik Theoretische Informatik Theoretische Informatik : mit 26 Tabellen und 108 Aufgaben Grundlagen der technischen Informatik : mit 56 Tabellen und 96 Aufgaben Theoretische Informatik Theoretische Informatik : mit 22 Tabellen und 78 Aufgaben Software-Qualität Software-Qualität Grundlagen der technischen Informatik : mit 57 Tabellen und 90 Aufgaben Automatic design error correction of combinational circuits AC-3 V1.00 : a tool for automatic error correction of combinatorial circuits Using BDD-based decomposition for automatic error correction of combinatorial circuits Verification of a GF(2m̂) multiplier circuit for digital signal processing

Please note

The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link:

Katalog der Deutschen Nationalbibliothek

Dirk W. Hoffmann (1972-)

Gödel's incompleteness theorems : a guided tour through Kurt Gödel’s historic proof

Einführung in die Informations- und Codierungstheorie

Einführung in die Informations- und Codierungstheorie

Grundlagen der Technischen Informatik

Grundlagen der Technischen Informatik

Theoretische Informatik

Theoretische Informatik

Grundlagen der Technischen Informatik

Grundlagen der Technischen Informatik

Forcing : Eine Einführung in die Mathematik der Unabhängigkeitsbeweise

Grenzen der Mathematik : eine Reise durch die Kerngebiete der mathematischen Logik

Grenzen der Mathematik : Eine Reise durch die Kerngebiete der mathematischen Logik

Theoretische Informatik

Theoretische Informatik

Die Gödel'schen Unvollständigkeitssätze : eine geführte Reise durch Kurt Gödels historischen Beweis

Die Gödel'schen Unvollständigkeitssätze : Eine geführte Reise durch Kurt Gödels historischen Beweis

Grundlagen der technischen Informatik

Grundlagen der Technischen Informatik

Einführung in die Spezielle Relativitätstheorie

Einsteins Relativitätstheorie : Eine geführte Reise durch Raum, Zeit und die Geschichte der Physik

Theoretische Informatik

Theoretische Informatik : mit 26 Tabellen

Einführung in die Informations- und Codierungstheorie

Grundlagen der Technischen Informatik

Grundlagen der technischen Informatik : mit 57 Tabellen und 95 Aufgaben

Die 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

Grenzen der Mathematik : Eine Reise durch die Kerngebiete der mathematischen Logik

Grundlagen der Technischen Informatik

Grundlagen der technischen Informatik : mit 57 Tabellen und 95 Aufgaben

Software-Qualität

Grenzen der Mathematik : eine Reise durch die Kerngebiete der mathematischen Logik

Theoretische Informatik

Theoretische Informatik : mit 26 Tabellen und 108 Aufgaben

Grundlagen der technischen Informatik : mit 56 Tabellen und 96 Aufgaben

Theoretische Informatik

Theoretische Informatik : mit 22 Tabellen und 78 Aufgaben

Software-Qualität

Software-Qualität

Grundlagen der technischen Informatik : mit 57 Tabellen und 90 Aufgaben

Automatic design error correction of combinational circuits

AC-3 V1.00 : a tool for automatic error correction of combinatorial circuits

Using BDD-based decomposition for automatic error correction of combinatorial circuits

Verification of a GF(2m̂) multiplier circuit for digital signal processing