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
Complang
Über uns
Research
Lehre
LVAs 2016 S
LVAs 2015 S
LVAs 2013 W
LVAs 2013 S
LVAs 2012 W
LVAs 2012 S
LVAs 2011 W
LVAs 2011 S
LVAs 2010 W
LVAs 2010 S
LVAs 2009 W
LVAs 2009 S
LVAs 2008 W
LVAs 2008 S
LVAs 2007 W
LVAs 2007 S
LVAs 2006 W
LVAs 2006 S
LVAs 2005 W
LVAs 2005 S
LVAs 2004 W
LVAs 2004 S
LVAs 2003 W
Topics
Service
Sitemap
Kontakt
Schnellzugriff:
Vortragende
TISS
Anfang
|
HTML 4.01
|
Datenschutzerklärung
| letzte Änderung: 2018-05-25 (Webmaster)