Lehrveranstaltungen

Erweiterte Suche|Zurücksetzen

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

703242

Wirtschaftlichkeitsaspekte von Prozessmanagementsystemen (VU / 3h)
Barbara Weber

703360

The Role of Computer Science in Science (V) (SE / 2h)
Bruno Buchberger, Dieter Fensel

703600

Logic (VU / 3h)
Clemens Ballarin, Martin Korp, Georg Moser

703601

Formal Languages and Automata Theory (VU / 3h)
Martin Korp, Aart Middeldorp

703602

Compiler Design (VU / 2h)
Sven Groppe, Francois Scharffe

703603

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

703604

Formal Specification and Verification UE (3 Gruppen) (UE / 1h)
Stefanus Blom, Joanna Chimiak-Opoka

703605

Foundations of Communication Technology (VO / 2h)
Alfred Strey

703606

Foundations of Communication Technology UE (3 Gruppen) (UE / 1h)
Andreas Obereder

703607

International Management (VO / 2h)
Martin Hepp

703610

Advanced Topics in Term Rewriting (V) (VU / 2h)
Georg Moser

703810

Web Engineering (V) (VU / 4h)
Jacek Kopecky, Dumitru Roman

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

703826

Practical Course Grid Computing (V) (PR / 5h)
Thomas Fahringer

703841

Information Security (V) (VO / 2h)
Ruth Breu

703842

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

703860

Computational Logic 4 (V) (SE / 2h)
Aart Middeldorp

703861

Automated Theorem Proving in Isabelle/HOL (V) (VU / 4h)
Clemens Ballarin, Tjark Weber

703862

Modal and Temporal Logics (V) (VU / 2h)
Georg Moser

703863

Data Warehouse (V) (VU / 3h)
Michael Felderer, Günther Specht

703864

Serviceware (V) (SE / 2h)
Dieter Fensel

703865

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

703866

Numerical Partial Differential Equations (V) (VO / 2h)
Harald Grossauer

703867

Numerical Partial Differential Equations (V) UE (1 Gruppe) (UE / 2h)
Harald Grossauer

703868

Quality Engineering 1 (V) (SE / 2h)
Ruth Breu

703870

Secure Computer Organization and System Design (V) (VU / 3h)
Jean-Pierre Seifert

703871

Information and Communication Technologies in Tourism (V) (VU / 2h)
Wolfram Höpken

703873

Information Systems 2 (SE / 2h)
Michael Felderer, Günther Specht

703874

Knowledge Engineering and Management (V) (VU / 2h)
Ying Ding

706028

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

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