Navigation
Skiplinks
Zum Inhalt springen
Meta-Navigation
Technische Fakultät
Department Informatik
UnivIS
Lageplan
Suche
Webauftritt durchsuchen
Geben Sie hier den Suchbegriff ein, um in diesem Webauftritt zu suchen:
English
Deutsch
Hauptnavigation
Menu
Lehrstuhl
Aktuelles
Personal
Stellenangebote
Kontakt und Anfahrt
Portal Lehrstuhl
Forschung
Arbeitsgruppen
Projekte
Veröffentlichungen
Kooperationen
Portal Forschung
Lehre
Lehrveranstaltungen
Organisatorisches
Allgemeines
Portal Lehre
Breadcrumb
Startseite
/
Lehre
/
Lehrveranstaltungen
/
Lehre
Vorlesungen
Vorlesungen
Vorlesungen im Sommersemester 2020
Approximationsalgorithmen
Approximate Computing
Cyber-Physical Systems
Grundlagen der Technischen Informatik
Hardware-Software-Co-Design
Organic Computing
Parallele Systeme
Randomisierte Algorithmen
Security in Embedded Hardware
Verifikation digitaler Systeme
Vorlesungen im Wintersemester 2019/2020
Berechenbarkeit und Formale Sprachen
Cyber-Physical Systems
Domain-Specific and Resource-Aware Computing on Multicore Architectures
Effiziente kombinatorische Algorithmen
Eingebettete Systeme
Ereignisgesteuerte Systeme
Grundlagen der Technischen Informatik
Reconfigurable Computing
Theory of Communication in Parallel Systems (TCPS)
Verifikation digitaler Systeme
