Informatik
Grundlagen der Informatik
|
|
GdI-MTL: Modal and Temporal Logic
V; Präsenz + Online-Anteile; 2,00 SWS; Do, 12:00 - 14:00, WE5/04.004; Veranstaltung online über MS Teams
|
Mendler, M.
|
Kommunikationsdienste, Telekommunikationssysteme, Rechnernetze
|
|
KTR-Mobi-M: Mobilkommunikation
V/Ü; Rein Online; 4,00 SWS; ECTS: 6; Di, 16:00 - 18:00; Do, 10:00 - 12:00
|
Krieger, U.
|
Softwaretechnik und Programmiersprachen
|
|
SWT-CPS-M (Cyber-Physical Systems) - Discrete & Timed Automata
V/Ü; Rein Online; 2,00 SWS; Mo, Do, 14:15 - 15:45, Online-Meeting; Vorbesprechung: 2.11.2020, 14:15 - 15:45 Uhr, Online-Meeting
|
Yip, E.
|
|
SWT-CPS-M (Cyber-Physical Systems) - Hybrid Automata
V/Ü; Rein Online; 2,00 SWS; Mo, Do, 14:15 - 15:45, Online-Meeting; Vorbesprechung: 2.11.2020, 14:15 - 15:45 Uhr, Online-Meeting
|
Ro, J.W.
|
|
SWT-PR1/2-M: SWT Masters Project in Software Systems Science
Ü; Rein Online; 4 / 6 SWS; 6 / 9 ECTS; M.Sc. / M.Sc. ISoSySc; Mo, 10:15 - 11:45, Online-Meeting; Vorbesprechung: 2.11.2020, 10:15 - 11:45 Uhr, Online-Meeting
|
Yip, E.
|
|
SWT-SEM-M: Seminar Software Engineering and Programming Languages
S; Fällt aus; Zeit und Raum n.V.
|
Lüttgen, G.
|
Mobile Software Systeme
|
|
MOBI-DSC-M: Data Streams and Complex Event Processing
Ü; Rein Online; 2,00 SWS; Do, 8:00 - 10:00, WE5/01.004
|
Benabbas, A.
|
|