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