2005
| Priesnitz, Andreas | | E/574 |
Multistage algorithms in C++
|
2005
| Thangavelu, Karthinathan | | E/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, Gerd | | E/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, Tobias |  | E/545 |
Finite-element simulation of buoyancy-driven turbulent flows
|
2003
| Lee, Kuo-Ming | | E/547 |
Direktes and inverses Randwertproblem für einen Crack mit Impedanzrandbedingung
|
2003
| Peters, Karsten | | E/543 |
Hybrid systems modeling manufacturing and front dynamics
|
2003
| Schmitt, Michael | | E/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
|