Hochschulschrift - Master (24)
161.
Hochschulschrift - Master
Paralleles List Ranking. Master, Universität des Saarlandes, Saarbrücken (1997)
162.
Hochschulschrift - Master
Testing the Satisfiability of RPO Constraints. Master, Universität des Saarlandes, Saarbrücken (1997)
163.
Hochschulschrift - Master
2-Schicht-Planarisierung bipartiter Graphen. Master, Universität des Saarlandes, Saarbrücken (1997)
164.
Hochschulschrift - Master
Bewertung verschiedener paarweiser Alignment-Methoden, Ersetzungsmatrizen und Gap-Funktionen. Master, Universität des Saarlandes, Saarbrücken (1997)
Bericht (40)
165.
Bericht
Third Biennial Report: March 1995 - April 1997 (Biennial Report / Max-Planck-Institut für Informatik, 3). Max-Planck-Institut für Informatik, Saarbrücken (1997), 219 S.
166.
Bericht
Better bounds for online scheduling. Max-Planck-Institut für Informatik, Saarbrücken (1997), 16 S.
167.
Bericht
Exploring unknown environments. Max-Planck-Institut für Informatik, Saarbrücken (1997), 23 S.
168.
Bericht
AGD-Library: A Library of Algorithms for Graph Drawing. Max-Planck-Institut für Informatik, Saarbrücken (1997), 13 S.
169.
Bericht
Maximum network flow with floating point arithmetic. Max-Planck-Institut für Informatik, Saarbrücken (1997), 5 S.
170.
Bericht
Strict basic superposition and chaining. Max-Planck-Institut für Informatik, Saarbrücken (1997), 22 S.
171.
Bericht
A theory of resolution. Max-Planck-Institut für Informatik, Saarbrücken (1997), 79 S.
172.
Bericht
Elimination of equality via transformation with ordering constraints. Max-Planck-Institut für Informatik, Saarbrücken (1997), 18 S.
173.
Bericht
Labelled modal logics: quantifiers. Max-Planck-Institut für Informatik, Saarbrücken (1997), 31 S.
174.
Bericht
Two hybrid logics. Max-Planck-Institut für Informatik, Saarbrücken (1997), 33 S.
175.
Bericht
On the Chvátal rank of polytopes in the 0/1 cube. Max-Planck-Institut für Informatik, Saarbrücken (1997), 12 S.
176.
Bericht
A unifying framework for integer and finite domain constraint programming. Max-Planck-Institut für Informatik, Saarbrücken (1997), 24 S.
177.
Bericht
Algorithmen zum automatischen Zeichnen von Graphen. Max-Planck-Institut für Informatik, Saarbrücken (1997), 9 S.
178.
Bericht
Finger search trees with constant insertion time. Max-Planck-Institut für Informatik, Saarbrücken (1997), 17 S.
179.
Bericht
A parallel priority queue with constant time operations. Max-Planck-Institut für Informatik, Saarbrücken (1997), 19 S.
180.
Bericht
Solving set constraints for greatest models. Max-Planck-Institut für Informatik, Saarbrücken (1997), 12 S.