====== Winter Semester 18/19 ====== === Bachelor === [[:en:lehre:wise1819:technische_informatik|Einführung in die Technische Informatik]] * Lecture (V4/Ü2) * ECTS: 6 * Contact: [[:lehrstuhl:mitarbeiter:akugler]], [[:lehrstuhl:mitarbeiter:elliott]] \\ [[:en:lehre:wise1819:etes]] * Proseminar * ECTS: 3 * Contact: [[:lehrstuhl:mitarbeiter:boersma]], [[:lehrstuhl:mitarbeiter:grochowski]] \\ [[:en:lehre:wise1819:psp|Praktikum Systemprogrammierung]] * Lab Course * ECTS: 6 * Contact: [[:lehrstuhl:mitarbeiter:rakel]], [[:lehrstuhl:mitarbeiter:gurghian]] === Master === [[:en:lehre:wise1819:Formale Methoden für Steuerungssoftware|Formal Methods for Logic Control Software]] * Lecture (V2/Ü2) * ECTS: 6 * Contact: [[:lehrstuhl:mitarbeiter:bohlender]], [[:lehrstuhl:mitarbeiter:voelker]] \\ [[:en:lehre:wise1819:AutomatisierungEinerDestillationsanlage]] * Lab Course * ECTS: 4-7 * Contact: [[:lehrstuhl:mitarbeiter:stollenwerk]] \\ [[:en:lehre:wise1819:cpsmm]] * Seminar * ECTS: 4 * Contact: [[:lehrstuhl:mitarbeiter:dzafic]]\\ \\ [[:en:lehre:wise1819:mbt]] * Seminar * ECTS: 4 * Contact: [[:lehrstuhl:mitarbeiter:dzafic]]\\ \\ [[:en:lehre:wise1819:formal]] * Seminar * ECTS: 4 * Contact: [[:lehrstuhl:mitarbeiter:dzafic]]\\ \\