Institut für Computersprachen
Programmiersprachen und Übersetzer

Lehrveranstaltungen im Sommersemester 2015

Von der Complang-Gruppe angebotene Lehrveranstaltungen:

LVA-Nr.	Titel	Typ	ECTS	Betreuer
185.966	Abstrakte Maschinen	VO	3.0	Krall
185.A49	Abstrakte Maschinen	UE	3.0	Krall
185.276	Analyse und Verifikation	VU	3.0	Knoop
185.A52	Automated Reasoning and Program Verification	VU	3.0	Kovacs
185.A50	Dynamische Übersetzer	VU	3.0	Krall
185.A05	Fortgeschrittene funktionale Programmierung	VU	3.0	Knoop
185.A25	Fortgeschrittene logische Programmierung	VU	3.0	Neumerkel
185.211	Fortgeschrittene objektorientierte Programmierung	VU	3.0	Puntigam
185.A02	Grundlagen der Programmkonstruktion	VU	2.9	Puntigam
185.A79	Programmkonstruktion	VU	8.8	Puntigam
185.A12	Logikprogrammierung und Constraints	VU	6.0	Neumerkel
185.208	Programmiersprachen	VU	3.0	Puntigam
185.A48	Übersetzerbau	VU	6.0	Ertl,Krall
185.A64	Übersetzer für Parallele Systeme	VU	3.0	Moritsch
185.226	Verteiltes Programmieren mit Space Based Computing Middleware	VU	6.0	Kühn
185.A15	Wissenschaftliches Arbeiten	SE	3.0	ProfessorenInnen und Dozenten
185.A17	Bachelorarbeit für Informatik und Wirtschaftsinformatik	PR	10.0	ProfessorInnen und Dozenten
185.A18	Praktikum technische Informatik	PR	6.0	ProfessorInnen und Dozenten
185.198	Seminar für DiplomandInnen	SE	3.0	ProfessorInnen und Dozenten
185.A24	Seminar für DissertantInnen	SE	3.0	ProfessorInnen und Dozenten
185.A77	Wissenschaftliche Methodik	SE	2.0	Ertl
185.A20	Projekt aus Software Engineering & Internet Computing	PR	12.0	ProfessorInnen und Dozenten
185.A28	Project in Computer Science 1	PR	6.0	ProfessorInnen und Dozenten
185.A29	Project in Computer Science 2	PR	6.0	ProfessorInnen und Dozenten
185.A30	Projekt Medizinische Informatik	PR	12.0	ProfessorInnen und Dozenten
185.A31	Embedded Systems Engineering Projektarbeit	PR	6.0	ProfessorInnen und Dozenten
185.A32	Embedded Systems Engineering Scientific Project	PR	6.0	ProfessorInnen und Dozenten