|
1501 |
Direct and inverse results in variable Hilbert scales
Mathé, Peter. - Chemnitz : Techn. Univ., Fak. für Mathematik, 2006
|
|
|
1502 |
Disjoint NP-pairs and propositional proof systems
Beyersdorff, Olaf, 2006
|
|
|
|
1503 |
Disjoint NP-pairs and propositional proof systems
Beyersdorff, Olaf, 2006
|
|
|
|
1504 |
Distance desert automata and star height substitutions
Kirsten, Daniel, 2006
|
|
|
|
1505 |
Distance hereditary 5-leaf powers
Brandstädt, Andreas. - Rostock : Inst. für Informatik, 2006
|
|
|
|
1506 |
Distributed Abstract State Machines and Their Expressive Power
Glausch, Andreas. - Berlin : Humboldt-Universität zu Berlin, 2006
|
|
|
|
1507 |
Distributed abstract state machines and their expressive power
Glausch, Andreas. - Berlin : Professoren des Inst. für Informatik, 2006
|
|
|
|
1508 |
Divisible designs with dual translation group
Giese, Sabine. - Berlin : Freie Univ., Fachbereich Mathematik und Informatik, 2006
|
|
|
|
1509 |
Efficient conflict detection in graph transformation systems by essential critical pairs
Lambers, Leen. - Berlin : TU, Professoren der Fak. IV, 2006
|
|
|
|
1510 |
Efficient visual navigation of hierarchically structured graphs
Raitner, Marcus, 2006
|
|
Administration
