Hauptinhalt
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:
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.