Hochschulschrift - Master (20)

201.
Hochschulschrift - Master
Nest, M.: Vergleich von praxisnahen seriellen und parallelisierten Verfahren zur Bestimmung der Schnittpunkte von Liniensegmenten in der Ebene. Master, Universität des Saarlandes, Saarbrücken (1998)
202.
Hochschulschrift - Master
Nissen, M.: Graph Iterators: Decoupling Graph Structures from Algorithms. Master, Universität des Saarlandes, Saarbrücken (1998)
203.
Hochschulschrift - Master
Reinstädtler, M.: Verlustfreie Datenkompression mit selbstorganisierenden Listen. Master, Universität des Saarlandes, Saarbrücken (1998)
204.
Hochschulschrift - Master
Röhrig, H.: Tree Decomposition: A Feasibility Study. Master, Universität des Saarlandes, Saarbrücken (1998)
205.
Hochschulschrift - Master
Schröder, B.: Upper and Lower Bounds for Basic Scheduling Problems. Master, Universität des Saarlandes, Saarbrücken (1998)
206.
Hochschulschrift - Master
Stormer, H.: Ein Programm zum visuellen Erlernen von Graphalgorithmen. Master, Universität des Saarlandes, Saarbrücken (1998)
207.
Hochschulschrift - Master
Wissen, M.: Automatisiertes Zeichnen von Zustandsdiagrammen. Master, Universität des Saarlandes, Saarbrücken (1998)

Bericht (47)

208.
Bericht
Albers, S.; Schmidt, G.: Scheduling with unexpected machine breakdowns. Max-Planck-Institut für Informatik, Saarbrücken (1998), 15 S.
209.
Bericht
Blackburn, P.; Tzakova, M.: Hybrid Languages and Temporal Logic (Full Version). (1998)
210.
Bericht
Blackburn, P.; Tzakova, M.: Hybrid languages and temporal logic. Max-Planck-Institut für Informatik, Saarbrücken (1998), 29 S.
211.
Bericht
Brodal, G. S.; Pinotti, M. C.: Comparator networks for binary heap construction. Max-Planck-Institut für Informatik, Saarbrücken (1998), 11 S.
212.
Bericht
Brönniman, H.; Kettner, L.; Schirra, S.; Veltkamp, R.: Applications of the generic programming paradigm in the design of CGAL. Max-Planck-Institut für Informatik, Saarbrücken (1998), 12 S.
213.
Bericht
Burkhardt, S.; Crauser, A.; Ferragina, P.; Lenhof, H.-P.; Rivals, E.; Vingron, M.: $q$-gram based database searching using a suffix array (QUASAR). Max-Planck-Institut für Informatik, Saarbrücken (1998), 11 S.
214.
Bericht
Burnikel, C.: Delaunay graphs by divide and conquer. Max-Planck-Institut für Informatik, Saarbrücken (1998), 24 S.
215.
Bericht
Burnikel, C.: Rational points on circles. Max-Planck-Institut für Informatik, Saarbrücken (1998), 14 S.
216.
Bericht
Burnikel, C.; Ziegler, J.: Fast recursive division. Max-Planck-Institut für Informatik, Saarbrücken (1998), 29 S.
217.
Bericht
Crauser, A.; Ferragina, P.; Mehlhorn, K.; Meyer, U.; Ramos, E. A.: Randomized external-memory algorithms for some geometric problems. Max-Planck-Institut für Informatik, Saarbrücken (1998), 27 S.
218.
Bericht
Crauser, A.; Mehlhorn, K.; Althaus, E.; Brengel, K.; Buchheit, T.; Keller, J.; Krone, H.; Lambert, O.; Schulte, R.; Thiel, S. et al.; Westphal, M.; Wirth, R.: On the performance of LEDA-SM. Max-Planck-Institut für Informatik, Saarbrücken (1998), 26 S.
219.
Bericht
Degtyarev, A.; Voronkov, A.: Equality reasoning in sequent-based calculi. Max-Planck-Institut für Informatik, Saarbrücken (1998), 128 S.
220.
Bericht
Delzanno, G.; Podelski, A.: Model checking infinite-state systems in CLP. Max-Planck-Institut für Informatik, Saarbrücken (1998), 44 S.
Zur Redakteursansicht