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.A06 - Formale Modellierung (VU 3.0ECTS)

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

E192 Institut für Logic and Computation
2023S
Salzer, Gernot
Scholz, Marion
Riener, Martin
Oswald, Marion

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

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

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

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

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

E192 Institut für Logic and Computation
2017W
Salzer, Gernot
Scholz, Marion
Freund, Rudolf
Kröll, Markus

E185 Institut für Computersprachen
2017S
Salzer, Gernot
Scholz, Marion
Feinerer, Ingo
Fermüller, Christian
Freund, Rudolf
Kröll, Markus
Oetsch, Johannes

E185 Institut für Computersprachen
2016W
Salzer, Gernot
Scholz, Marion
Fermüller, Christian
Freund, Rudolf
Kröll, Markus
Oetsch, Johannes
Oswald, Marion

E185 Institut für Computersprachen
2016S
Salzer, Gernot
Scholz, Marion
Berger, Gerald
Fermüller, Christian
Freund, Rudolf
Kröll, Markus
Lettmann, Michael Peter
Oetsch, Johannes

E185 Institut für Computersprachen
2015W
Salzer, Gernot
Scholz, Marion
Berger, Gerald
Fermüller, Christian
Freund, Rudolf
Kröll, Markus
Oetsch, Johannes
Oswald, Marion

E185 Institut für Computersprachen