| 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,
Zwirchmayr |
| 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.A12 |
Logikprogrammierung und Constraints |
VU |
6.0 |
Neumerkel |
| 185.208 |
Programmiersprachen |
VU |
3.0 |
Puntigam |
| 185.A51 |
Programming Principles of Mobile Robotics |
VU |
3.0 |
Schreiner |
| 185.226 |
Verteiltes Programmieren mit Space Based Computing Middleware |
VU |
6.0 |
Kühn |
| 185.A48 |
Übersetzerbau |
VU |
6.0 |
Ertl,Krall |
|
|
|
|
|
| 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.191 |
Wissenschaftliche Methodik |
SE |
2.0 |
Ertl |
| 185.A20 |
Projekt aus Software Engineering & Internet Computing |
PR |
12.0 |
ProfessorInnen und Dozenten |
| 185.307 |
Seminar aus Programmiersprachen |
SE |
3.0 |
Zwirchmayr |
| 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 |