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

Lehrangebot Wintersemester 2005/06

englishicon
 
- Vorlesungen    
 - Theoretische Informatik II   Prof. Ulrich Hertrampf
 - Formale Semantik   Prof. Volker Diekert
 - Komplexitätstheorie   Prof. Ulrich Hertrampf
 - Algorithmentheorie II   Dr. Holger Petersen
 - Kryptographische Verfahren   Dr. Holger Petersen
 - Graphentheorie   Prof. Volker Diekert
- Seminare    
 - Spiele: Algorithmen und Komplexität  Prof. Ulrich Hertrampf
 - Oberseminar