Institut für Computersprachen
Programmiersprachen und Übersetzer
Titel | Typ | Betreuer |
---|---|---|
Abstrakte Maschinen | VO 2.0 | Krall |
Weiterführender Übersetzerbau | VO 2.0 | Krall |
Übersetzerbau | VL 3.0 | Krall, Ertl |
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 |
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 / DissertantInnen | SE 2.0 | ProfessorInnen und DozentInnen |
Verteiltes Programmieren mit Space Based Computing Middleware | VU 4.0 | Kühn |
Wissenschaftliche Methodik | SE 2.0 | Ertl |
From Domains to Requirements | VU 3.0 | Bjørner |
Analyse und Verifikation | VU 2.0 | Knoop, Zwirchmayr |
Neben diesen Lehrveranstaltungen werden von allen Professoren, Dozenten und Assistenten der Complang-Gruppe Praktika betreut sowie Diplom- und Magisterarbeiten angeboten bzw. mitbetreut.
Wann: | Mittwoch, 3. März 2010, 13:00 s.t. bis 14:00 Uhr |
---|---|
Wo: | EI 4 Reithofer Hörsal |