Dissertationen

2005 Priesnitz, AndreasE/574
Multistage algorithms in C++
2005 Thangavelu, KarthinathanE/687
Quantile estimation based on the almost sure central limit theorem
2004 Neukirchen, Helmut Wolfram E/568
Languages, Tools and Patterns for the Specification of Distributed Real-Time Tests
2004 Opfer, Roland E/560
Multiscale kernels
2004 Rapin, GerdE/548
The three-field formulation for elliptic equations : stabilization and decoupling strategies
2003 Homeister, Matthias E/549
On lower bounds for parity branching programs
2003 Knopp, TobiasdownloadE/545
Finite-element simulation of buoyancy-driven turbulent flows
2003 Lee, Kuo-MingE/547
Direktes and inverses Randwertproblem für einen Crack mit Impedanzrandbedingung
2003 Peters, KarstenE/543
Hybrid systems modeling manufacturing and front dynamics
2003 Schmitt, MichaelE/539
Automatic test generation based on formal specifications : practical procedures for efficient state space exploration and improved represent...
2002 $ 2002 Müller, Susann E/525
Zur Vorkonditionierung ausgewählter Krylov-Unterraum-Methoden bei stabilisierten Finite-Elemente-Verfahren