Bild mit Unilogo
homeicon uni sucheicon suche kontakticon kontakt impressicon impressum
unilogo Universität Stuttgart 
Institut für Formale Methoden der Informatik

Abteilung Formale Konzepte

englishicon
 

Lehrangebot Wintersemester 2000/2001

- Vorlesungen    
 - Theoretische Informatik II (inf)
 - Lineare und Kombinatorische Optimierung (inf, swt, Mathematik, Physik)
- Studienprojekte    
 - Stundenplanerstellung  
- Fachpraktika    
 - Projektgruppe: Visualisierung evolutionärer Algorithmen  
- Seminare    
 - Oberseminar
- Studienarbeiten    
- Diplomarbeiten    

SS 00 voriges Semester nächstes Semester SS 01