Suchergebnis: Lerneinheiten im Frühjahrssemester 2018

Informatik Master Information
Vertiefungsfächer
Vertiefung in Software Engineering
Kernfächer der Vertiefung in Software Engineering
NummerTitelTypECTSUmfangDozierende
263-2925-00LProgram Analysis for System Security and Reliability Information W5 KP2V + 1U + 1AM. Vechev
Wahlfächer der Vertiefung in Software Engineering
NummerTitelTypECTSUmfangDozierende
263-2812-00LProgram Verification Information Belegung eingeschränkt - Details anzeigen
Maximale Teilnehmerzahl: 30.
W5 KP2V + 1U + 1AA. J. Summers
263-2300-00LHow To Write Fast Numerical Code Information Belegung eingeschränkt - Details anzeigen
Findet dieses Semester nicht statt.
Number of participants limited to 84.

Prerequisite: Master student, solid C programming skills.
W6 KP3V + 2UM. Püschel
Seminar in Software Engineering
NummerTitelTypECTSUmfangDozierende
263-2100-00LResearch Topics in Software Engineering Information Belegung eingeschränkt - Details anzeigen
Number of participants limited to 22.
W2 KP2ST. Gross
263-2926-00LDeep Learning for Big Code Information Belegung eingeschränkt - Details anzeigen
Number of participants limited to 24.
W2 KP2SM. Vechev
263-2930-00LBlockchain Security Seminar Information Belegung eingeschränkt - Details anzeigen
Number of participants limited to 26.
W2 KP2SM. Vechev, D. Drachsler Cohen, P. Tsankov
  •  Seite  1  von  1