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. Johannes Bürdek Do, 20. Okt. 2016 [08:55] - Do, 9. Feb. 2017 [09:40] |
Übung | |||
|
18-su-2010-vl Software-Engineering - Wartung und Qualitätssicherung Prof. Dr. rer. nat. Andreas Schürr; M.Sc. Johannes Bürdek Do, 20. Okt. 2016 [08:00] - Do, 9. Feb. 2017 [09:40] |
Vorlesung | |||
|
20-00-0072-iv Konzepte der Programmiersprachen Ph.D. Guido Salvaneschi Do, 20. Okt. 2016 [11:40] - Do, 9. Feb. 2017 [13:20] |
Integrierte Veranstaltung | |||
|
20-00-0110-iv Effiziente Graphenalgorithmen Prof. Dr. rer. nat. Karsten Weihe |
Integrierte Veranstaltung | |||
|
20-00-0178-vl Software Engineering - Projektmanagement Dipl-Wi.-Inform Malte Foegen Fr, 28. Okt. 2016 [18:00] - So, 15. Jan. 2017 [18:00] |
Vorlesung | |||
|
20-00-0341-iv Software Engineering - Design and Construction Dr.-Ing. Michael Eichberg Di, 25. Okt. 2016 [16:15] - Do, 9. Feb. 2017 [17:55] |
Integrierte Veranstaltung | |||
|
20-00-0660-iv Automatisches Beweisen Prof. Dr. rer. nat. Reiner Hähnle; M.Sc. Eduard Kamburjan Mi, 19. Okt. 2016 [09:50] - Mi, 8. Feb. 2017 [11:30] |
Integrierte Veranstaltung | |||
|
20-00-0667-iv Optimierungsalgorithmen Prof. Dr. rer. nat. Karsten Weihe |
Integrierte Veranstaltung | |||
|
20-00-0742-iv Technikgestaltung Prof. Dr. phil. Wolfgang Henhapl; Dr. Uwe Engfer Fr, 21. Okt. 2016 [15:00] - Fr, 21. Okt. 2016 [18:00] |
Integrierte Veranstaltung | |||
|
20-00-0933-iv Program Testing and Analysis Prof. Dr. Michael Pradel Mo, 17. Okt. 2016 [09:50] - Mo, 6. Feb. 2017 [11:30] |
Integrierte Veranstaltung | |||
|
20-00-0967-vl Einführung in Enterprise-Architektur-Management Dr. Hüseyin Yüksel Di, 18. Okt. 2016 [15:20] - Di, 7. Feb. 2017 [17:00] |
Vorlesung | |||