confirm upload
cancel upload
Dateiupload ist mittels Drag & Drop in jedes Semester möglich: ______ ______ | .... | | . | | .. | | ... | Dateien ----- Browserfenster | . | | .. | / |______| |______| / | | | | / ---------~ ~--------~ ~---------------------- | | | | | | | ___| |________| |______ ________ | | | _________ _________ _____ __| | | _| |_ _| |_ _| |_ | | \ / \ / . . . \ / | Drag & Drop | \ / \ / \ / | | \/ \/ \/ | | _________ _________ _________ | | | 2021W | | 2020W | | 1995W | | | | | | | | | | | | .. | | ... | . . . | . | | | | .... | | ...... | . . . | ... | | Semester | | .. | | . | . . . | ..... | | | | . | | | . . . | .... | | | | | | | . . . | .... | | | |_________| |_________| |_________| | | | ----------------------------------------------- Verstanden (diese Info nicht mehr anzeigen)

185.A93 - Formale Methoden der Informatik (UE 3.0ECTS)

Woltran, Stefan
Dvorak, Wolfgang
2023W
Woltran, Stefan
Egly, Uwe
Kovacs, Laura
Zuleger, Florian
Nardi, Oliviero
Moosbrugger, Marcel
Georgiou, Pamina
Pluska, Alexander
Rebola Pardo, Adrian

E192 Institut für Logic and Computation
2022W
Lackner, Martin
Woltran, Stefan
Egly, Uwe
Kovacs, Laura
Zuleger, Florian
Moosbrugger, Marcel
Weber, Friedrich
Sallinger, Sarah Sophie
Rain, Sophie

E192 Institut für Logic and Computation
2021W
Woltran, Stefan
Egly, Uwe
Kovacs, Laura
Zuleger, Florian
Lolic, Anela
Moosbrugger, Marcel
Hajdu, Marton
Weber, Friedrich
Sallinger, Sarah Sophie

E192 Institut für Logic and Computation
2020W
Woltran, Stefan
Lolic, Anela
Egly, Uwe
Kovacs, Laura
Cerny, Pavol

E192 Institut für Logic and Computation
2019W
Dvorak, Wolfgang
Kovacs, Laura
Egly, Uwe
Zuleger, Florian
Tran, Thanh Hai
Pagel, Jens

E192 Institut für Logic and Computation
2018W
Dvorak, Wolfgang
Kovacs, Laura
Weissenbacher, Georg
Egly, Uwe

E192 Institut für Logic and Computation
2017W
Aminof, Benjamin
Dvorak, Wolfgang
Kovacs, Laura
Lonsing, Florian Matthias
Salzer, Gernot

E185 Institut für Computersprachen