Bild mit Unilogo
homeicon uni sucheicon suche kontakticon kontakt impressicon impressum
unilogo Universität Stuttgart 
Abteilung | Mitarbeiter | Lehre | Forschung | Publikationen | Service | Institut | Informatik | Fakultät
Institut für Formale Methoden der Informatik

Lehrangebot Wintersemester 2006/07

 englishicon
 
Sommersemester 2006 | Sommersemester 2007 | aktuell | Skripte, Übungsblätter, Prüfungen
- Vorlesungen    
- Theoretische Informatik II   Dr. Holger Petersen
- Komplexitätstheorie   Prof. Dr. Ulrich Hertrampf
- Quanten-Computing   Prof. Dr. Ulrich Hertrampf
- Formale Semantik   Prof. Volker Diekert
- Algorithmentheorie II   Prof. Volker Diekert
- Seminare    
- Datenkompression Prof. Dr. Volker Diekert, Dr. Markus Lohrey
- Oberseminar
 
Letzte Änderung 20.04.2012 ( mailto Pro ) |  © Universität Stuttgart | Impressum