Technische Fakultät
|
Institut für Informatik
Christian-Albrechts-Universität zu Kiel
Arbeitsgruppe Theoretische Informatik
Die Arbeitsgruppe
Die Arbeitsgruppe Theoretische Informatik …
Kontakt
Team
Prof. Dr. Thomas Wilke
Dr. Henning Schnoor
Dipl.-Inf. Detlef Kähler
M.Sc. Imran Khan
Dipl.-Inf. Klaas Ole Kürtz
Franziska Lorenz
Dipl.-Ing. Thomas Hess
Jahresberichte
Allgemeines
Die Arbeitsgruppe
Kontakt
Team
Jahresberichte
Lehre
Veranstaltungskanon
Diplomarbeiten
Mündliche Prüfungen
Sommersemester 2008
G2.1
Theorieseminar
Secure Communications
Wintersemester 08/09
Research
Publications
LTL to NBA
Bob@TI
Archiv
Disputation Dipl.-Inf. Detlef Kähler
Vorträge: Moshe Y. Vardi
Seminar am 19. Juni