IA-Seminar WS99/00 - Themen & TeilnehmerInnen

• Elementare Such- und Sortierverfahren (19.10.1999)
  Thies Meier, Christian Wagner, Christian Weintz
  
  
• Sortierverfahren Quick und Distributionsort (26.10.1999)
  Felix Altmann, Vaida Klimmek, Sven Röper
  
  
• Abstrakte Datentypen Stapel, Warteschlange und Liste (2.11.1999)
  Lars Oppermann, Nils Schäle, Martin Schmid
  
  
• Abstrakter Datentyp Baum (9.11.1999)
  Birgit Colberg, Mathias Heyn, Gerald Krause
  
  
• Sortierverfahren Heapsort (23.11.1999)
  Jan Hering, Oliver Laue, Frank Thestorf
  
  
• Abstrakter Datentyp Bayer-Baum (30.11.1999)
  Alexander Saramonow, Henning Voß
  
  
• Abstrakter Datentyp Graf (7.12.1999)
  Sebastian Frost, Kerstin Knauff, Gerold Veith
  
  
• Techniken zur Sicherstellung der Software-Zuverlässigkeit (14.12.1999)
  Jan Steinhoff, Dong Hai Ung Huu, Dennis Witthein
  
  
• Techniken zur Programmverifikation (Teil 1) (21.12.1999)
  Dennis Konert, Andreas Pritzlaff, Lars Tiedemann
  
  
• Techniken zur Programmverifikation (Teil 2) (4.1.2000)
  Knut Boysen, Oliver Hensel, Henning Pflüger
  
  
• Techniken des Compilerbaus (11.1.2000)
  Andre Körbelin, Marco Labusch

Wedel, 13. April 2000; René Bodaine & Birger Wolter