Vorlesungsverzeichnis
Print
Hilfe
Kontakt
en
Lehrangebot
Dozierende
Zeit und Ort
Suche
Suchergebnis: Lerneinheiten im Frühjahrssemester 2016
Seite 2 von 3
Alle
Lerneinheiten
Katalogdaten
Lehrveranstaltungen
Informatik Master
Vertiefungsfächer
Vertiefung in Information Systems
Wahlfächer der Vertiefung in Information Systems
Nummer
Titel
Typ
ECTS
Umfang
Dozierende
252-0355-00L
Object Databases
W
4 KP
2V + 1U
A. K. de Spindler
252-0807-00L
Information Systems Laboratory
Maximale Teilnehmerzahl: 16
Im Masterstudium können zusätzlich zu den Vertiefungsübergreifenden Fächern nur max. 10 Kreditpunkte über Laboratorien erarbeitet werden. Weitere Laboratorien werden auf dem Beiblatt aufgeführt.
W
10 KP
9P
M. Norrie
252-3005-00L
Introduction to Natural Language Processing
W
4 KP
2V + 1U
T. Hofmann
,
M. Ciaramita
Seminar in Information Systems
Nummer
Titel
Typ
ECTS
Umfang
Dozierende
252-3002-00L
Algorithms for Database Systems
Limited number of participants.
W
2 KP
2S
P. Widmayer
252-3100-00L
Computer Supported Cooperative Work
Maximale Teilnehmerzahl: 18
W
2 KP
2S
M. Norrie
263-3200-00L
Advanced Topics in Information Retrieval and Natural Language Processing
W
2 KP
2S
T. Hofmann
,
C. Eickhoff
Vertiefung in Software Engineering
Kernfächer der Vertiefung in Software Engineering
Nummer
Titel
Typ
ECTS
Umfang
Dozierende
263-2910-00L
Program Analysis and Synthesis
W
6 KP
3V + 2U
M. Vechev
Wahlfächer der Vertiefung in Software Engineering
Nummer
Titel
Typ
ECTS
Umfang
Dozierende
263-2300-00L
How To Write Fast Numerical Code
Prerequisite: Master student, solid C programming skills.
W
6 KP
3V + 2U
M. Püschel
263-2810-00L
Advanced Compiler Design
W
7 KP
3V + 2U + 1A
T. Gross
Seminar in Software Engineering
Nummer
Titel
Typ
ECTS
Umfang
Dozierende
263-2100-00L
Research Topics in Software Engineering
W
2 KP
2S
M. Vechev
Vertiefung in Theoretical Computer Science
Kernfächer der Vertiefung in Theoretical Computer Science
Nummer
Titel
Typ
ECTS
Umfang
Dozierende
252-0407-00L
Cryptography Foundations
W
7 KP
3V + 2U + 1A
U. Maurer
252-0491-00L
Satisfiability of Boolean Formulas - Combinatorics and Algorithms
Findet im Frühjahrssemester 2016 zum letzten Mal statt.
W
7 KP
3V + 2U + 1A
E. Welzl
Wahlfächer der Vertiefung in Theoretical Computer Science
Nummer
Titel
Typ
ECTS
Umfang
Dozierende
252-1403-00L
Einführung in die Quanteninformatik
W
3 KP
2G
S. Wolf
252-1424-00L
Models of Computation
W
6 KP
2V + 2U + 1A
M. Cook
401-3052-05L
Graph Theory
W
5 KP
2V + 1U
B. Sudakov
401-3903-11L
Geometric Integer Programming
W
6 KP
2V + 1U
R. Weismantel
401-3908-09L
Polyhedral Computation
W
6 KP
2V + 1U
K. Fukuda
401-4904-00L
Combinatorial Optimization
W
6 KP
2V + 1U
R. Zenklusen
252-0408-00L
Cryptographic Protocols
Findet dieses Semester nicht statt.
W
5 KP
2V + 2U
U. Maurer
Seminar in Theoretical Computer Science
Nummer
Titel
Typ
ECTS
Umfang
Dozierende
252-3002-00L
Algorithms for Database Systems
Limited number of participants.
W
2 KP
2S
P. Widmayer
Seite 2 von 3
Alle