Hauptinhalt
Dieser Eintrag ist aus dem Wintersemester 2016/17 und möglicherweise veraltet. Ein aktuelles Äquivalent finden Sie hier.
Exportangebot Informatik — Vertiefungsmodul (9 LP)
Liste der Exportmodule auf diesem Niveau:
- Abstrakte Datentypen – Universelle Algebra (Vertiefungsmodul, 9 LP)
- Berechenbarkeit und Beweisbarkeit (Vertiefungsmodul, 9 LP)
- Bildsynthese (Vertiefungsmodul, 9 LP)
- Compilerbau (Vertiefungsmodul, 9 LP)
- Datenbionik (Vertiefungsmodul, 9 LP)
- Formale Methoden (Vertiefungsmodul, 9 LP)
- Implementierung von Datenbanksystemen (Vertiefungsmodul, 9 LP)
- Modellgetriebene Softwareentwicklung (Vertiefungsmodul, 9 LP)
- Modellprüfung (Vertiefungsmodul, 9 LP)
- Moderne Methoden der Systementwicklung (Vertiefungsmodul, 9 LP)
- Moderne Methoden der theoretischen Informatik (Vertiefungsmodul, 9 LP)
- Multimediale Signalverarbeitung (Vertiefungsmodul, 9 LP)
- Parallele funktionale Programmierung (Vertiefungsmodul, 9 LP)
- Parallelverarbeitung (Vertiefungsmodul, 9 LP)
- Programmiersprachen und Typen (Vertiefungsmodul, 9 LP)
- Programmverifikation und -synthese (Vertiefungsmodul, 9 LP)
- Semantik von Programmiersprachen (Vertiefungsmodul, 9 LP)
- Zustandsbasierte Systeme (Vertiefungsmodul, 9 LP)
Bitte beachten Sie:
Diese Seite gilt für die im Wintersemester 2016/17 aktuellsten Prüfungsordnungen. Wenn Sie Ihr Studium nach einer früheren oder späteren Prüfungsordnung absolvieren, gelten gegebenenfalls andere Bestimmungen:
- WiSe 2016/17
- SoSe 2018
- WiSe 2018/19
- WiSe 2019/20
- WiSe 2020/21
- SoSe 2021
- WiSe 2021/22
- WiSe 2022/23
- WiSe 2023/24
Die Angaben im Online-Modulhandbuch wurden automatisch erstellt. Rechtsverbindlich sind die Angaben der Prüfungsordnung. Wenn Ihnen Unstimmigkeiten oder Fehler auffallen, sind wir für Hinweise dankbar.