Hochschulschrift - Doktorarbeit (14)
321.
Hochschulschrift - Doktorarbeit
Formal Verification of a Processor with Memory Management Units. Dissertation, XVI, 106 S., Universität des Saarlandes, Saarbrücken (2006)
322.
Hochschulschrift - Doktorarbeit
Algorithm Engineering for Large Data Sets. Dissertation, Universität des Saarlandes, Saarbrücken (2006)
323.
Hochschulschrift - Doktorarbeit
Die Sphere-Search-Suchmaschine zur Graphbasierten Suche auf Heterogenen, Semistrukturierten Daten. Dissertation, Universität des Saarlandes, Saarbrücken (2006)
324.
Hochschulschrift - Doktorarbeit
Boolean Operations on 3D Selective Nef Complexes: Data Structure, Algorithms Optimized Implementation, Experiments and Applications. Dissertation, Universität des Saarlandes, Saarbrücken (2006)
325.
Hochschulschrift - Doktorarbeit
Saturation-Based Decision Procedures For Extensions Of The Guarded Fragment. Dissertation, Universität des Saarlandes, Saarbrücken (2006)
326.
Hochschulschrift - Doktorarbeit
High-Fidelity Imaging - The Computational Models of the Human Visual System in High Dynamic Range Video Video Compression, Visible Difference Prediction and Image Processing. Dissertation, Universität des Saarlandes, Saarbrücken (2006)
327.
Hochschulschrift - Doktorarbeit
Minimum Cycle Basis, Algorithms & Applications. Dissertation, Universität des Saarlandes, Saarbrücken (2006)
328.
Hochschulschrift - Doktorarbeit
Combinatorial Approaches to Trunk Packing Problem. Dissertation, Universität des Saarlandes, Saarbrücken (2006)
329.
Hochschulschrift - Doktorarbeit
Efficient Global Illumination for Dynamic Scenes. Dissertation, Universität des Saarlandes, Saarbrücken (2006)
330.
Hochschulschrift - Doktorarbeit
Dynamic Remeshing and Applications. Dissertation, Universität des Saarlandes, Saarbrücken (2006)
331.
Hochschulschrift - Doktorarbeit
Computational Differential Geometry Tools for Surface Interrogation, Fairing, and Design. Dissertation, Universität des Saarlandes, Saarbrücken (2006)
Hochschulschrift - Habilitation (1)
332.
Hochschulschrift - Habilitation
Statistical Methods for the Biological Interpretation of Genome-wide Measurements. Habilitation, Universität des Saarlandes, Saarbrücken (2006)
Hochschulschrift - Diplom (5)
333.
Hochschulschrift - Diplom
Netflow analysis of SAP R/3 traffic in an enterprise environment. Diplom, Universität des Saarlandes, Saarbrücken (2006)
334.
Hochschulschrift - Diplom
Maschinell unterstützte Analyse eines Sicherheitsprotokolls. Diplom, Universität des Saarlandes, Saarbrücken (2006)
335.
Hochschulschrift - Diplom
Decomposing Protein Networks Into Domain-Domain Interactions. Diplom, Eberhard Karls University, Tübingen (2006)
336.
Hochschulschrift - Diplom
A Comparative Study of Pub/Sub Methods in Structured P2P Networks. Diplom, Universität des Saarlandes, Saarbrücken (2006)
337.
Hochschulschrift - Diplom
Face Detection and 3D Face Reconstruction. Diplom, 79 S., Universität des Saarlandes, Saarbrücken (2006)
Hochschulschrift - Master (27)
338.
Hochschulschrift - Master
Efficient Representation and Processing of Incomplete Information. Master, Universität des Saarlandes, Saarbrücken (2006)
339.
Hochschulschrift - Master
Topological Analysis of Biological Networks. Master, Universität des Saarlandes, Saarbrücken (2006)
340.
Hochschulschrift - Master
Feature Prints: A new method for calculating molecular similarities. Master, Universität des Saarlandes, Saarbrücken (2006)