Studiengänge Informatik
Modulübersicht: Masterstudiengang Informatik
Zurück zur Hauptseite
Vorlesungen:
MS0101: Kryptographie
MS0102: Automaten, Logiken, Spiele
MS0103: Kryptographie (I - Vertraulichkeit)
MS0104: Kryptographie (II - Authentizität)
MS0105: Angewandte Logik
MS0201: Approximative Algorithmen
MS0202: Effiziente Algorithmen
MS0301: Prinzipien von Programmiersprachen
MS0302: Übersetzerbau
MS0303: Deklarative Programmiersprachen
MS0304: Funktionale Programmierung
MS0305: Logikprogrammierung
MS0306: Nebenläufige und verteilte Programmierung
MS0309: Softwaretechnik zum Zertifizieren von Systemen
MS0402: Ordnungen und Verbände
MS0403: Relationale Methoden in der Informatik
MS0502: Content Management Systeme
MS0503: Intelligent Information Systems
MS0505: Datenbanktheorie
MS0506: Verteilte Informationssysteme
MS0507: Künstliche Intelligenz
MS0508: Fuzzy - Methoden
MS0509: Pattern-based information systems development
MS0601: Computer Graphik
MS0602: Multimediale Signalverarbeitung
MS0603: 3D-Rekonstruktion
MS0701: eCommerce
MS0702: Generative Software Entwicklung
MS0703: Qualitätssicherungsmanagement
MS0802: Computer Networks
MS0803: XML in Communication Systems
MS0901: Parallele Algorithmen und Architekturen
MS0902: FPGA-Entwurf mit VHDL
MS1001: Nebenläufiges Programmieren
MS1002: Verifikation nebenläufiger Programme
MS1003: Verteilte Algorithmen
MS1004: Software Engineering für parallele und verteilte Systeme
MS1101: Modellbasierter Entwurf und Verteilte Echtzeitsysteme
MS1102: Synchrone Sprachen
MS1103: Entwurf eingebetteter Echtzeitsysteme
MS1201: Signaltheoretische Grundlagen der Bildverarbeitung
MS1202: Stochastische, topologische und geometrische Grundlagen von Computer Vision
MS1203: Einführung in die Neuroinformatik
MS1204: Geometrische Modellierung in Robot Vision
MS1205: Autonome Robotersysteme
MS1206: Statistische Bildanalyse
MS1301: Iterative Verfahren für große Gleichungssysteme
MS1302: Numerik nicht-lokaler Operatoren
MS1303: Numerische Verfahren für Differentialgleichungen
MS1403: Kombinatorische Optimierung - Approximation und Randomisierung
MS1404: Probabilistische Kombinatorik
MS1601: Klimamodelle und Klimasimulationen 2
MS1602: Optimale Steuerung
MS1603: Klimamodelle und Klimasimulationen
MS1604: Nichtlineare Gleichungssysteme und Optimierungsaufgaben
MS2001: Academic Writing
MS2002: Datenschutz: Recht und Technik
MSS0501: Collaboration and Integration of Information Systems
WInf-ModIS: Modellierung von Informationssystemen
WInf-SoftArch: Softwarearchitektur
Projekte:
MSP0201: Fortgeschrittenenpraktikum Effiziente Algorithmen
MSP0301: Verteilte Echtzeit-Programmierung
MSP0302: Moderne Programmiersprachen
MSP0601: Vertiefende Übung Visuelle Modellierung
MSP0801: Communication Systems
MSP1001: Masterpraktikum Software Engineering für parallele und verteilte Systeme
MSP1101: Echtzeitsysteme / Eingebettete Systeme
MSP1201: Visuelle Robotik
MSP1601: Algorithmische Optimale Steuerung/Klimasimulation
Seminare:
MSS0201: Theoretische Informatik
MSS0202: Approximative Algorithmen
MSS0301: Funktionale Programmiertechniken
MSS0302: Programmiersprachen und Programmiersysteme
MSS0303: Masterabschlusseminar Programmiersprachen
MSS0502: Information Systems Applications
MSS0503: Seminar Datenbanksysteme
MSS0504: Oberseminar Technologie der Informationssysteme
MSS0601: Visuelle Modellierung
MSS0602: Oberseminar Multimediale Informationsverarbeitung
MSS0801: Communication Systems
MSS0901: Algorithmen der Bioinformatik
MSS1001: Seminar Software-Architekturen
MSS1002: Seminar Empirical Methods in Software Engineering Research
MSS1004: Masterseminar - Software Performance Engineering
MSS1101: Echtzeitsysteme / Eingebettete Systeme
MSS1201: Robot Vision
MSS1301: Numerische Mathematik und Optimierung
MSS1401: Fortgeschrittenenseminar Algorithmen, Kombinatorik, Komplexität
MSS1402: Seminar Diskrete Mathematik
MSS1403: Masterabschlussseminar Software Engineering
MSS1404: Masterabschlussseminar Diskrete Optimierung
Zurück zur Hauptseite
This web page is powered by
(contact
Michael Hanus
in case of technical problems)