Computer Science Electives

Columns (5/10)

40 of 40 courses

High-Performance ComputingEinführung in High-Performance Computing Vorlesung/Übung×15Mo 12:30-14:00AH V (2356|050)×14Di 14:30-16:00AH IV (2354|030)
Introduction to Algorithmic DifferentiationEinführung in Computational Differentiation Fach-/Modulprüfung6Fr 26.02.2027 14:30-16:30TEMP1 (1515|001), Großer Hörsaal AM (1420|210)Do 25.03.2027 16:30-18:30Großer Hörsaal AM (1420|210)
Einführung in Algorithmisches Differenzieren Vorlesung/Übung6×15Mo 14:30-16:00AH III (2350|314.1)×15Mi 12:30-14:00AH III (2350|314.1)×15Do 08:30-10:00MetP11 (2181|102)
iOS Application DevelopmentiOS Application Development Vorlesung6×10Mo 12:30-14:00Extern×14Di 10:00-11:30Extern
iOS Application Development Fach-/Modulprüfung6Mi 10.02.2027 12:00-13:00H09 (1385|220), B201 (3011|201)Fr 12.03.2027 12:00-13:00B037 (3011|037)
Model CheckingIntroduction to Model Checking Vorlesung6×15Mi 14:30-16:00AH I (2350|028)×15Do 16:30-18:00AH I (2350|028)
Introduction to Model Checking Übung0×15Fr 12:30-14:00AH I (2350|028)
Semantik und Verifikation von SoftwareSemantik und Verifikation von Software Vorlesung6×14Mi 10:30-12:00AH I (2350|028)×14Do 14:30-16:00AH II (2350|111)
Semantik und Verifikation von Software Übung0×15Fr 14:30-16:00AH I (2350|028)
Research Focus Class on Communication SystemsResearch Focus Class on Safer Grid Vorlesung/Übung6
Communication Systems EngineeringCommunication Systems Engineering Vorlesung/Übung6×12Mo 10:30-12:00AH III (2350|314.1)×14Do 10:30-12:00AH I (2350|028)×13Fr 10:30-12:00AH I (2350|028)
Advanced Network SecurityAdvanced Network Security Vorlesung/Übung×14Di 12:30-14:00EA (1270|109)×15Do 08:30-10:00EA (1270|109)
Dynamical Processes on NetworksDynamical Processes on Networks Fach-/Modulprüfung6Fr 12.02.2027 14:30-16:00Eph (1090|321)Do 11.03.2027 12:00-13:30PPS H2 (2315|001)
Dynamical Processes On Networks (Übungen) Übung0×15Do 10:30-12:00OC Hörsaal (2030|015)
Dynamical Processes on Networks Vorlesung×14Mo 12:30-14:00AH VI (2356|051)×13Di 16:30-18:00AH VI (2356|051)
Industrial Network SecurityIndustrial Network Security (Vorlesung) Vorlesung×14Di 10:30-12:00AH II (2350|111)×15Fr 12:30-14:00AH II (2350|111)
Industrial Network Security (Übung) Übung0×8Mi 10:30-12:00AH II (2350|111)
Infinite Computations and GamesInfinite Computations and Games Vorlesung6×15Mo 10:30-12:005056 (2356|056)×15Mi 10:30-12:005056 (2356|056)
Infinite Computations and Games Übung0×15Do 12:30-14:005054 (2356|054)
ErfüllbarkeitsüberprüfungErfüllbarkeitsüberprüfung Vorlesung/Übung×15Mo 10:30-12:00AH V (2356|050)×15Mi 14:30-16:00AH V (2356|050)×15Fr 14:30-15:155056 (2356|056)
Model-based Systems EngineeringModel-based Systems Engineering Vorlesung/Übung×14Di 10:30-12:00AH VI (2356|051)×15Mi 12:30-14:00AH V (2356|050)×15Do 10:30-12:00AH II (2350|111)
Model-based Systems Engineering Fach-/Modulprüfung6Mi 10.02.2027 09:00-11:00PPS H2 (2315|001), AH V (2356|050), PPS H1 (2315|101), MetP11 (2181|102), BS II (2131|102), BS 218 (2130|218), AH VI (2356|051), Aula 2 (2352|021), IPC Hörsaal (2400|U101), BS I (2131|101)Di 09.03.2027 14:00-16:00PPS H2 (2315|001), PPS H1 (2315|101), BS II (2131|102), Aula 2 (2352|021), BS I (2131|101)
Theorie der Graphen- und NetzwerkoptimierungTheorie der Graphen- und Netzwerkoptimierung Übung0×14Do 14:30-16:00S02 (1385|202)
Theorie der Graphen- und Netzwerkoptimierung Vorlesung×12Di 08:15-10:00AH V (2356|050)×1Di 08:30-10:00AH V (2356|050)×13Fr 08:15-10:00AH V (2356|050)×1Fr 08:30-10:00AH I (2350|028)×1Fr 08:30-10:00AH V (2356|050)
Theorie der Graphen- und Netzwerkoptimierung: FlüsseTheorie der Graphen- und Netzwerkoptimierung Übung0×14Do 14:30-16:00S02 (1385|202)
Theorie der Graphen- und Netzwerkoptimierung Vorlesung×12Di 08:15-10:00AH V (2356|050)×1Di 08:30-10:00AH V (2356|050)×13Fr 08:15-10:00AH V (2356|050)×1Fr 08:30-10:00AH I (2350|028)×1Fr 08:30-10:00AH V (2356|050)
Theorie der Graphen- und Netzwerkoptimierung: Netzwerkdesign und StandortplanungTheorie der Graphen- und Netzwerkoptimierung Übung0×14Do 14:30-16:00S02 (1385|202)
Theorie der Graphen- und Netzwerkoptimierung Vorlesung×12Di 08:15-10:00AH V (2356|050)×1Di 08:30-10:00AH V (2356|050)×13Fr 08:15-10:00AH V (2356|050)×1Fr 08:30-10:00AH I (2350|028)×1Fr 08:30-10:00AH V (2356|050)
Research Focus Class Industrial Applications for LLM-driven Agentic SystemsResearch Focus Class Industrial Applications for LLM-driven Agentic Systems Projekt
KryptographieKryptographie Vorlesung/Übung×13Mo 12:00-14:00Extern×13Mo 14:00-16:00Extern×12Mi 12:00-14:00Extern
Probabilistic ProgrammingProbabilistische Programmierung Vorlesung6×15Mo 16:30-18:00AH II (2350|111)×15Do 12:30-14:00AH III (2350|314.1)
Probabilistische Programmierung Übung0×14Di 10:30-12:00AH I (2350|028)
CryptographyCryptography Fach-/Modulprüfung6Di 16.02.2027 14:00-15:30ZuseLab C1 (2315|107), ZuseLab C3 (2315|211), ZuseLab C4 (2315|201)Di 23.03.2027 09:00-10:30ZuseLab C1 (2315|107), ZuseLab C3 (2315|211)
Cryptography Vorlesung/Übung×15Mi 14:30-16:00AH III (2350|314.1)×15Do 10:30-12:00AH III (2350|314.1)×15Fr 14:30-16:00H06 (1385|004)
Advanced Topics in LogicAdvanced Topics in Logic Übung0×15Mi 16:30-18:00AH III (2350|314.1)
Advanced Topics in Logic Vorlesung×15Mo 10:30-12:00AH II (2350|111)×15Do 16:30-18:00AH II (2350|111)
Software ArchitectureSoftware Architecture Übung0×14Do 14:30-16:00III (1010|107)×1Do 14:30-16:00TEMP1 (1515|001)
Software Architecture Vorlesung×14Di 12:30-14:00AH VI (2356|051)×15Mi 14:30-16:00AH VI (2356|051)
Real-Time Operating Systems - Design and ImplementationReal-Time Operating Systems - Design and Implementation Übung0×14Mi 14:30-16:00t.b.d.
Real-Time Operating Systems - Design and Implementation Vorlesung×14Mi 12:30-14:00t.b.d.