LFU:online

Formale Methoden 1 (VO / 3h)
Arne Dür

Formale Methoden 1, 6 Gruppen (UE / 2h)
Arne Dür, Christoph Kollreider, Friedrich Neurauter, Christian Sternagel

Software-Entwicklung 1 (VO / 2h)
Thomas Strang

Software-Entwicklung 1 UE (4 Gruppen) (UE / 3h)
Reto Krummenacher, Martin Mössner, Hannes Sailer, Josef Strasser-Leitner

Technologische Grundlagen der Informatik (VO / 2h)
Clemens Zierhofer

Software-Entwicklung 3 (VO / 2h)
Alex Villazon

Sofware-Entwicklung 3 UE (5 Gruppen) (UE / 3h)
Werner Heiß, Jürgen Hofer, Stefan Podlipnig

Computernetzwerke (VO / 2h / 2 ECTS-AP)
Michael Welzl

Computernetzwerke UE (5 Gruppen) (UE / 2h)
Sven Hessler, Walter Müller, Marvin Nigg

Term Rewriting (VU / 4h)
Aart Middeldorp, Harald Zankl

Binary Decision Diagrams (SE / 2h)
Aart Middeldorp

Schnelle Lösungen von Bildverarbeitungsproblemen (SE / 2h)
Otmar Scherzer

Computational Logic (PR / 8h)
Stefanus Blom, Nao Hirokawa, Georg Moser, Christian Vogt

Applications for Imaging (PR / 8h)
Harald Grossauer, Markus Haltmeier, Richard Kowar, Frank Lenzen, Andreas Obereder, Tobias Riser, Otmar Scherzer

Imaging 3 (V) (SE / 2h)
Otmar Scherzer