Suchergebnis: Lerneinheiten im Frühjahrssemester 2019
Informatik Master | ||||||
Vertiefungsfächer | ||||||
Vertiefung in Software Engineering | ||||||
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 |
- Seite 1 von 1