Promotionen

Laufende Promotionen

Eric Veith: Verteilte Software zur Homogenisierung regenerativer Energiequellen, 2017
Dong Liang: Automatisierte Transformation von UML - Modellen in SAP - Anwendungen, 2014
Dominik Fröhlich: Object-Oriented Development for Reconfigurable Architectures, 20.6.2007 (PDF 2.4M)
R. Kohut: Neuronale Netze als Model Boolescher Funktionen, Freiberg, 30.6.2007 (PDF 1.5M)
G. Kempe: Tupel von TVL als Datenmodell für Boolesche Funktionen, Freiberg, 20.6.2003 (PDF 1.01M)
Ch. Lang: Bi-Decomposition of Function Sets using Multi-Valued Logic, Freiberg, 11.4.2003 (Abstract)
K. Hesse: Ein Beitrag zur Lösung hochdimensionaler Boolescher Probleme mit parallelen Algorithmen, Chemnitz, 16.7.1999 (Kurzreferat)
T. Schleinig: Anwendung der Booleschen zeitlichen Ableitung zur Timing Verifikation synchroner digitaler Schaltungen, Chemnitz, 13.7.1994
F. Dresig: Gruppierung - Theorie und Anwendung in der Logiksynthese, Chemnitz, 1992
Trung Quoc Le: Testbarkeit kombinatorischer Schaltungen - Theorie und Entwurf, Karl-Marx-Stadt, 1989
J. Fehmel: Automatisierter Entwurf von kombinatorischen Schaltungen mit dekompositorischen Methoden, Karl-Marx-Stadt, 1988
R. Hilbert: Schnelle Testsatzgenerierung für kombinatorische Schaltnetzwerke mit Mitteln des Booleschen Differentialkalküls, Karl-Marx-Stadt, 1986