|
351 |
Algorithm design techniques for parameterized graph modification problems Guo, Jiong, 2006
|
|
|
352 |
Algorithmic computer reconstructions of stalactite vaults - Muqarnas - in Islamic architecture Harmsen, Silvia, 2006
|
|
|
353 |
Algorithmische Eigenschaften von Branching-Time-Logiken Bauer, Sebastian, 2006
|
|
|
354 |
Blattsprachen und Blattfunktionen Galota, Matthias, 2006
|
|
|
355 |
Disjoint NP-pairs and propositional proof systems Beyersdorff, Olaf, 2006
|
|
|
356 |
Distance desert automata and star height substitutions Kirsten, Daniel, 2006
|
|
|
357 |
Elementare Wege zur mathematischen Modellbildung Gotzen, Bernd, 2006
|
|
|
358 |
Finite-state genericity Busse, Edgar, 2006
|
|
|
359 |
Formalizing plane graph theory Bauer, Gertrud Josefine, 2006
|
|
|
360 |
Galleries and q-analogs in combinatorial representation theory Schwer, Christoph, 2006
|
|