jku: All courses

Course categories:

326.901, VL Special Topics, Nikolaj Popov, 2020S

326.718, UE Formale Grundlagen der Wirtschaftsinformatik, Günter Landsmann, 2020S

326.715, UE Formale Grundlagen der Wirtschaftsinformatik, Nikolaj Popov, 2020S

326.714, UE Formale Grundlagen der Wirtschaftsinformatik, Nikolaj Popov, 2020S

326.712, VL Formale Grundlagen der Wirtschaftsinformatik, Nikolaj Popov, 2020S

326.703, UE Formale Grundlagen der Wirtschaftsinformatik, Günter Landsmann, 2020S

326.097, VL Spezialvorlesung Logik und Softwaredesign, Teimuraz Kutsia, 2020S

326.062, KV Programmieren in Mathematica, Teimuraz Kutsia, 2020S

326.054, KV Funktionales Programmieren, Teimuraz Kutsia, 2020S

326.009, UE Einführungsübungen Mathematik, Josef Schicho, 2020S

326.007, PS Formales Modellieren, Wolfgang Schreiner / Josef Schicho / Wolfgang Windsteiger, 2020S

326.006, VL Formales Modellieren, Wolfgang Schreiner / Josef Schicho / Wolfgang Windsteiger, 2020S

326.005, KV Programmierung 2, Wolfgang Schreiner, 2020S

326.003, KV Algorithmische Methoden, Wolfgang Windsteiger, 2020S

326.700, VL Mathematik und Logik, Wolfgang Windsteiger, 2019W

326.105, VL Computer Algebra, Franz Winkler, 2019W

326.053, KV Formale Methoden in der Software-Entwicklung, Wolfgang Schreiner / Janos Sztrik, 2019W

326.048, KV Logik als Arbeitssprache, Wolfgang Windsteiger, 2019W

326.031/112, UE Computer Algebra, Günter Landsmann / Johann Mitteramskogler, 2019W

326.028, KV Logisches Programmieren, Teimuraz Kutsia, 2019W