Search result: Courses in Spring Semester 2017

Computer Science Bachelor Information
Bachelor Studies (Programme Regulations 2008)
4. Semester
Compulsory Courses (4. Sem.)
NumberTitleTypeECTSHoursLecturers
252-0058-00LFormal Methods and Functional Programming Information O7 credits4V + 2U
252-0058-00 VFormal Methods and Functional Programming4 hrs
Tue10:15-12:00HG E 5 »
Thu10:15-12:00HG E 5 »
30.03.09:15-10:00HG E 5 »
D. Basin, P. Müller
252-0058-00 UFormal Methods and Functional Programming2 hrs
Tue13:15-15:00CAB G 52 »
13:15-15:00CHN D 46 »
13:15-15:00NO D 11 »
13:15-15:00NO E 11 »
Wed15:15-17:00CHN D 42 »
15:15-17:00CHN D 46 »
D. Basin, P. Müller
252-0062-00LOperating Systems and Networks Information O8 credits4V + 3U
252-0062-00 VOperating Systems and Networks
Wird im FS17 letztmals in dieser Form angeboten.
Der neue Kurs im Umfang von 4V+2U (Bachelor Reglement 16) findet erstmals im FS18 statt.
4 hrs
Mon13:15-15:00HG G 3 »
Fri10:15-12:00HG E 7 »
T. Hoefler, A. Perrig
252-0062-00 UOperating Systems and Networks3 hrs
Tue15:15-18:00HG D 1.2 »
Thu15:15-18:00ML F 40 »
15:15-18:00ML H 41.1 »
Fri13:15-16:00CHN D 48 »
13.04.15:15-17:00ML F 40 »
15:15-17:00ML H 41.1 »
T. Hoefler, A. Perrig
252-0063-00LData Modelling and Databases Information O7 credits4V + 2U
252-0063-00 VData Modelling and Databases4 hrs
Wed13:15-15:00HG F 3 »
Fri08:15-10:00HG F 3 »
G. Alonso, C. Zhang
252-0063-00 UData Modelling and Databases2 hrs
Mon15:15-17:00CHN C 14 »
Fri13:15-15:00CAB G 51 »
G. Alonso, C. Zhang
  •  Page  1  of  1