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. Detlef Kähler
Dr. Henning Schnoor
Dipl.-Math. Sebastian Eggert
M.Sc. Imran Khan
Dipl.-Inf. Klaas Ole Kürtz
Franziska Lorenz
Dipl.-Ing. Thomas Hess
Jahresberichte
Dartenbank
intern
Allgemeines
Die Arbeitsgruppe
Kontakt
Team
Prof. Dr. Thomas Wilke
Dr. Detlef Kähler
Dr. Henning Schnoor
Dipl.-Math. Sebastian Eggert
M.Sc. Imran Khan
Dipl.-Inf. Klaas Ole Kürtz
Franziska Lorenz
Dipl.-Ing. Thomas Hess
Jahresberichte
Dartenbank
intern
Lehre
Veranstaltungskanon
Masterprogramme
Abschlussarbeiten
Mündliche Diplom‑(Vor‑)Prüfungen
Sommersemester 2009
Research
Publications
LTL to NBA
alice@ti
Viso
Selbst verschlüsseln
