Informatik (Computer Science)

Name	Course Type	Name	Credits	ID
Statistische Klassifikation und Maschinelles Lernen	() Vorlesung	Statistische Klassifikation und Maschinelles Lernen	0	482222
Statistische Klassifikation und Maschinelles Lernen	() Übung	Statistische Klassifikation und Maschinelles Lernen	0	482221
Advanced Machine Learning	() Vorlesung	Advanced Machine Learning	6	473074
Computer Vision	() Vorlesung/Übung	Computer Vision	6	472558
Semantik und Verifikation von Software	() Vorlesung	Semantik und Verifikation von Software	6	481432
Semantik und Verifikation von Software	() Übung	Semantik und Verifikation von Software	0	481431
Model Checking	() Vorlesung	Introduction to Model Checking	6	474525
Model Checking	() Übung	Introduction to Model Checking	0	474235
Formale Systeme, Automaten, Prozesse	() Vorlesung	Formale Systeme, Automaten, Prozesse	6	470971
	() Tutorium	Formale Systeme, Automaten, Prozesse - Tutorium	0	471245
	() Übung	Formale Systeme, Automaten, Prozesse (Globalübung)	0	473798
Quantum Computing	() Vorlesung	Quanten-Computing		481713
Reinforcement Learning and Learning-based Control	() Vorlesung	Reinforcement Learning and Learning-based Control		474435
Reinforcement Learning and Learning-based Control	() Übung	Reinforcement Learning and Learning-based Control		474486