Course catalogue
Overview > Dept. 20 - Computer Science > Elective Area > Software Systems and Formal Foundations
Course offerings / Modules
|
Course offering / Module Instructors / Module Owner Time period |
Event type Room |
|||
|---|---|---|---|---|
|
18-su-2010-ue Software-Engineering - Maintenance and Quality Assurance Prof. Dr. rer. nat. Andreas Schürr; M.Sc. Sebastian Marvin Ruland Th, 17. Oct. 2019 [08:55] - Th, 13. Feb. 2020 [09:40] |
Exercise | |||
|
18-su-2010-vl Software-Engineering - Maintenance and Quality Assurance Prof. Dr. rer. nat. Andreas Schürr; M.Sc. Sebastian Marvin Ruland Mon, 14. Oct. 2019 [09:50] - Th, 13. Feb. 2020 [08:45] |
Lecture | |||
|
20-00-0072-iv Concepts of Programming Languages Ph.D. Guido Salvaneschi Tue, 15. Oct. 2019 [11:40] - Tue, 11. Feb. 2020 [13:20] |
Integrated Course | |||
|
20-00-0110-iv Efficient Graph Algorithms Prof. Dr. rer. nat. Karsten Weihe Tue, 15. Oct. 2019 [09:50] - Tue, 11. Feb. 2020 [11:30] |
Integrated Course | |||
|
20-00-0635-iv IT Solutions with Software Engineering in Practice Dr. Thomas Kunstmann Wed, 16. Oct. 2019 [09:50] - Wed, 12. Feb. 2020 [11:30] |
Integrated Course | |||
|
20-00-0667-iv Optimization Algorithms Prof. Dr. rer. nat. Karsten Weihe Wed, 16. Oct. 2019 [13:30] - Wed, 12. Feb. 2020 [15:10] |
Integrated Course | |||
|
20-00-0967-vl Introduction to Enterprise Architecture Management Dr. Hüseyin Yüksel Mon, 14. Oct. 2019 [09:50] - Mon, 10. Feb. 2020 [11:30] |
Lecture | |||
|
20-00-0977-iv Advanced Multithreading in C++ Dr. Ing. Alexandru Calotoiu Tue, 15. Oct. 2019 [09:50] - Tue, 11. Feb. 2020 [11:20] |
Integrated Course | |||
|
20-00-1076-iv Type Systems Prof. Dr. rer. nat. Kirstin Peters Tue, 15. Oct. 2019 [13:30] - Fri, 14. Feb. 2020 [13:20] |
Integrated Course | |||
|
20-00-1079-iv Verification of Parallel Programs Prof. Dr. rer. nat. Marie-Christine Jakobs Tue, 15. Oct. 2019 [13:30] - Th, 13. Feb. 2020 [13:20] |
Integrated Course | |||