| Computer-Aided Program
Development Institute of Computer Science Faculty of Engineering, Christian-Albrechts-University of Kiel |
![]() |
| Ausgewählte Dissertationen |
Neumann, F.:
Combinatorial optimization and the analysis of
randomized search heuristics
Juli 2006
[MACCAU]
Milanese, U.:
Zur Implementierung eines ROBDD-basierten Systems für
die Manipulation und Visualisierung von Relationen
September 2003
Erschienen im Logos
Verlag (2004)
Hoffmann, T.:
Fallstudien relationaler Programmentwicklung am Beispiel
ausgewählter Graphdurchlaufstrategien
April 2002
Erschienen im Logos
Verlag (2002)
Leoniuk, B.:
ROBDD-basierte Implementierung von Relationen
und relationalen Operationen mit Anwendungen
September 2001
[PostScript]
(1.286 KB)
Behnke, R.:
Transformationelle Programmentwicklung im Rahmen
relationaler und sequentieller Algebren
Juni 1998
[PostScript]
(593 KB)