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 2007/2008

- Vorlesungen    
 - Einführung in die Informatik III
 - Informatik I (autip)  
 - Formale Methoden (Wirtschaftsinformatik)  
- Seminare    
 - Hauptseminar Permutations-Probleme
 - Oberseminar
- Studienarbeiten    
- Diplomarbeiten    

SS 07 voriges Semester nächstes Semester SS 08