Suchergebnis: Lerneinheiten im Frühjahrssemester 2018
Informatik Master ![]() | ||||||
![]() | ||||||
![]() ![]() | ||||||
![]() ![]() ![]() | ||||||
Nummer | Titel | Typ | ECTS | Umfang | Dozierende | |
---|---|---|---|---|---|---|
252-0408-00L | Cryptographic Protocols ![]() | W | 5 KP | 2V + 2U | M. Hirt, U. Maurer | |
263-4600-00L | Formal Methods for Information Security ![]() | W | 4 KP | 2V + 1U | R. Sasse, C. Sprenger | |
263-2925-00L | Program Analysis for System Security and Reliability ![]() | W | 5 KP | 2V + 1U + 1A | M. Vechev |
Seite 1 von 1