|
1501 |
Das kann doch nicht wahr sein!
Steinacker, Peter. - München : Fachbuchverl. Leipzig im Carl-Hanser-Verl., 2006
|
|
|
|
1502 |
Dependently typed set theory
Brown, Chad E.. - Saarbrücken : Univ., Fachrichtung Informatik, 2006
|
|
|
1503 |
Die Ausgleichungsrechnung nach der Methode der kleinsten Quadrate
Helmert, Friedrich Robert. - Saarbrücken : VDM Verlag Dr. Müller, 2006, 1. Aufl.
|
|
|
|
1504 |
Die Ausgleichungsrechnung nach der Methode der kleinsten Quadrate
Helmert, Friedrich Robert. - Saarbrücken : VDM, Müller, 2006, [Reprint der Ausg. Leipzig, Teubner, 1872]
|
|
|
|
1505 |
Direct and inverse results in variable Hilbert scales
Mathé, Peter. - Chemnitz : Techn. Univ., Fak. für Mathematik, 2006
|
|
|
|
1506 |
Disjoint NP-pairs and propositional proof systems
Beyersdorff, Olaf, 2006
|
|
|
|
1507 |
Disjoint NP-pairs and propositional proof systems
Beyersdorff, Olaf, 2006
|
|
|
|
1508 |
Distance desert automata and star height substitutions
Kirsten, Daniel, 2006
|
|
|
|
1509 |
Distance hereditary 5-leaf powers
Brandstädt, Andreas. - Rostock : Inst. für Informatik, 2006
|
|
|
|
1510 |
Distributed Abstract State Machines and Their Expressive Power
Glausch, Andreas. - Berlin : Humboldt-Universität zu Berlin, 2006
|
|
Administration
