Vorlesungsverzeichnis
Übersicht > FB20 - Informatik > Wahlbereiche > Software Systeme und formale Grundlagen
Veranstaltungen / Module
|
Veranstaltung / Modul Dozenten / Modulverantwortliche Zeitraum |
Veranstaltungsart Raum |
|||
|---|---|---|---|---|
|
20-00-0110-iv Effiziente Graphenalgorithmen Prof. Dr. rer. nat. Karsten Weihe Di, 19. Okt. 2021 [09:50] - Di, 15. Feb. 2022 [11:30] |
Integrierte Veranstaltung | |||
|
20-00-0580-iv Statische und dynamische Programmanalyse Prof. Dr.-Ing. Heiko Mantel Di, 19. Okt. 2021 [09:50] - Mi, 16. Feb. 2022 [17:55] |
Integrierte Veranstaltung | |||
|
20-00-0635-iv IT-Lösungen durch praxiserprobtes Software Engineering Dr. Thomas Kunstmann Mi, 27. Okt. 2021 [09:50] - Mi, 16. Feb. 2022 [11:30] |
Integrierte Veranstaltung | |||
|
20-00-0660-iv Automatisches Beweisen Prof. Dr. rer. nat. Reiner Hähnle Mi, 20. Okt. 2021 [13:30] - Mi, 16. Feb. 2022 [15:10] |
Integrierte Veranstaltung | |||
|
20-00-0667-iv Optimierungsalgorithmen Prof. Dr. rer. nat. Karsten Weihe Mi, 20. Okt. 2021 [13:30] - Mi, 16. Feb. 2022 [15:10] |
Integrierte Veranstaltung | |||
|
20-00-0967-vl Einführung in Enterprise-Architektur-Management Dr. Hüseyin Yüksel Mo, 18. Okt. 2021 [08:00] - Mo, 14. Feb. 2022 [09:40] |
Vorlesung | |||
|
20-00-0977-iv Fortgeschrittenes Multithreading in C++ Alexander Helmut Geiß; Arya Mazaheri; Prof. Dr. rer. nat. Felix Wolf Di, 19. Okt. 2021 [09:50] - Di, 15. Feb. 2022 [11:30] |
Integrierte Veranstaltung | |||
|
20-00-1076-iv Typsysteme Prof. Dr. rer. nat. Kirstin Peters Di, 19. Okt. 2021 [13:30] - Fr, 18. Feb. 2022 [13:20] |
Integrierte Veranstaltung | |||
|
20-00-1079-iv Verifikation paralleler Programme Prof. Dr. rer. nat. Marie-Christine Jakobs Di, 19. Okt. 2021 [13:30] - Do, 17. Feb. 2022 [13:20] |
Integrierte Veranstaltung | |||
|
20-00-1122-vl Programmanalyse Prof. Dr.-Ing. Ermira Mezini Mo, 18. Okt. 2021 [10:45] - Mo, 14. Feb. 2022 [12:15] |
Vorlesung und Übung | |||