|
911 |
Constructions for normal graphs and some consequences Wagler, Annegret. - Magdeburg : Univ., Fak. für Mathemathik, 2005
|
|
|
912 |
Designing a GUI for proofs Homik, Martin. - Saarbrücken : Univ., Fachrichtung Informatik, 2005
|
|
|
913 |
Discrepancy of arithmetic structures Hebbinghaus, Nils, 2005
|
|
|
914 |
Effiziente Algorithmen zur Bestimmung der Unabhängigkeitszahl in Graphen Mahfud, Suhail, 2005
|
|
|
915 |
Embedded in the shadow of the separator Göring, Frank. - Chemnitz : Techn. Univ., Fakultät für Mathematik, 2005
|
|
|
916 |
Flexible heuristic control for combining automation and user-interaction in inductive theorem proving Schmidt-Samoa, Tobias, 2005
|
|
|
917 |
Higher gap morasses Cárdenas, Franqui, 2005
|
|
|
918 |
Implementierung eines Algorithmus' für individuelles Matching in Beobachtungsstudien Schröder, Markus Karl Friedrich, 2005
|
|
|
919 |
Improved algorithms for all-pairs approximate shortest paths in weighted graphs Baswana, Surender. - Saarbrücken : MPI Informatik, Bibliothek & Dokumentation, 2005
|
|
|
920 |
Kompaktierung von Daten aus Scanpfaden mit einem Faltungskompaktor Börner, Ferdinand. - Potsdam : Inst. für Informatik, 2005
|
|