Autumn Semester 2020 takes place in a mixed form of online and classroom teaching.
Please read the published information on the individual courses carefully.

Search result: Course units in Spring Semester 2016

Computer Science Master Information
Focus Courses
Focus Courses in Information Systems
Focus Elective Courses Information Systems
NumberTitleTypeECTSHoursLecturers
252-0355-00LObject Databases Information W4 credits2V + 1UA. K. de Spindler
252-0807-00LInformation Systems Laboratory Information Restricted registration - show details
Number of participants limited to 16.

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.
W10 credits9PM. Norrie
252-3005-00LIntroduction to Natural Language Processing Information W4 credits2V + 1UT. Hofmann, M. Ciaramita
Seminar in Information Systems
NumberTitleTypeECTSHoursLecturers
252-3002-00LAlgorithms for Database Systems Information
Limited number of participants.
W2 credits2SP. Widmayer
252-3100-00LComputer Supported Cooperative Work Information Restricted registration - show details
Number of participants limited to 18.
W2 credits2SM. Norrie
263-3200-00LAdvanced Topics in Information Retrieval and Natural Language Processing Information W2 credits2ST. Hofmann, C. Eickhoff
Focus Courses in Software Engineering
Focus Core Courses Software Engineering
NumberTitleTypeECTSHoursLecturers
263-2910-00LProgram Analysis and Synthesis Information W6 credits3V + 2UM. Vechev
Focus Elective Courses Software Engineering
NumberTitleTypeECTSHoursLecturers
263-2300-00LHow To Write Fast Numerical Code Information
Prerequisite: Master student, solid C programming skills.
W6 credits3V + 2UM. Püschel
263-2810-00LAdvanced Compiler Design Information W7 credits3V + 2U + 1AT. Gross
Seminar in Software Engineering
NumberTitleTypeECTSHoursLecturers
263-2100-00LResearch Topics in Software Engineering Information W2 credits2SM. Vechev
Focus Courses in Theoretical Computer Science
Focus Core Courses Theoretical Computer Science
NumberTitleTypeECTSHoursLecturers
252-0407-00LCryptography Foundations Information W7 credits3V + 2U + 1AU. Maurer
252-0491-00LSatisfiability of Boolean Formulas - Combinatorics and Algorithms Information
Takes place for the last time in spring 2016.
W7 credits3V + 2U + 1AE. Welzl
Focus Elective Courses Theoretical Computer Science
NumberTitleTypeECTSHoursLecturers
252-1403-00LIntroduction to Quantum Information Processing Information W3 credits2GS. Wolf
252-1424-00LModels of Computation Information W6 credits2V + 2U + 1AM. Cook
401-3052-05LGraph Theory Information W5 credits2V + 1UB. Sudakov
401-3903-11LGeometric Integer ProgrammingW6 credits2V + 1UR. Weismantel
401-3908-09LPolyhedral ComputationW6 credits2V + 1UK. Fukuda
401-4904-00LCombinatorial Optimization Information W6 credits2V + 1UR. Zenklusen
252-0408-00LCryptographic Protocols Information
Does not take place this semester.
W5 credits2V + 2UU. Maurer
Seminar in Theoretical Computer Science
NumberTitleTypeECTSHoursLecturers
252-3002-00LAlgorithms for Database Systems Information
Limited number of participants.
W2 credits2SP. Widmayer
  • First page Previous page Page  2  of  3 Next page Last page     All