|
1511 |
Disjoint NP-pairs and propositional proof systems
Beyersdorff, Olaf, 2006
|
|
|
|
1512 |
Distance desert automata and star height substitutions
Kirsten, Daniel, 2006
|
|
|
|
1513 |
Distance hereditary 5-leaf powers
Brandstädt, Andreas. - Rostock : Inst. für Informatik, 2006
|
|
|
1514 |
Distributed Abstract State Machines and Their Expressive Power
Glausch, Andreas. - Berlin : Humboldt-Universität zu Berlin, 2006
|
|
|
|
1515 |
Distributed abstract state machines and their expressive power
Glausch, Andreas. - Berlin : Professoren des Inst. für Informatik, 2006
|
|
|
|
1516 |
Divisible designs with dual translation group
Giese, Sabine. - Berlin : Freie Univ., Fachbereich Mathematik und Informatik, 2006
|
|
|
|
1517 |
Efficient conflict detection in graph transformation systems by essential critical pairs
Lambers, Leen. - Berlin : TU, Professoren der Fak. IV, 2006
|
|
|
|
1518 |
Efficient visual navigation of hierarchically structured graphs
Raitner, Marcus, 2006
|
|
|
|
1519 |
Effiziente Methoden zum verifizierten Lösen von Optimierungsaufgaben und nichtlinearen Gleichungssystemen
Beelitz, Thomas, 2006
|
|
|
|
1520 |
Elementare Wege zur mathematischen Modellbildung
Gotzen, Bernd, 2006
|
|
Administration
