Suchergebnis: Lerneinheiten im Frühjahrssemester 2019
Informatik Master | ||||||
Vertiefungsfächer | ||||||
Vertiefung in Software Engineering | ||||||
Kernfächer der Vertiefung in Software Engineering | ||||||
Nummer | Titel | Typ | ECTS | Umfang | Dozierende | |
---|---|---|---|---|---|---|
263-2925-00L | Program Analysis for System Security and Reliability | W | 5 KP | 2V + 1U + 1A | M. Vechev | |
Wahlfächer der Vertiefung in Software Engineering | ||||||
Nummer | Titel | Typ | ECTS | Umfang | Dozierende | |
263-2300-00L | How To Write Fast Numerical Code Number of participants limited to 84. Prerequisite: Master student, solid C programming skills. Takes place the last time in this form. | W | 6 KP | 3V + 2U | M. Püschel | |
263-2812-00L | Program Verification Maximale Teilnehmerzahl: 30. | W | 5 KP | 2V + 1U + 1A | A. J. Summers | |
263-4630-00L | Computer-Aided Modelling and Reasoning In the Master Programme max. 10 credits can be accounted by Labs on top of the Interfocus Courses. Additional Labs will be listed on the Addendum. | W | 8 KP | 7P | C. Sprenger, D. Traytel | |
Seminar in Software Engineering | ||||||
Nummer | Titel | Typ | ECTS | Umfang | Dozierende | |
263-2100-00L | Research Topics in Software Engineering Number of participants limited to 22. The deadline for deregistering expires at the end of the second week of the semester. Students who are still registered after that date, but do not attend the seminar, will officially fail the seminar. | W | 2 KP | 2S | T. Gross | |
263-2926-00L | Deep Learning for Big Code Number of participants limited to 24. The deadline for deregistering expires at the end of the second week of the semester. Students who are still registered after that date, but do not attend the seminar, will officially fail the seminar. | W | 2 KP | 2S | V. Raychev | |
263-2930-00L | Blockchain Security Seminar Number of participants limited to 22. The deadline for deregistering expires at the end of the second week of the semester. Students who are still registered after that date, but do not attend the seminar, will officially fail the seminar. | W | 2 KP | 2S | M. Vechev, D. Drachsler Cohen, P. Tsankov |
- Seite 1 von 1