Course Catalogue
Print
Help
Contact
de
Courses
Lecturers
Time and Place
Search
Search result: Course units in Spring Semester 2016
Page 2 of 4
All
Course units
Catalogue data
Courses
Computer Science Master
Focus Courses
Focus Courses in Information Systems
Focus Elective Courses Information Systems
Number
Title
Type
ECTS
Hours
Lecturers
252-0312-00L
Ubiquitous Computing
W
3 credits
2V
S. Mayer
252-0355-00L
Object Databases
W
4 credits
2V + 1U
A. K. de Spindler
252-0807-00L
Information Systems Laboratory
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.
W
10 credits
9P
M. Norrie
252-3005-00L
Introduction to Natural Language Processing
W
4 credits
2V + 1U
T. Hofmann
,
M. Ciaramita
Seminar in Information Systems
Number
Title
Type
ECTS
Hours
Lecturers
252-3002-00L
Algorithms for Database Systems
Limited number of participants.
W
2 credits
2S
P. Widmayer
252-3100-00L
Computer Supported Cooperative Work
Number of participants limited to 18.
W
2 credits
2S
M. Norrie
263-3200-00L
Advanced Topics in Information Retrieval and Natural Language Processing
W
2 credits
2S
T. Hofmann
,
C. Eickhoff
Focus Courses in Software Engineering
Focus Core Courses Software Engineering
Number
Title
Type
ECTS
Hours
Lecturers
263-2910-00L
Program Analysis and Synthesis
W
6 credits
3V + 2U
M. Vechev
Focus Elective Courses Software Engineering
Number
Title
Type
ECTS
Hours
Lecturers
263-2300-00L
How To Write Fast Numerical Code
Prerequisite: Master student, solid C programming skills.
W
6 credits
3V + 2U
M. Püschel
263-2810-00L
Advanced Compiler Design
W
7 credits
3V + 2U + 1A
T. Gross
Seminar in Software Engineering
Number
Title
Type
ECTS
Hours
Lecturers
263-2100-00L
Research Topics in Software Engineering
W
2 credits
2S
M. Vechev
Focus Courses in Theoretical Computer Science
Focus Core Courses Theoretical Computer Science
Number
Title
Type
ECTS
Hours
Lecturers
252-0407-00L
Cryptography Foundations
W
7 credits
3V + 2U + 1A
U. Maurer
252-0491-00L
Satisfiability of Boolean Formulas - Combinatorics and Algorithms
Takes place for the last time in spring 2016.
W
7 credits
3V + 2U + 1A
E. Welzl
Focus Elective Courses Theoretical Computer Science
Number
Title
Type
ECTS
Hours
Lecturers
252-1403-00L
Introduction to Quantum Information Processing
W
3 credits
2G
S. Wolf
252-1424-00L
Models of Computation
W
6 credits
2V + 2U + 1A
M. Cook
401-3052-05L
Graph Theory
W
5 credits
2V + 1U
B. Sudakov
401-3903-11L
Geometric Integer Programming
W
6 credits
2V + 1U
R. Weismantel
401-3908-09L
Polyhedral Computation
W
6 credits
2V + 1U
K. Fukuda
401-4904-00L
Combinatorial Optimization
W
6 credits
2V + 1U
R. Zenklusen
252-0408-00L
Cryptographic Protocols
Does not take place this semester.
W
5 credits
2V + 2U
U. Maurer
Page 2 of 4
All