Suchergebnis: Lerneinheiten im Frühjahrssemester 2019
Informatik Master  | ||||||
 Vertiefungsfächer | ||||||
| Vertiefung in Information Security | ||||||
| Wahlfächer der Vertiefung in Information Security | ||||||
| Nummer | Titel | Typ | ECTS | Umfang | Dozierende | |
|---|---|---|---|---|---|---|
| 252-0408-00L | Cryptographic Protocols | W | 5 KP | 2V + 2U | M. Hirt, U. Maurer | |
| 263-2925-00L | Program Analysis for System Security and Reliability | W | 5 KP | 2V + 1U + 1A | M. Vechev | |
| 263-4600-00L | Formal Methods for Information Security | W | 4 KP | 2V + 1U | R. Sasse, C. Sprenger | |
| 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 | |
Seite
1
von
1
