Subsidiary Subject Informatics

NameCourse TypeNameCreditsID
Eingebettete Systeme () Vorlesung/ÜbungEinführung in eingebettete Systeme6473387
() Vorlesung/ÜbungEmbedded Systems (International Academy)474003
Wissensrepräsentation () Vorlesung/ÜbungIntroduction to Knowledge Representation6474266
The Graph Isomorphism Problem () VorlesungThe Graph Isomorphism Problem6481974
() ÜbungThe Graph Isomorphism Problem (Übung)0481975
Model Checking () VorlesungIntroduction to Model Checking6474525
() ÜbungIntroduction to Model Checking0474235
Software-Architekturen () ÜbungSoftware-Architekturen0472069
Geometrieverarbeitung () VorlesungGeometrieverarbeitung6471095
() ÜbungGeometrieverarbeitung0473435
Computer Vision () Vorlesung/ÜbungComputer Vision6472558
Data-Driven Methods for 3D Shape Analysis () VorlesungData driven Methods for 3D Shape Analysis471952
() ÜbungData driven Methods for 3D Shape Analysis0471953
Statistische Klassifikation und Maschinelles Lernen () VorlesungStatistische Klassifikation und Maschinelles Lernen0482222
() ÜbungStatistische Klassifikation und Maschinelles Lernen0482221
Fixpoints and Induction in Logic and Computer Science () ÜbungFixpoints and Induction in Logic and Computer Science0474260
() VorlesungFixpoints and Induction in Logic and Computer Science474372