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, Schordan |
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 | Knoop, Kühn |
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 für DiplomandInnen / DissertantInnen | SE 2.0 | ProfessorInnen und DozentInnen |
Verifikation von Übersetzern NEU | VL 2.0 | Zimmermann |
Verteiltes Programmieren mit Space Based Computing Middleware | VU 4.0 | Kühn |
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, 4. März 2009, 13:00 bis 15:30 Uhr |
---|---|
Wo: | Seminarraum 1/3 OPG |