WS 2016/17: Universität zu Lübeck

CS4501 Algorithmik, Logik und Komplexität

WS 2016/17 nur Teil 2:

Seminar Algorithmik, Logik und Komplexität

CS4502 Parallele und verteilte Systeme

WS 2016/17 nur Teil 2:

Seminar oder Projekt

CS4503 Ambient Computing und Anwendungen

WS 2016/17 nur Teil 2:

Projekt Ambient Computing

CS4504 Cyber Physical Systems

Dieses Vertiefungsmodul kann derzeit nicht belegt werden, weil das Teilmodul CS5153 T Drahtlose Sensornetze nicht angeboten werden kann.

CS4505 Systemarchitektur

Dieses Vertiefungsmodul kann derzeit nicht belegt werden, weil nicht sichergestellt ist, dass das Teilmodul CS4505 T Systemarchitekturen für Multimedia im SS17 angeboten wird.

CS4506 Sicherheit von Daten und Kommunikation

WS 2016/17:

CS4211: Modellierung und Analyse von Sicherheitseigenschaften

SS 2017:

CS4210 Kryptographische Protokolle

CS4507 Softwareverifikation

WS 2016/17:

CS4138 Model Checking

SS 2017:

CS4139 Runtime Verification und Testen

CS4508 Datenmanagement

WS 2016/17:

CS5140 Semantic We
CS4140 Mobile und verteilte Datenbanken
Seminar oder Projekt Datenmangement

CS4509 Internet-Technologien

WS 2016/17:

CS5158 Advanced Internet Technologies

SS 2017:

CS4151 Systemarchitekturen für verteilte Anwendungen
Projekt Internet-Technologien

CS4510 Signalanalyse

Das Vertiefungsmodul kann im WS 2016/17 nicht angeboten werden.

CS4511 Lernende Systeme

WS 2016/17:

CS5450 Maschinelles Lernen

SS 2017:

CS4405 Neuroinformatik
CS5430 Seminar Maschinelles Lernen

Für Informatik-Studierende mit dem Anwendungsfach Bioinformatik wird die Lehrveranstaltung CS4405 Neuroinformatik ersetzt durch die Lehrveranstaltung CS5204 Künstliche Intelligenz 2 im Wintersemester 2016/17.