Vorlesungsverzeichnis (WiSe 2016/17)


Seitenansicht wählen: kurz mittel lang

Vorlesungsverzeichnis

Mathematisch-Naturwissenschaftliche Fakultät

Institut für Biochemie und Biologie

Master of Science

Bioinformatik (Prüfungsversion ab WiSe 2008/09 und WiSe 2010/11)

Wahlpflichtmodule

Ausgewählte Methoden und Techniken der Systembiologie und Informatik

	Veranstaltungsart	Titel der Veranstaltung

	Vorlesung/Übung	Ausgewählte Methoden und Techniken der Systembiologie und Informatik	belegen/abmelden
550311	Vorlesung	Theoretische Informatik I: Modellierungskonzepte - Automaten und formale Sprachen	belegen/abmelden
550321	Übung	Theoretische Informatik I: Modellierungskonzepte - Automaten und formale Sprachen	belegen/abmelden
550331	Tutorium	Theoretische Informatik I: Modellierungskonzepte - Automaten und formale Sprachen	belegen/abmelden
550811	Vorlesung	Principles of Data- and Knowledge-Base Systems	belegen/abmelden
550821	Übung	Principles of Data- and Knowledge-Base Systems	belegen/abmelden
550831	Praktikum	Principles of Data- and Knowledge-Base Systems	belegen/abmelden
550911	Vorlesung	Software Engineering I	belegen/abmelden
550921	Übung	Software Engineering I	belegen/abmelden
550931	Projekt	Software Engineering I	belegen/abmelden
551311	Vorlesung	Intelligente Datenanalyse 2	belegen/abmelden
551321	Übung	Intelligente Datenanalyse 2	belegen/abmelden
551611	Vorlesung	Multimedia-Technologie	belegen/abmelden
551621	Übung	Multimedia-Technologie	belegen/abmelden
551711	Vorlesung	Compiler und Programmtransformation	belegen/abmelden
551711	Vorlesung	Secure Information Flow	belegen/abmelden
551721	Übung	Compiler und Programmtransformation	belegen/abmelden
551721	Übung	Secure Information Flow	belegen/abmelden
551911	Vorlesung	Hardware/Software-Codesign	belegen/abmelden
551921	Praktikum	Hardware/Software-Codesign	belegen/abmelden
552231	Seminar	Agent-technology	belegen/abmelden
552241	Praktikum	Agent-technology	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
553211	Vorlesung/Übung	Leistungsanalyse: Messen, Modellieren, Simulation	belegen/abmelden
553211	Projekt	Leistungsanalyse: Messen, Modellieren, Simulation	belegen/abmelden
554111	Vorlesung	Zuverlässigkeit und Fehlertoleranz	belegen/abmelden
554121	Übung	Zuverlässigkeit und Fehlertoleranz	belegen/abmelden
554511	Vorlesung	Automatisierte Logik und Programmierung: Formale Kalküle und Beweissysteme	belegen/abmelden
554521	Übung	Automatisierte Logik und Programmierung: Formale Kalküle und Beweissysteme	belegen/abmelden
554731	Seminar	Cognitive technologies	belegen/abmelden
554741	Praktikum	Cognitive technologies	belegen/abmelden
554911	Vorlesung	Declarative Modeling	belegen/abmelden
554921	Übung	Declarative Modeling	belegen/abmelden
554941	Praktikum	Declarative Modeling	belegen/abmelden
555011	Vorlesung	Didaktik der Informatik II	belegen/abmelden
555021	Übung	Didaktik der Informatik II	belegen/abmelden
555111	Projekt	Advanced Solver Construction	belegen/abmelden
555111	Projekt	Maschinelles Lernen zur naturwissenschaftlichen Modellbildung	belegen/abmelden
555111	Projekt	Neuronale Netze für die Sprachverarbeitung	belegen/abmelden
556311	Projekt	Advanced Agent Technology	belegen/abmelden