|
941 |
Embedded in the shadow of the separator
Göring, Frank. - Chemnitz : Techn. Univ., Fakultät für Mathematik, 2005
|
|
|
|
942 |
Flexible heuristic control for combining automation and user-interaction in inductive theorem proving
Schmidt-Samoa, Tobias, 2005
|
|
|
|
943 |
Frege e il neologicismo
Milano : Angeli, 2005
|
|
|
|
944 |
Hausdorff on ordered sets
Hausdorff, Felix. - Providence, RI : American Mathematical Soc., 2005
|
|
|
|
945 |
Higher gap morasses
Cárdenas, Franqui, 2005
|
|
|
|
946 |
Implementierung eines Algorithmus' für individuelles Matching in Beobachtungsstudien
Schröder, Markus Karl Friedrich, 2005
|
|
|
|
947 |
Improved algorithms for all-pairs approximate shortest paths in weighted graphs
Baswana, Surender. - Saarbrücken : MPI Informatik, Bibliothek & Dokumentation, 2005
|
|
|
|
948 |
Kompaktierung von Daten aus Scanpfaden mit einem Faltungskompaktor
Börner, Ferdinand. - Potsdam : Inst. für Informatik, 2005
|
|
|
|
949 |
Konstruktion von Isomorphieklassen orientierter Matroide
Gugisch, Ralf. - Bayreuth : Math. Inst. der Univ., 2005
|
|
|
|
950 |
On designs and graph decompositions with certain prescribed properties
Grüttmüller, Martin, 2005
|
|
Administration
