|
951 |
Effiziente Algorithmen zur Bestimmung der Unabhängigkeitszahl in Graphen
Mahfud, Suhail, 2005
|
|
|
|
952 |
Embedded in the shadow of the separator
Göring, Frank. - Chemnitz : Techn. Univ., Fakultät für Mathematik, 2005
|
|
|
|
953 |
Flexible heuristic control for combining automation and user-interaction in inductive theorem proving
Schmidt-Samoa, Tobias, 2005
|
|
|
|
954 |
Frege e il neologicismo
Milano : Angeli, 2005
|
|
|
|
955 |
Hausdorff on ordered sets
Hausdorff, Felix. - Providence, RI : American Mathematical Soc., 2005
|
|
|
|
956 |
Higher gap morasses
Cárdenas, Franqui, 2005
|
|
|
|
957 |
Implementierung eines Algorithmus' für individuelles Matching in Beobachtungsstudien
Schröder, Markus Karl Friedrich, 2005
|
|
|
|
958 |
Improved algorithms for all-pairs approximate shortest paths in weighted graphs
Baswana, Surender. - Saarbrücken : MPI Informatik, Bibliothek & Dokumentation, 2005
|
|
|
|
959 |
Kompaktierung von Daten aus Scanpfaden mit einem Faltungskompaktor
Börner, Ferdinand. - Potsdam : Inst. für Informatik, 2005
|
|
|
|
960 |
Konstruktion von Isomorphieklassen orientierter Matroide
Gugisch, Ralf. - Bayreuth : Math. Inst. der Univ., 2005
|
|
Administration
