Modulinformationssystem Informatik

Masterstudiengang Informatik (bis SS15)

Seminar Informatik Planung WS24/25 - SS25	ECTS
Inf-MS-Sem-FSV: Formale Softwareverifikation	4
Inf-MS-Sem-NumMath: Numerische Mathematik	4
Inf-MS-Sem-PS: Programmiersprachen und Programmiersysteme	4
Inf-MS-Sem-Sequenzen: Master Seminar - Algorithmik und Kombinatorik von Sequenzen	4
Inf-MS-Sem-TIKALK: Theoretische Informatik: Kryptographie, Automaten, Logiken, Komplexitätstheorie	4
Inf-MS-Sem-Theorie: Theoretische Informatik	4
MSS0201: Aktuelle Forschungsfragen der Informatik	4
MSS0202: Approximative Algorithmen	4
MSS0301: Funktionale Programmiertechniken	4
MSS0503: Seminar Datenbanksysteme	3
MSS0801: Communication Systems	4
MSS0901: Algorithmen der Bioinformatik	4
MSS1002: Masterseminar Empirical Methods in Software Engineering Research	4
MSS1004: Masterseminar - Software Performance Engineering	4
MSS1101: Masterseminar Echtzeitsysteme / Eingebettete Systeme	4
MSS1201: Robot Vision	4
MSS1301: Numerische Mathematik und Optimierung	4
MSS1401: Oberseminar Diskrete Mathematik (FS: Algorithmen, Kombinatorik, Komplexität)	4
MSS1402: Seminar Diskrete Mathematik	4
WInf-WissArbSem: Wissenschaftliches Arbeiten für Seminar und Abschlussarbeiten	2