Lehrveranstaltungen

Erweiterte Suche|Zurücksetzen

Magister

7.(WS) / 8.(SS) Semester

9.(WS) / 10.(SS) Semester (keine Lehrveranstaltungen)

703600

Logic (VU / 3h)
Georg Moser, Christian Vogt

703601

Formal Languages and Automata Theory (VU / 3h)
Nao Hirokawa, Aart Middeldorp

703602

Compiler Design UE (UE / 2h)
Sinuhe Arroyo, Francois Scharffe, Ioan Toma

703603

Formal Specification and Verification (VO / 2h)
Joanna Chimiak-Opoka

703604

Formal Specification and Verification UE (4 Gruppen) (UE / 1h)
Joanna Chimiak-Opoka

703605

Foundations of Communication Technology (VO / 2h)
Erwin Hochmair, Clemens Zierhofer

703606

Foundations of Communication Technology UE (2 Gruppen) (UE / 1h)
Otto Peter

703607

International Management (VU / 2h)
David O'Sullivan

703700

The Role of Semantics in Computer Science (SE / 2h)
Dieter Fensel, Horst Wolf

703800

Verification using Model Checking (V) (VU / 3h)
Stefanus Blom, Christian Vogt

703801

Computational Logic 2: Topics in Termination (V) (SE / 2h)
Aart Middeldorp, Georg Moser

703810

Web Engineering (V) (VU / 2h)
Jacek Kopecky

703811

Research Seminar (V) (SE / 2h)
Thomas Strang

703813

Business Information Systems (V) (VO / 2h)
Martin Hepp

703814

Semantic Web Technology in Industry (V) (VU / 3h)
Rüdiger Klein

703820

Parallel Systems (V) (VO / 2h)
Thomas Fahringer

703821

Parallel Systems (V) UE (2 Gruppen) (UE / 2h)
Radu Prodan

703822

Grid Computing 2 (V) (SE / 2h)
Thomas Fahringer

703830

Inverse Problems (V) (VU / 4h)
Richard Kowar

703831

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

703832

Mathematical Modelling of Industrial Projects (V) (PR / 3h)
Manfred Husty, Otmar Scherzer

703840

Business Processes and Workflows (V) (VU / 4h)
Barbara Weber

703841

Information Security (V) (VO / 2h)
Michael Breu, Frank Innerhofer-Oberperfler, Jan Jürjens

703842

Information Security (V) UE (2 Gruppen) (UE / 2h)
Michael Hafner

703843

Quality Engineering 3 (V) (SE / 2h)
Joanna Chimiak-Opoka, Frank Innerhofer-Oberperfler, Barbara Weber

703844

Application Development with .NET (V) (VU / 2h)
Andreas Schabus

Hinweis:

Es können sich noch Änderungen im Lehrveranstaltungsangebot sowie bei Raum- und Terminbuchungen ergeben.
Bitte wählen Sie für das Lehrveranstaltungsangebot die Fakultät aus, der Ihre Studienrichtung zugeteilt ist.

Übersicht Anmeldefristen für Lehrveranstaltungen