Vorlesungsverzeichnis (WiSe 2019/20)


Seitenansicht wählen: kurz mittel lang

Vorlesungsverzeichnis

Mathematisch-Naturwissenschaftliche Fakultät

Institut für Informatik und Computational Science

Master of Science

Informatik (Prüfungsversion ab WiSe 2008/09)

Veranstaltungen

	Veranstaltungsart	Titel der Veranstaltung

551321	Vorlesung/Übung	Maschinelles Lernen & Intelligente Datenanalyse II	belegen/abmelden
551711	Vorlesung	Statische Programmanalyse	belegen/abmelden
551921	Vorlesung/Übung	Codierungstheorie	belegen/abmelden
551921	Vorlesung/Übung	Einführung in Hardware- und Systembeschreibungssprachen	belegen/abmelden
552121	Vorlesung/Übung	Kryptographie und Komplexität	belegen/abmelden
552911	Vorlesung	Naturwissenschaftlich motivierte formale Modelle	belegen/abmelden
552921	Übung	Naturwissenschaftlich motivierte formale Modelle	belegen/abmelden
553011	Vorlesung	Declarative Problem Solving and Optimization	belegen/abmelden
553021	Übung	Declarative Problem Solving and Optimization	belegen/abmelden
553031	Praktikum	Declarative Problem Solving and Optimization	belegen/abmelden
553521	Vorlesung/Übung	Service-Orientierte Architekturen	belegen/abmelden
554731	Seminar	Cognitive technologies	belegen/abmelden
554741	Praktikum	Cognitive technologies	belegen/abmelden
554921	Vorlesung/Übung	Declarative Modeling	belegen/abmelden
554941	Praktikum	Declarative Modeling	belegen/abmelden
555021	Vorlesung/Übung	Didaktik der Informatik II	belegen/abmelden
555111	Projekt	Advanced Solver Construction	belegen/abmelden
555111	Projekt	Extensive Logistics Technology	belegen/abmelden
555111	Projekt	Interoperability in the IoT	belegen/abmelden
555211	Seminar	Automotiv, Fahrassistenz und Selbstfahrer	belegen/abmelden
555211	Forschungsseminar	Cluster Computing	belegen/abmelden
555211	Seminar	Computer Grafik/Computer Vision	belegen/abmelden
555211	Oberseminar	Fehlertolerantes Rechnen	belegen/abmelden
555211	Seminar	Humanwissenschaftliche Informatilk	belegen/abmelden
555211	Forschungsseminar	Knowledge-based Systems	belegen/abmelden
555211	Forschungsseminar	Knowledge Representation and Reasoning	belegen/abmelden
555211	Forschungsseminar	Komplexe Multimediale Anwendungsarchitekturen	belegen/abmelden
555211	Oberseminar	Lehrstuhlkolloquium I - Diplomanden- und Doktorandenseminar - Didaktik der Informatik	belegen/abmelden
555211	Forschungsseminar	Software Engineering	belegen/abmelden
555211	Oberseminar	Theorie-Kolloquium	belegen/abmelden
555611	Oberseminar	Cartesisches Seminar	belegen/abmelden
555911	Vorlesung	Advanced Problem Solving Techniques	belegen/abmelden
555912	Übung	Advanced Problem Solving Techniques	belegen/abmelden
555913	Praktikum	Advanced Problem Solving Techniques	belegen/abmelden
555914	Projekt	Advanced Problem Solving Techniques	belegen/abmelden
556111	Seminar	Current Topics in Computational Intelligence	belegen/abmelden
	Projekt	Advanced Logistics Technology	belegen/abmelden
	Seminar	Algorithmen für Gruppenformation	belegen/abmelden