Hauptinhalt

Dieser Eintrag ist aus dem Wintersemester 2019/20 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)
• Algorithm Engineering (Vertiefungsmodul, 9 LP)
• Berechenbarkeit und Beweisbarkeit (Vertiefungsmodul, 9 LP)
• Bildsynthese (Vertiefungsmodul, 9 LP)
• Compilerbau (Vertiefungsmodul, 9 LP)
• Datenbionik (Vertiefungsmodul, 9 LP)
• Datenbionik / Data Science (Vertiefungsmodul, 9 LP)
• Formale Methoden (Vertiefungsmodul, 9 LP)
• Formale Methoden in der Softwaretechnik (Vertiefungsmodul, 9 LP)
• Formale Sprachen und Automatentheorie (Vertiefungsmodul, 9 LP)
• Großes Vertiefungsmodul Bioinformatik (Vertiefungsmodul, 9 LP)
• Großes Vertiefungsmodul Datenbanksysteme (Vertiefungsmodul, 9 LP)
• Großes Vertiefungsmodul Grafik und Multimedia (Vertiefungsmodul, 9 LP)
• Großes Vertiefungsmodul Programmiersprachen und -werkzeuge (Vertiefungsmodul, 9 LP)
• Großes Vertiefungsmodul Softwaretechnik (Vertiefungsmodul, 9 LP)
• Großes Vertiefungsmodul Supervised Learning (Vertiefungsmodul, 9 LP)
• Großes Vertiefungsmodul Theoretische Informatik (Vertiefungsmodul, 9 LP)
• Großes Vertiefungsmodul Unsupervised Learning (Vertiefungsmodul, 9 LP)
• Großes Vertiefungsmodul Verteilte Systeme (Vertiefungsmodul, 9 LP)
• Höhere Algorithmik (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 2019/20 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.