Course Catalogue
Print
Help
Contact
de
Courses
Lecturers
Time and Place
Search
Search result: Course units in Spring Semester 2017
Page 1 of 3
All
Course units
Catalogue data
Courses
Certificate of Advanced Studies in Computer Science
Compulsory Major Courses
Neither credits can be obtained from entrance exams nor credited to the Certificate programme.
Focus Courses and Electives
Number
Title
Type
ECTS
Hours
Lecturers
252-0312-00L
Ubiquitous Computing
W
3 credits
2V
F. Mattern
,
S. Mayer
252-0355-00L
Object Databases
W
4 credits
2V + 1U
A. K. de Spindler
252-0374-00L
Web Engineering
The course will be offered for the last time.
W
6 credits
2V + 2U + 1A
M. Norrie
252-0408-00L
Cryptographic Protocols
W
5 credits
2V + 2U
M. Hirt
252-0526-00L
Statistical Learning Theory
W
6 credits
2V + 3P
J. M. Buhmann
252-0538-00L
Shape Modeling and Geometry Processing
W
5 credits
2V + 1U + 1A
O. Sorkine Hornung
252-0579-00L
3D Vision
W
4 credits
3G
A. Geiger
,
T. Sattler
252-0820-00L
Case Studies from Practice
W
4 credits
2V + 1U
M. Brandis
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
252-3005-00L
Natural Language Understanding
W
4 credits
2V + 1U
T. Hofmann
,
M. Ciaramita
252-5706-00L
Mathematical Foundations of Computer Graphics and Vision
W
4 credits
2V + 1U
M. R. Oswald
,
C. Öztireli
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
M. Püschel
263-2812-00L
Program Verification
Number of participants limited to 30.
W
4 credits
2V + 1U
A. J. Summers
263-2910-00L
Program Analysis and Synthesis
W
6 credits
3V + 2U
M. Vechev
263-3501-00L
Advanced Computer Networks
W
5 credits
2V + 2U
A. Singla
,
P. M. Stüdi
263-3700-00L
User Interface Engineering
W
4 credits
2V + 1U
O. Hilliges
,
F. Pece
263-4310-00L
Linear Algebra Methods in Combinatorics
W
5 credits
2V + 2U
P. Penna
263-4312-00L
Advanced Data Structures
W
5 credits
2V + 2U
P. Uznanski
263-4600-00L
Formal Methods for Information Security
W
4 credits
2V + 1U
R. Sasse
,
C. Sprenger
Page 1 of 3
All