Vorlesungsverzeichnis
Übersicht > FB20 - Informatik > Wahlbereiche > Software Systeme und formale Grundlagen
Veranstaltungen / Module
|
Veranstaltung / Modul Dozenten / Modulverantwortliche Zeitraum |
Veranstaltungsart Raum |
|||
|---|---|---|---|---|
|
18-su-2010-ue Software-Engineering - Wartung und Qualitätssicherung Prof. Dr. rer. nat. Andreas Schürr; M.Sc. Isabelle Bacher Do, 13. Apr. 2023 [16:15] - Do, 13. Jul. 2023 [17:00] |
Übung | |||
|
18-su-2010-vl Software-Engineering - Wartung und Qualitätssicherung Prof. Dr. rer. nat. Andreas Schürr; M.Sc. Alexander Lieb Do, 13. Apr. 2023 [15:20] - Mo, 17. Jul. 2023 [11:30] |
Vorlesung | |||
|
20-00-0113-iv Algorithmische Modellierung / Grundlagen des Operations Research Prof. Dr. rer. nat. Karsten Weihe Di, 11. Apr. 2023 [15:20] - Do, 13. Jul. 2023 [11:30] |
Integrierte Veranstaltung | |||
|
20-00-0701-vl Fortgeschrittener Compilerbau Prof. Dr.-Ing. Andreas Koch Di, 11. Apr. 2023 [16:15] - Do, 13. Jul. 2023 [13:20] |
Vorlesung | |||
|
20-00-0953-iv Multithreading in C++ M.Sc. Tim Beringer; M.Sc. Lukas Rothenberger; Prof. Dr. rer. nat. Felix Wolf Di, 11. Apr. 2023 [09:50] - Do, 13. Jul. 2023 [11:30] |
Integrierte Veranstaltung | |||
|
20-00-1115-vl Model Checking Dr. rer. nat. Richard Bubel Mi, 12. Apr. 2023 [09:50] - Mi, 12. Jul. 2023 [11:30] |
Vorlesung | |||
|
20-00-1136-iv Einführung in das Quantencomputing Prof. Dr. rer. nat. Mariami Gachechiladze Di, 11. Apr. 2023 [15:20] - Di, 11. Jul. 2023 [17:00] |
Integrierte Veranstaltung | |||