LFU:online

Formale Methoden 2 (VO / 2h)
Georg Moser

Formale Methoden 2 UE (4 Gruppen) (UE / 1h)
Martin Korp, Friedrich Neurauter, Christian Vogt

Software-Entwicklung 2 (VO / 2h)
Stefan Podlipnig

Software-Entwicklung 2 UE (4 Gruppen) (UE / 3h)
Werner Heiß, Jürgen Hofer, Francesco Nerieri, Stefan Podlipnig

Algorithmen und Datenstrukturen (VO / 2h)
Thomas Strang

Algorithmen und Datenstrukturen UE (4 Gruppen) (UE / 2h)
Harald Grossauer, Reto Krummenacher, Martin Mössner, Hannes Sailer

Software-Entwicklung 4 (VO / 2h)
Ruth Breu

Software-Entwicklung 4 UE (6 Gruppen) (UE / 3h)
Alexander Lechner, Richard Mair, Stefan Unterthiner, Barbara Weber, Werner Wild, Hans Woppmann

Rechnerarchitektur UE (4 Gruppen) (UE / 2h)
Peter Lampacher, Rupert Ploner

Betriebssysteme (VO / 2h)
Thomas Fahringer

Betriebssysteme UE (5 Gruppen) (UE / 2h)
Sven Hessler, Marvin Nigg, Alex Villazon

Wissenschaftliches Rechnen UE (2 Gruppen) (UE / 2h / 2 ECTS-AP)
Richard Kowar, Frank Lenzen

XML Databases (SE / 2h)
Sven Groppe, Dumitru Roman

Grid Computing (SE / 2h)
Thomas Fahringer

Middleware-Platformen und Frameworks (SE / 2h)
Ruth Breu

Verwaltung großer Datenmengen in Datenbanksystemen (SE / 2h)
Günther Specht

Computational Logic (PR / 8h)
Aart Middeldorp

Semantics of Programming Languages (VO / 2h)
Joanna Chimiak-Opoka

Semantics of Programming Languages UE (3 Gruppen) (UE / 1h)
Stefanus Blom, Joanna Chimiak-Opoka

New Technologies - Quantum Information and Computation (SV Quantencomputer) (VU / 3h)
Wolfgang Dür

Algorithm Theory (VU / 3h)
Stefanus Blom, Georg Moser

High Performance Computing (SE / 1h)
Thomas Fahringer, Michael Fink, Otmar Scherzer, Sabine Schindler