confirm upload
cancel upload
To upload files, they can be dragged & dropped into any Semester(s): ______ ______ | .... | | . | | .. | | ... | Files ----- Browserwindow | . | | .. | / |______| |______| / | | | | / ---------~ ~--------~ ~---------------------- | | | | | | | ___| |________| |______ ________ | | | _________ _________ _____ __| | | _| |_ _| |_ _| |_ | | \ / \ / . . . \ / | Drag & Drop | \ / \ / \ / | | \/ \/ \/ | | _________ _________ _________ | | | 2021W | | 2020W | | 1995W | | | | | | | | | | | | .. | | ... | . . . | . | | | | .... | | ...... | . . . | ... | | Semesters | | .. | | . | . . . | ..... | | | | . | | | . . . | .... | | | | | | | . . . | .... | | | |_________| |_________| |_________| | | | ----------------------------------------------- Understood (don't show this information again)

185.A06 - Formal Modelling (VU 3.0ECTS)

Salzer, Gernot
2024S
Salzer, Gernot
di Angelo, Monika
Riener, Martin

E192 Institute of Logic and Computation
2023S
Salzer, Gernot
Scholz, Marion
Riener, Martin
Oswald, Marion

E192 Institute of Logic and Computation
2022S
Salzer, Gernot
Scholz, Marion
Riener, Martin
Fermüller, Christian
Oswald, Marion
Skritek, Sebastian

E192 Institute of Logic and Computation
2021S
Salzer, Gernot
Scholz, Marion
Fermüller, Christian
Oswald, Marion
Riener, Martin
Scherer, Markus

E192 Institute of Logic and Computation
2020S
Salzer, Gernot
Scholz, Marion
Fermüller, Christian
Oswald, Marion
Riener, Martin
Scherer, Markus

E192 Institute of Logic and Computation
2019S
Salzer, Gernot
Scholz, Marion
Fermüller, Christian
Freund, Rudolf
Kröll, Markus
Oswald, Marion
Scherer, Markus

E192 Institute of Logic and Computation
2018S
Salzer, Gernot
Scholz, Marion
Fermüller, Christian
Freund, Rudolf
Kröll, Markus
Oswald, Marion
Scherer, Markus

E192 Institute of Logic and Computation
2017W
Salzer, Gernot
Scholz, Marion
Freund, Rudolf
Kröll, Markus

E185 Institute of Computer Languages
2017S
Salzer, Gernot
Scholz, Marion
Feinerer, Ingo
Fermüller, Christian
Freund, Rudolf
Kröll, Markus
Oetsch, Johannes

E185 Institute of Computer Languages
2016W
Salzer, Gernot
Scholz, Marion
Fermüller, Christian
Freund, Rudolf
Kröll, Markus
Oetsch, Johannes
Oswald, Marion

E185 Institute of Computer Languages
2016S
Salzer, Gernot
Scholz, Marion
Berger, Gerald
Fermüller, Christian
Freund, Rudolf
Kröll, Markus
Lettmann, Michael Peter
Oetsch, Johannes

E185 Institute of Computer Languages
2015W
Salzer, Gernot
Scholz, Marion
Berger, Gerald
Fermüller, Christian
Freund, Rudolf
Kröll, Markus
Oetsch, Johannes
Oswald, Marion

E185 Institute of Computer Languages