Das Frühjahrssemester 2021 findet grundsätzlich online statt. Neue Präsenzelemente ab 26. April werden von den Dozierenden mitgeteilt.

Suchergebnis: Lehrveranstaltungen im Frühjahrssemester 2019

Informatik Master Information
Vertiefungsfächer
Vertiefung in Software Engineering
Wahlfächer der Vertiefung in Software Engineering
NummerTitelTypECTSUmfangDozierende
263-2300-00LHow To Write Fast Numerical Code Information Belegung eingeschränkt - Details anzeigen
Number of participants limited to 84.

Prerequisite: Master student, solid C programming skills.

Takes place the last time in this form.
W6 KP3V + 2U
263-2300-00 VHow To Write Fast Numerical Code3 Std.
Mo10-12HG D 3.2 »
Do09-10CAB G 51 »
M. Püschel
263-2300-00 UHow To Write Fast Numerical Code2 Std.
Mi13-15HG D 3.2 »
M. Püschel
263-2812-00LProgram Verification Information Belegung eingeschränkt - Details anzeigen
Maximale Teilnehmerzahl: 30.
W5 KP2V + 1U + 1A
263-2812-00 VProgram Verification2 Std.
Mi09-11CAB G 52 »
A. J. Summers
263-2812-00 UProgram Verification1 Std.
Mi11-12CAB G 52 »
A. J. Summers
263-2812-00 AProgram Verification1 Std.A. J. Summers
263-4630-00LComputer-Aided Modelling and Reasoning Information
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.
W8 KP7P
263-4630-00 PComputer-Aided Modelling and Reasoning7 Std.
Fr09-13HG G 26.3 »
C. Sprenger, D. Traytel
  •  Seite  1  von  1