TY  - THES
A1  - Kaufmann, Benjamin
T1  - High performance answer set solving
Y1  - 2015
ER  - 
TY  - THES
A1  - Schacht, Alexander
T1  - Konzepte und Strategien mobiler Plattformen zur Erfassung und Anlayse von Vitalparametern in heterogenen Telemonotoring-Systemen
Y1  - 2014
ER  - 
TY  - THES
A1  - Thomas, Marco
T1  - Informatische Modellbildung : modellieren von Modellen als ein zentrales Element der Informatik für den allgemeinbildenden Schulunterricht
Y1  - 2002
ER  - 
TY  - THES
A1  - Kersting, Oliver
T1  - Interaktive, dynamische 3D-Karten zur Kommunikation räumlicher Information
Y1  - 2002
ER  - 
TY  - THES
A1  - Rostock, Gisbert
T1  - Ein polynomialer Algorithmus zur Erkennung von Isomorphie von Graphen
Y1  - 2002
ER  - 
TY  - THES
A1  - Hartje, Hendrik
T1  - Schaltungsoptimierung durch Logiktransformationen während des Layoutentwurfs
Y1  - 2001
ER  - 
TY  - THES
A1  - Kalkbrenner, Gerrit
T1  - Lernen und Lehren an der virtuellen Universität
Y1  - 2001
ER  - 
TY  - THES
A1  - Huong, Dinh Thi Thanh
T1  - Correctness proofs and probabilistic tests for constructive specifications and functional programs
Y1  - 2001
ER  - 
TY  - THES
A1  - Kupries, Mario
T1  - Interagentenkonnektionen in Multi-Agentensystemen
Y1  - 2000
ER  - 
TY  - THES
A1  - Petrasch, Roland
T1  - Entwicklung von Modelltypen für das Qualitätsmanagement in der Software-Entwicklung am Beispiel von ausgewählten Qualitätssicherungsmaßnahmen
Y1  - 1999
ER  -