|
601 |
Blattsprachen und Blattfunktionen Galota, Matthias, 2006
|
|
|
602 |
Cylindrical decomposition under application-oriented paradigms Seidl, Andreas, 2006
|
|
|
603 |
Disjoint NP-pairs and propositional proof systems Beyersdorff, Olaf, 2006
|
|
|
604 |
Disjoint NP-pairs and propositional proof systems Beyersdorff, Olaf, 2006
|
|
|
605 |
Distance desert automata and star height substitutions Kirsten, Daniel, 2006
|
|
|
606 |
Efficient visual navigation of hierarchically structured graphs Raitner, Marcus, 2006
|
|
|
607 |
Effiziente Methoden zum verifizierten Lösen von Optimierungsaufgaben und nichtlinearen Gleichungssystemen Beelitz, Thomas, 2006
|
|
|
608 |
Elementare Wege zur mathematischen Modellbildung Gotzen, Bernd, 2006
|
|
|
609 |
Elementare Wege zur mathematischen Modellbildung Gotzen, Bernd, 2006
|
|
|
610 |
Finite-state genericity Busse, Edgar, 2006
|
|