Search result: Courses in Spring Semester 2018
Computer Science Master | |||||||||
Focus Courses | |||||||||
Focus Courses in Software Engineering | |||||||||
Focus Elective Courses Software Engineering | |||||||||
Number | Title | Type | ECTS | Hours | Lecturers | ||||
---|---|---|---|---|---|---|---|---|---|
263-2812-00L | Program Verification Number of participants limited to 30. | W | 5 credits | 2V + 1U + 1A | |||||
263-2812-00 V | Program Verification | 2 hrs |
| A. J. Summers | |||||
263-2812-00 U | Program Verification | 1 hrs |
| A. J. Summers | |||||
263-2812-00 A | Program Verification | 1 hrs | A. J. Summers | ||||||
263-2300-00L | How To Write Fast Numerical Code Number of participants limited to 84. Prerequisite: Master student, solid C programming skills. | W | 6 credits | 3V + 2U | |||||
263-2300-00 V | How To Write Fast Numerical Code Does not take place this semester. | 3 hrs | M. Püschel | ||||||
263-2300-00 U | How To Write Fast Numerical Code Does not take place this semester. | 2 hrs | M. Püschel |
- Page 1 of 1