Computer Science

NameCourse TypeNameCreditsID
Funktionale Sicherheit und Systemzuverlässigkeit () Vorlesung/ÜbungFunktionale Sicherheit und Systemzuverlässigkeit6449684
Business Process Intelligence () VorlesungBusiness Process Intelligence6449778
() ÜbungBusiness Process Intelligence0449712
Logikprogrammierung () VorlesungLogikprogrammierung6454728
() ÜbungLogikprogrammierung0454727
Model Checking () VorlesungIntroduction to Model Checking6455138
() ÜbungIntroduction to Model Checking0455137
Mobile Internet Technology () Vorlesung/ÜbungMobile Internet Technology6449592
Geometrieverarbeitung () VorlesungGeometrieverarbeitung6448685
() ÜbungGeometrieverarbeitung0449088
Software-Projektmanagement () VorlesungSoftware-Projektmanagement4447677
() ÜbungSoftware-Projektmanagement0448463
Software-Qualitätssicherung () VorlesungSoftware-Qualitätssicherung6448188
() ÜbungSoftware-Qualitätssicherung0449782
Planungs-, Steuerungs-, Informations- und Kommunikationssysteme für den öffentlichen Verkehr () VorlesungInformationsmanagement für öffentliche Mobilitätsangebote6456400
Online Algorithmen () VorlesungVorlesung Online Algorithmen6455712
Computer Vision () Vorlesung/ÜbungComputer Vision6447211
Advanced Methods in Automatic Speech Recognition () Vorlesung/ÜbungAdvanced Methods in Automatic Speech Recognition6455613
IT-Sicherheit 2 - Computer Security () Vorlesung/ÜbungIT-Sicherheit 26450450
Current Topics in Media Computing and HCI () Vorlesung/ÜbungCurrent Topics in Media Computing and HCI6449666
Advanced Machine Learning () VorlesungAdvanced Machine Learning6450225
Wissensrepräsentation () Vorlesung/ÜbungIntroduction to Knowledge Representation6455352
Graphzerlegungen und algorithmische Anwendungen () VorlesungGraph Decompositions and Algorithmic Applications6455435
() ÜbungGraph Decompositions and Algorithmic Applications (Übung)0455436
Eingebettete Systeme () Vorlesung/ÜbungEinführung in eingebettete Systeme6449609
() Vorlesung/ÜbungEmbedded Systems (International Academy)450568
Designing Interactive Systems II () Vorlesung/ÜbungDesigning Interactive Systems II6449723
Combinatorial Problems in Scientific Computing () Vorlesung/ÜbungKombinatorische Probleme im Wissenschaftlichen Rechnen449562
() Vorlesung/ÜbungKombinatorische Probleme im Wissenschaftlichen Rechnen0449562
Leistungs- und Korrektheitsanalyse paralleler Programme () Vorlesung/ÜbungLeistungs- und Korrektheitsanalyse paralleler Programme448641
Prozesse und Methoden beim Testen von Software () VorlesungProzesse und Methoden beim Testen von Software3446690
CSCW and Groupware: Concepts and Systems for Computer Supported Cooperative Work () Vorlesung/ÜbungCSCW und Groupware: Konzepte und Systeme zur computergestützten Zusammenarbeit4449736
Distributed Ledger Technology () Vorlesung/ÜbungDistributed Ledger Technology455843
Datenstrommanagement und -analyse () Vorlesung/ÜbungDatenstrommanagement und -analyse455603
Physikalische Simulation im Visual Computing () Vorlesung/ÜbungPhysikalische Simulation im Visual Computing0467730
Fixpoints and Induction in Logic and Computer Science () ÜbungFixpoints and Induction in Logic and Computer Science0455741
() VorlesungFixpoints and Induction in Logic and Computer Science455732
Reinforcement Learning and Learning-based Control () VorlesungReinforcement Learning and Learning-based Control455192
() ÜbungReinforcement Learning and Learning-based Control455193