|
831 |
Contributions to ICFCA 2006
ICFCA (4 : 2006 : Dresden). - [Mühltal] : Verl. Allg. Wiss., 2006
|
|
|
|
832 |
Das kann doch nicht wahr sein!
Steinacker, Peter. - München : Fachbuchverl. Leipzig im Carl-Hanser-Verl., 2006
|
|
|
|
833 |
Dependently typed set theory
Brown, Chad E.. - Saarbrücken : Univ., Fachrichtung Informatik, 2006
|
|
|
|
834 |
Die Ausgleichungsrechnung nach der Methode der kleinsten Quadrate
Helmert, Friedrich Robert. - Saarbrücken : VDM, Müller, 2006, [Reprint der Ausg. Leipzig, Teubner, 1872]
|
|
|
|
835 |
Direct and inverse results in variable Hilbert scales
Mathé, Peter. - Chemnitz : Techn. Univ., Fak. für Mathematik, 2006
|
|
|
|
836 |
Disjoint NP-pairs and propositional proof systems
Beyersdorff, Olaf, 2006
|
|
|
|
837 |
Distance desert automata and star height substitutions
Kirsten, Daniel, 2006
|
|
|
|
838 |
Distance hereditary 5-leaf powers
Brandstädt, Andreas. - Rostock : Inst. für Informatik, 2006
|
|
|
|
839 |
Distributed abstract state machines and their expressive power
Glausch, Andreas. - Berlin : Professoren des Inst. für Informatik, 2006
|
|
|
|
840 |
Divisible designs with dual translation group
Giese, Sabine. - Berlin : Freie Univ., Fachbereich Mathematik und Informatik, 2006
|
|
Administration
