Institut für Computersprachen
Programmiersprachen und Übersetzer
Titel | Typ | Betreuer |
---|---|---|
Abstrakte Maschinen | VO 2.0 | Krall |
Analyse und Verifikation | VU 2.0 | Knoop, Zwirchmayr |
Fortgeschrittene funktionale Programmierung | VL 2.0 | Knoop |
Fortgeschrittene logikorientierte Programmierung | VL 2.0 | Neumerkel |
Fortgeschrittene objektorientierte Programmierung | VL 2.0 | Puntigam |
Grundlagen methodischen Arbeitens (GMA) | PS 2.0 | Ertl, Knoop Krall Kühn Puntigam |
Logikorientierte Programmierung | VL 2.0 | Neumerkel |
Programmiersprachen | VL 2.0 | Puntigam |
Programminvertierung und Reversibles Rechnen NEU | VU 2.0 | Glück |
Seminar aus Programmiersprachen | SE 2.0 | Knoop |
Seminar (mit Bachelorarbeit) | SE 3.0 | Krall, Neumerkel |
Seminar (mit Bachelorarbeit) | SE 3.0 | ProfessorInnen und DozentInnen |
Seminar für DiplomandInnen | SE 2.0 | ProfessorInnen und DozentInnen |
Übersetzerbau | VL 3.0 | Krall, Ertl |
Verifikation von Übersetzern NEU | VL 2.0 | Zimmermann |
Verteiltes Programmieren mit Space Based Computing Middleware | VU 4.0 | Kühn |
Weiterführender Übersetzerbau | VO 2.0 | Krall |
Wissenschaftliche Methodik | SE 2.0 | Ertl |
Neben diesen Lehrveranstaltungen werden von allen Professoren, Dozenten und Assistenten der Complang-Gruppe Praktika betreut sowie Diplom- und Magisterarbeiten angeboten bzw. mitbetreut.
Wann: | Mittwoch, 2. März 2010, 13:00 s.t. bis 14:00 Uhr |
---|---|
Wo: | EI 4 Reithofer Hörsal |