Suchergebnis: Lehrveranstaltungen im Frühjahrssemester 2019

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 + 1A
263-2925-00 VProgram Analysis for System Security and Reliability2 Std.
Mo13:15-15:00CAB G 61 »
M. Vechev
263-2925-00 UProgram Analysis for System Security and Reliability1 Std.
Mo15:15-16:00CAB G 61 »
M. Vechev
263-2925-00 AProgram Analysis for System Security and Reliability1 Std.M. Vechev
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:15-12:00HG D 3.2 »
Do09:15-10:00CAB G 51 »
M. Püschel
263-2300-00 UHow To Write Fast Numerical Code2 Std.
Mi13:15-15:00HG 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:15-11:00CAB G 52 »
A. J. Summers
263-2812-00 UProgram Verification1 Std.
Mi11:15-12:00CAB 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:15-13:00HG G 26.3 »
C. Sprenger, D. Traytel
Seminar in Software Engineering
NummerTitelTypECTSUmfangDozierende
263-2100-00LResearch Topics in Software Engineering Information Belegung eingeschränkt - Details anzeigen
Number of participants limited to 22.

The deadline for deregistering expires at the end of the second week of the semester. Students who are still registered after that date, but do not attend the seminar, will officially fail the seminar.
W2 KP2S
263-2100-00 SResearch Topics in Software Engineering
To allow scheduling flexibility, the seminar meets some days from 3-6. Students must register by February 19 or attend the first meeting to obtain a topic for presentation. Please contact the instructor if you cannot attend the first meeting.
2 Std.
Di15:15-17:00CAB G 52 »
T. Gross
263-2926-00LDeep Learning for Big Code Information Belegung eingeschränkt - Details anzeigen
Number of participants limited to 24.

The deadline for deregistering expires at the end of the second week of the semester. Students who are still registered after that date, but do not attend the seminar, will officially fail the seminar.
W2 KP2S
263-2926-00 SDeep Learning for Big Code2 Std.
Mo16:15-18:00CAB G 52 »
V. Raychev
263-2930-00LBlockchain Security Seminar Information Belegung eingeschränkt - Details anzeigen
Number of participants limited to 22.

The deadline for deregistering expires at the end of the second week of the semester. Students who are still registered after that date, but do not attend the seminar, will officially fail the seminar.
W2 KP2S
263-2930-00 SBlockchain Security Seminar2 Std.
Fr13:15-15:00CAB G 57 »
M. Vechev, D. Drachsler Cohen, P. Tsankov
  •  Seite  1  von  1