Vorlesungsverzeichnis
Übersicht > FB20 - Informatik > Wahlbereiche > Software Systeme und formale Grundlagen
Veranstaltungen / Module
|
Veranstaltung / Modul Dozenten / Modulverantwortliche Zeitraum |
Veranstaltungsart Raum |
|||
|---|---|---|---|---|
|
18-su-2010-ue E-LEARNING: Software-Engineering - Wartung und Qualitätssicherung Prof. Dr. rer. nat. Andreas Schürr; M.Sc. Isabelle Bacher; M.Sc. Sebastian Marvin Ruland Do, 5. Nov. 2020 [08:55] - Do, 11. Feb. 2021 [09:40] |
Übung | |||
|
18-su-2010-vl E-LEARNING: Software-Engineering - Wartung und Qualitätssicherung Prof. Dr. rer. nat. Andreas Schürr; M.Sc. Isabelle Bacher; M.Sc. Sebastian Marvin Ruland Mo, 2. Nov. 2020 [09:50] - Do, 11. Feb. 2021 [08:45] |
Vorlesung | |||
|
20-00-0110-iv Effiziente Graphenalgorithmen Prof. Dr. rer. nat. Karsten Weihe Di, 3. Nov. 2020 [09:50] - Di, 9. Feb. 2021 [11:30] |
Integrierte Veranstaltung | |||
|
20-00-0635-iv IT-Lösungen durch praxiserprobtes Software Engineering Dr. Thomas Kunstmann Mi, 4. Nov. 2020 [09:50] - Mi, 10. Feb. 2021 [11:30] |
Integrierte Veranstaltung | |||
|
20-00-0667-iv Optimierungsalgorithmen Prof. Dr. rer. nat. Karsten Weihe Mi, 4. Nov. 2020 [13:30] - Mi, 10. Feb. 2021 [15:10] |
Integrierte Veranstaltung | |||
|
20-00-0977-iv Fortgeschrittenes Multithreading in C++ Alexander Helmut Geiß; Arya Mazaheri; Prof. Dr. rer. nat. Felix Wolf Fr, 6. Nov. 2020 [09:50] - Fr, 12. Feb. 2021 [11:30] |
Integrierte Veranstaltung | |||
|
20-00-1076-iv Typsysteme Prof. Dr. rer. nat. Kirstin Peters Di, 3. Nov. 2020 [13:30] - Fr, 12. Feb. 2021 [13:20] |
Integrierte Veranstaltung | |||
|
20-00-1079-iv Verifikation paralleler Programme Prof. Dr. rer. nat. Marie-Christine Jakobs Di, 3. Nov. 2020 [13:30] - Do, 11. Feb. 2021 [13:20] |
Integrierte Veranstaltung | |||