Sommersemester 2018 - Überblick

Version vom 19.06.2018



Lehrveranstaltung
englischer Titel
Module
SWS
Sprache
Dozent
Institut
Lehrstuhl
Academic Skills in Computer Science
-
INF-04-FG-SWT, INF-AQUA, INF-B-510, INF-B-520, INF-B-530, INF-B-540, INF-BAS3, INF-VERT3, MCL-CS
2/2/0
english
Prof. Hölldobler
KI
Wissensverarbeitung
Academic Skills in Software Engineering
-
DSE-14-E13, INF-04-FG-SWT, INF-AQUA, INF-B-510, INF-B-520, INF-B-530, INF-B-540, INF-BAS3, INF-VERT3
3/1/0
english
Dr. Götz
SMT
Softwaretechnologie
Advanced Logics
-
INF-04-FG-IS, INF-04-FG-TP, INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-AL
4/2/0
english
Prof. Baier
THI
Algebraische und logische Grundlagen der Informatik
Advanced User Interfaces
-
INF-B-510, INF-B-520, INF-B-530, INF-B-540, INF-PM-ANW, INF-PM-FOR, INF-VERT3, INF-VMI-10, INF-VMI-4, MA-HPSTS-12, MINF-04-FG-EMW, MINF-04-FG-MTGW
2/2/0
deutsch, english
Prof. Dachselt
SMT
Multimedia-Technologie
Anwendungsforschung Datenschutz und Datensicherheit - Praktika und Projektarbeiten
-
INF-PM-FPA
8P/PB
deutsch, english
Prof. Strufe
SYA
Datenschutz und Datensicherheit
Automotive Software Engineering
-
INF-04-FG-SWT, INF-B-510, INF-B-520, INF-B-530, INF-B-540, INF-BAS3, INF-BI-4, INF-VERT3, IST-05-FG-SWT, MINF-04-FG-EMW
2/0/0
deutsch
Dr.-Ing. Conrad
SMT
Softwaretechnologie
Big Data Platforms
-
INF-04-FG-AVS, INF-B-510, INF-B-520, INF-B-530, INF-B-540, INF-BAS4, INF-BI-2, INF-PM-ANW, INF-VERT4, IST-05-FG-AVS, MINF-04-FG-IAS, WI-BA-08
2/2/0
deutsch
Prof. Lehner, Dr. Thiele
SYA
Datenbanken
Compilerbau
-
DSE-14-E13, DSE-14-E14, INF-04-FG-SWT, INF-04-FG-TP, INF-B-275, INF-B-510, INF-B-520, INF-BAS3, INF-BAS4, INF-BI-4, INF-BI-5, INF-E-3, INF-LE-EUI, INF-LE-WW, INF-VERT3, INF-VERT4, INF-VERT5, IST-05-PF-HS, MA-CSE-17
2/0/0
deutsch
Prof. Castrillon-Mazo
TEI
Compilerbau
Compilerbau - Übung zur Vorlesung
Compiler Construction - tutorial
DSE-14-E13, DSE-14-E14, FAK-INF-FF, INF-04-FG-SWT, INF-04-FG-TP, INF-B-510, INF-B-520, INF-BAS3, INF-BAS4, INF-BI-4, INF-BI-5, INF-E-3, INF-LE-EUI, INF-LE-WW, INF-VERT3, INF-VERT4, INF-VERT5, IST-05-PF-HS, MA-CSE-17
0/2/0
deutsch
Prof. Castrillon-Mazo
TEI
Compilerbau
Component Based Software Engineering

D-WW-INF-3411, D-WW-INF-3412, D-WW-INF-3413, DSE-14-E4, INF-04-FG-SWT, INF-B-520, INF-B-540, INF-BAS3, INF-BI-4, INF-LE-WW, INF-VERT3, IST-05-FG-SWT, MINF-04-FG-EMW, WI-MA-08-02, WI-MA-09-02
2/2/0
english
Dr. Götz
SMT
Softwaretechnologie
Computer Vision II
-
INF-04-FG-IS, INF-B-520, INF-B-540, INF-BAS2, INF-BAS7, INF-E-3, INF-LE-MA, INF-VERT2, INF-VERT7, INF-VMI-8, MATH-MA-INFGDV
2/2/0
english
Prof. Gumhold, Dr. rer. nat Guthier
SMT, KI
Computergraphik und Visualisierung,Bildverarbeitung
Computergraphik II

D-WW-INF-3411, D-WW-INF-3412, D-WW-INF-3413, INF-04-FG-SWT, INF-B-510, INF-B-520, INF-B-530, INF-B-540, INF-BAS7, INF-LE-WW, INF-PM-FOR, INF-VERT7, INF-VMI-8, IST-05-FG-SWT, MINF-04-FG-MTGW, WI-MA-08-02, WI-MA-09-02
2/2/0
deutsch
Prof. Gumhold
SMT
Computergraphik und Visualisierung
Computertechnik
-
INF-04-FG-TI, INF-B-520, INF-LE-MA, INF-PM-FOR, INF-VERT5, IST-05-FG-TI, MATH-MA-INFDIS
2/2/0
deutsch
Prof. Spallek
TEI
VLSI-Entwurfssysteme, Diagnostik und Architektur
Conditional Reasoning
-
INF-BAS2, INF-PM-FOR, INF-VERT2, MCL-AI, MCL-KR, MCL-PI
2/2/0
english
Prof. Hölldobler
KI
Wissensverarbeitung
Darstellungslehre 1
-
INF-E-1
1/3/0
deutsch



Database Theory
-
INF-B-510, INF-B-520, INF-BAS6, INF-PM-FOR, INF-VERT6, MCL-KR, MCL-PI, MCL-TCSL
4/2/0
english
Prof. Krötzsch
THI
Wissensbasierte Systeme
Datenbanken - Grundlagen
Databases
INF-B-370, INF-D-270, INF-LE-EUI, INF-LE-PHY, INF-SEBS-INF-11, INF-SEGY-INF-11, INF-SEMS-INF-11, IST-05-PF-HS
2/2/0
deutsch
Prof. Lehner, Dr. Thiele
SYA
Datenbanken
Datenintegration und -analyse

D-WW-INF-3421, D-WW-INF-3422, D-WW-INF-3423, INF-04-FG-AVS, INF-B-510, INF-B-520, INF-B-530, INF-B-540, INF-BAS4, INF-BI-2, INF-LE-WW, INF-VERT4, MINF-04-FG-IAS, WI-MA-08-01, WI-MA-09-01
2/2/0
deutsch
Prof. Lehner, Dr. Thiele
SYA
Datenbanken
Datenintensives Rechnen und Data Life Cycle
-
INF-PM-FPG
8P/PB
deutsch
Prof. Nagel
TEI
Rechnerarchitektur
Deduction Systems
-
INF-BAS2, INF-VERT2, MCL-ILS
1/1/0
english
Prof. Krötzsch
THI
Wissensbasierte Systeme
Digitization and Data Analytics: Architectures, Methods, and Consequences
-
INF-04-FG-TI, INF-B-510, INF-B-520, INF-B-530, INF-B-540, INF-LE-MA, INF-PM-ANW, INF-VERT5, IST-05-FG-TI, MATH-MA-INFHP, MATH-MA-INFHR
2/2/0
deutsch
Prof. Nagel
TEI
Rechnerarchitektur
Distributed Operating Systems

DSE-14-E3, INF-04-FG-AVS, INF-BAS4, INF-BI-1, INF-VERT4, IST-05-FG-AVS, MINF-04-FG-SAT
2/1/0
english
Prof. Härtig
SYA
Betriebssysteme
Doktorandenseminar Advances in Probabilistic Model Checking

FAK-INF-FF
0/2/0
english
Prof. Baier
THI
Algebraische und logische Grundlagen der Informatik
Doktorandenseminar Datenbanken

FAK-INF-FF
0/2/0
deutsch
Prof. Lehner
SYA
Datenbanken
Doktorandenseminar Datenschutz und Datensicherheit
-
FAK-INF-FF
0/2/0
deutsch, english
Prof. Strufe
SYA
Datenschutz und Datensicherheit
Drahtgebundene und drahtlose Sensor-Aktor-Netzwerke
-
D-WW-INF-3402, D-WW-INF-3403, INF-04-FG-SOI, INF-B-510, INF-B-520, INF-LE-WW, INF-VERT1, IST-05-FG-SOI, WI-MA-08-03, WI-MA-09-03
4/0/0
deutsch
Prof. Kabitzsch
AI
Technische Informationssysteme
Einführung in das Datenschutzrecht
-
INF-AQUA, INF-B-610, INF-D-940, INF-SEGY-INF-17, INF-SEMS-INF-17
2/0/0
deutsch
Prof. Strufe, Dr. Wagner
SYA
Datenschutz und Datensicherheit
Einführung in die Computergraphik
Introduction to Computer Graphics
INF-B-420, INF-LE-MA, INF-LE-PHY, MATH-MA-INFGDV
2/2/0
deutsch
Prof. Gumhold
SMT
Computergraphik und Visualisierung
Einführung in die Informatik

D-WW-EINF, INF-BAWP-INF-04, INF-LE-WW, INF-SEBS-INF-04, INF-SEGY-INF-04, INF-SEMS-INF-04
2/2/0
deutsch
Dr. Turhan
THI
Automatentheorie
Einführung in die Mediengestaltung
Introduction to Media Design
INF-B-450, INF-LE-PHIL, MI-4
2/1/0
deutsch
Prof. Groh
SMT
Mediengestaltung
eLearning
-
INF-SEBS-INF-21, INF-SEGY-INF-21, INF-SEMS-INF-21, INF-VMI-9, MINF-04-FG-IAS
2/2/0
deutsch
Dr. Rohland
SMT
Didaktik der Informatik
Entwurf und Programmierung Eingebetteter Multicore Architekturen
Design and Programming of Embedded Multicore Architectures
INF-B-510, INF-B-520, INF-B-530, INF-B-540, INF-E-3, INF-PM-ANW, INF-VERT5
2/2/0
deutsch
Prof. Göhringer
TEI
Adaptive Dynamische Systeme
Entwurf, Test und Analyse vernetzter Anwendersysteme - Anwendung
-
INF-PM-ANW
2/2/0
deutsch
Prof. Kabitzsch, Dr.-Ing. Dementjev
AI
Technische Informationssysteme
Ethernet-basierte Systeme in der Industrie

D-WW-INF-3402, D-WW-INF-3403, FAK-INF-FF, INF-04-FG-SOI, INF-B-510, INF-B-520, INF-LE-WW, INF-VERT1, IST-05-FG-SOI, WI-MA-08-03, WI-MA-09-03
2/0/0
deutsch
Prof. Wollschlaeger
AI
Prozesskommunikation
Fachdidaktik Informatik - ausgewählte Aspekte
-
INF-SEBS-INF-14, INF-SEGY-INF-14, INF-SEMS-INF-14
0/0/2
deutsch
Dr. Rohland
SMT
Didaktik der Informatik
Fachdidaktik Informatik - Grundlagen
-
INF-SEBS-INF-09, INF-SEGY-INF-09, INF-SEMS-INF-09
1/2/0
deutsch
Dr. rer. nat. Hellmig
SMT
Didaktik der Informatik
Formale Baumsprachen
-
INF-04-FG-IS, INF-04-FG-TP, INF-B-510, INF-B-520, INF-BAS2, INF-BAS6, INF-PM-FOR, INF-VERT2, INF-VERT6
2/2/0
deutsch
Prof. Vogler
THI
Grundlagen der Programmierung
Forschungskolleg Mediengestaltung II
-
INF-B-540
0/0/4
deutsch
Prof. Groh
SMT
Mediengestaltung
Forschungslinie

INF-D-910
2/2/0
deutsch
Studiendekan
INF
Fakultät Informatik
Forschungspraktikum Compilerbau
-
INF-PM-FPA, INF-PM-FPG
8P/PB
deutsch, english
Prof. Castrillon-Mazo
TEI
Compilerbau
Forschungspraktikum DB-Anwendungsentwicklung
-
INF-04-KP, INF-PM-FPA, MINF-04-KP-FG3
0/0/8
deutsch
Dr. Thiele
SYA
Datenbanken
Forschungspraktikum DB-Systemarchitektur
-
INF-04-KP, INF-PM-FPG, MINF-04-KP-FG3
0/0/8
deutsch
Dr. Habich
SYA
Datenbanken
Forschungspraktikum Multimedia-Technologie
-
INF-B-520, INF-B-540
0/0/2
deutsch
Prof. Dachselt
SMT
Multimedia-Technologie
Forschungsprojekt angewandte biomedizinische Bildverarbeitung

INF-PM-FPA
8P/PB
deutsch
Prof. Sbalzarini
KI
Wissenschaftliches Rechnen für Systembiologie
Forschungsprojekt Angewandte Computergraphik und Visualisierung

INF-PM-FPA
8P/PB
deutsch
Prof. Gumhold
SMT
Computergraphik und Visualisierung
Forschungsprojekt Computational Logic

INF-MA-PR, INF-PM-FPA, INF-PM-FPG
0/0/8
deutsch
Prof. Rudolph
KI
Computational Logic
Forschungsprojekt Computer Vision
-
INF-04-KP, INF-B-520, INF-B-540, INF-E-4, INF-PM-FPA, INF-PM-FPG, IST-05-KP, MINF-04-KP-FG1
0/0/8
deutsch
Prof. Gumhold, Dr. rer. nat Guthier
SMT, KI
Computergraphik und Visualisierung,Bildverarbeitung
Forschungsprojekt Computersimulation biologischer Systeme

INF-PM-FPG
8P/PB
deutsch
Prof. Sbalzarini
KI
Wissenschaftliches Rechnen für Systembiologie
Forschungsprojekt Entwurf, Test und Analyse von Anwendersystemen
-
INF-PM-FPA
8P/PB
deutsch
Prof. Kabitzsch, Dr.-Ing. Dementjev
AI
Technische Informationssysteme
Forschungsprojekt Formale Methoden

INF-PM-FPG
8P/PB
deutsch, english
Prof. Baier
THI
Algebraische und logische Grundlagen der Informatik
Forschungsprojekt Foundations of Natural User Interfaces
-
INF-PM-FPG
8P/PB
deutsch, english
Prof. Dachselt
SMT
Multimedia-Technologie
Forschungsprojekt Grundlagen Betriebssysteme
-
INF-PM-FPG
8P/PB
deutsch, english
Prof. Härtig
SYA
Betriebssysteme
Forschungsprojekt Grundlagen der Computergraphik und Visualisierung

INF-PM-FPG
8P/PB
deutsch
Prof. Gumhold
SMT
Computergraphik und Visualisierung
Forschungsprojekt Interaktive Multimediale Technologien
-
INF-PM-FPA
8P/PB
deutsch, english
Prof. Dachselt
SMT
Multimedia-Technologie
Forschungsprojekt Mobile and Ubiquitous Computing
-
DSE-14-INT, INF-PM-FPA
8P/PB
deutsch, english
Dr. Springer
SYA
Rechnernetze
Forschungsprojekt Multimodale Interaktion
-
INF-PM-FPA
8P/PB
deutsch
Prof. Weber
AI
Mensch-Computer Interaktion
Forschungsprojekt Service and Cloud Computing
-
DSE-14-INT, INF-PM-FPA
8P/PB
deutsch, english
Dr. Braun
SYA
Rechnernetze
Forschungsprojekt Theoretical Computer Science
-
INF-PM-FPG
8P/PB
deutsch
Prof. Baader
THI
Automatentheorie
Forschungsprojekt Verarbeitung natürlicher Sprachen
-
INF-PM-FPG
8P/PB
deutsch
Prof. Vogler
THI
Grundlagen der Programmierung
Forschungsprojekt VLSI-EDA
-
INF-PM-FPG
8P/PB
deutsch
Prof. Spallek
TEI
VLSI-Entwurfssysteme, Diagnostik und Architektur
Forschungsprojekt Wissensbasierte Systeme
-
INF-PM-FPA, INF-PM-FPG
0/0/8
deutsch
Prof. Krötzsch
THI
Wissensbasierte Systeme
Forschungsprojekt: Programmierung und Hardwareentwurf für Rekonfigurierbare Rechensysteme
Research Project: Programming and Hardware Design for Reconfigurable Computing Systems
INF-PM-FPA, INF-PM-FPG
0/0/8
deutsch, english
Prof. Göhringer
TEI
Adaptive Dynamische Systeme
Forschungsseminar Mediengestaltung
-
INF-VMI-5
3S/1Ex
deutsch
Prof. Groh
SMT
Mediengestaltung
Forschungsseminar Multimedia-Technologie
-
INF-B-520, INF-B-540
0/2/0
deutsch
Prof. Dachselt
SMT
Multimedia-Technologie
Forschungsseminar RoSI
-
INF-04-HS, INF-AQUA, MINF-04-HS
0/2/0
deutsch
Prof. Lehner
SYA
Datenbanken
Foundations for Machine Learning
-
INF-BAS2, INF-VERT2, MCL-AI, MCL-P
4/2/0
english
Prof. Hölldobler, PhD Stefanus
KI
Wissensverarbeitung
Foundations of Concurrent and Distributed Systems
-
DSE-14-E6, INF-04-FG-AVS, INF-BAS3, INF-BAS4, INF-BI-1, INF-VERT3, INF-VERT4, MINF-04-FG-SAT
4/0/0
english
Prof. Fetzer
SYA
Systems Engineering
Freitagsseminar
-
FAK-INF-FF
0/2/0
deutsch
Prof. Vogler
THI
Grundlagen der Programmierung
German Course
-
MCL-CS
0/2/0
deutsch



Graduiertenseminar Multimedia-Technologie

FAK-INF-FF
0/2/0
deutsch, english
Prof. Dachselt
SMT
Multimedia-Technologie
Grundlagen der Gestaltung
Foundations of Media Design
INF-B-440, INF-LE-GEO, INF-LE-PHIL, MI-3, MSC-GIT-14
2/0/1
deutsch
Prof. Groh
SMT
Mediengestaltung
Hardwarepraktikum
Technical Foundations and Practical Course Hardware
INF-B-390, INF-D-420, INF-LE-EUI, INF-LE-MA, IST-05-PF-GS, MATH-BA-INFF
0/0/3
deutsch
Prof. Göhringer
TEI
Adaptive Dynamische Systeme
Hauptseminar Adaptive Rechnersysteme
Seminar adaptive Computer Systems
INF-AQUA, INF-B-510, INF-B-520, INF-B-530, INF-B-540, INF-D-940, INF-VERT5
0/2/0
deutsch, english
Prof. Göhringer
TEI
Adaptive Dynamische Systeme
Hauptseminar Advanced User Interfaces

INF-04-HS, INF-AQUA, INF-D-940, INF-VERT3, INF-VMI-4, IST-05-HS, MINF-04-HS
0/2/0
deutsch
Prof. Dachselt
SMT
Multimedia-Technologie
Hauptseminar Audio
-
INF-AQUA, INF-D-940
0/2/0
deutsch
Prof. Groh
SMT
Mediengestaltung
Hauptseminar Betriebssysteme

DSE-14-E13, INF-04-HS, INF-AQUA, INF-D-940, MINF-04-HS
0/2/0
deutsch
Prof. Härtig
SYA
Betriebssysteme
Hauptseminar Computerspiele und Gesellschaft
-
INF-AQUA
0/2/0
deutsch
Prof. Gumhold
SMT
Computergraphik und Visualisierung
Hauptseminar Computerspieletechnologie
-
INF-04-HS, INF-AQUA, INF-B-510, INF-B-520, INF-B-530, INF-B-540, INF-BAS7, INF-D-940, INF-VERT7, INF-VMI-8, IST-05-HS, MINF-04-HS
0/2/0
deutsch
Prof. Gumhold
SMT
Computergraphik und Visualisierung
Hauptseminar Current Topics in Compiler Construction

INF-AQUA, INF-B-510, INF-B-530, INF-D-940, INF-VERT5
0/2/0
english
Prof. Castrillon-Mazo
TEI
Compilerbau
Hauptseminar Current Topics in Dependable Systems

DSE-14-E11, INF-04-HS, INF-AQUA, INF-D-940, IST-05-HS, MINF-04-HS
0/2/0
deutsch
Prof. Fetzer
SYA
Systems Engineering
Hauptseminar Datenbanken
-
INF-04-FG-AVS, INF-04-HS, INF-AQUA, INF-D-940, INF-VERT4, IST-05-FG-AVS, IST-05-HS, MINF-04-HS
0/2/0
deutsch
Prof. Lehner
SYA
Datenbanken
Hauptseminar Mediengestaltung im Anwendungskontext
-
INF-AQUA
0/2/0
deutsch
Prof. Groh
SMT
Mediengestaltung
Hauptseminar Mobile and Ubiquitous Computing

INF-04-HS, INF-AQUA, INF-D-940, IST-05-HS, MINF-04-HS
0/2/0
deutsch
Prof. Schill, Dr. Springer
SYA
Rechnernetze
Hauptseminar Rechnerarchitektur und Programmierung
-
INF-04-HS, INF-AQUA, INF-D-940, IST-05-HS, MA-CSE-10, MA-CSE-35
0/2/0
deutsch
Prof. Nagel
TEI
Rechnerarchitektur
Hauptseminar Rechnernetze
-
INF-04-HS, INF-AQUA, INF-D-940, IST-05-HS, MINF-04-HS
0/2/0
deutsch
Prof. Schill, Dr. Feldmann
SYA
Rechnernetze
Hauptseminar Service and Cloud Computing
-
INF-04-HS, INF-AQUA, INF-D-940, IST-05-HS, MINF-04-HS
0/2/0
deutsch
Dr. Braun
SYA
Rechnernetze
Hauptseminar Softwaretechnologie
-
D-WW-INF-3411, D-WW-INF-3412, D-WW-INF-3413, INF-04-HS, INF-AQUA, INF-BAS3, INF-LE-MA, INF-VERT3, MATH-MA-INFSEN, MINF-04-HS, WI-MA-08-02, WI-MA-09-02
0/2/0
deutsch
Dr. Wendt
SMT
Softwaretechnologie
Hauptseminar Technische Informatik

INF-04-HS, INF-AQUA, INF-D-520, IST-05-HS
0/2/0
deutsch
Prof. Spallek
TEI
VLSI-Entwurfssysteme, Diagnostik und Architektur
Hauptseminar Technische Informationssysteme

INF-04-HS, INF-AQUA, INF-B-510, INF-B-520, INF-D-940, INF-VERT1, IST-05-HS
0/2/0
deutsch
Prof. Kabitzsch, Dr.-Ing. Dementjev
AI
Technische Informationssysteme
Hauptseminar Technischer Datenschutz
-
INF-04-FG-AVS, INF-04-HS, INF-AQUA, INF-D-940, IST-05-FG-AVS, IST-05-HS, MINF-04-HS
0/2/0
deutsch
Prof. Strufe
SYA
Datenschutz und Datensicherheit
Hauptseminar Usability von Informationssystemen
-
INF-04-HS, INF-AQUA, INF-B-510, INF-B-520, INF-B-530, INF-B-540, INF-BAS3, INF-D-940, INF-E-3, INF-VERT3, INF-VMI-4, IST-05-HS, MINF-04-HS
0/2/0
deutsch
Dr.-Ing. Zeng
AI
Mensch-Computer Interaktion
Industrielle Kommunikationssysteme

D-WW-INF-3402, D-WW-INF-3403, FAK-INF-FF, INF-04-FG-SOI, INF-B-510, INF-B-520, INF-VERT1, IST-05-FG-SOI, WI-BA-08
2/0/0
deutsch
Prof. Wollschlaeger
AI
Prozesskommunikation
Influential Operating Systems Research
-
INF-PM-ANW, INF-PM-FOR
2/0/0
english
Prof. Härtig
SYA
Betriebssysteme
Informatik II für ET/MT/RES
Computer Science II for ET/MT/RES
INF-LE-EUI, INF-LE-EW
2/0/1
deutsch
Prof. Göhringer
TEI
Adaptive Dynamische Systeme
Informatik II für Maschinenwesen

INF-LE-MW
2/1/1
deutsch
Prof. Wollschlaeger
AI
Prozesskommunikation
Informatik II für Verkehrsingenieurwesen

INF-LE-VW
2/1/1
deutsch
Prof. Lehner, Dr. Habich
SYA
Datenbanken
Informatik und Gesellschaft
Computers and Society
FAK-INF-FF, INF-04-FG-AVS, INF-AQUA, INF-B-610, INF-D-940, INF-SEGY-INF-17, INF-SEMS-INF-17, IST-05-FG-AVS, MINF-04-FG-IAS
2/0/0
deutsch
Dr. Köpsell
SYA
Datenschutz und Datensicherheit
Informations- und Kodierungstheorie
Information and Coding Theory
INF-B-260, INF-D-310
2/1/0
deutsch
Dr. Schönfeld
SYA
Datenschutz und Datensicherheit
Informationsmodelle in der Automation
-
FAK-INF-FF, INF-04-FG-SOI, INF-B-510, INF-B-520, INF-VERT1, IST-05-FG-SOI
2/0/0
deutsch
Dr.-Ing. Hilbert
AI
Prozesskommunikation
Internet and Web Applications

D-WW-INF-3421, D-WW-INF-3422, D-WW-INF-3423, DSE-14-E5, INF-04-FG-AVS, INF-B-520, INF-BAS3, INF-BAS4, INF-BI-1, INF-LE-MA, INF-LE-WW, INF-PM-ANW, INF-VERT4, INF-VMI-3, IST-05-FG-AVS, MATH-MA-INFVSY, MINF-04-FG-SAT, WI-BA-08, WI-MA-08-01, WI-MA-09-01
2/2/0
english
Prof. Schill
SYA
Rechnernetze
Knowledge Representation and Reasoning
-
INF-04-HS, INF-AQUA, MCL-PS
0/2/0
english
Prof. Hölldobler
KI
Wissensverarbeitung
Komplexpraktikum Advanced User Interfaces
-
INF-04-KP, INF-E-4, INF-MA-PR, INF-VERT3, INF-VMI-4, INF-VMI-8, IST-05-KP, MINF-04-KP-FG1, MINF-04-KP-FG4
0/0/4
deutsch
Prof. Dachselt
SMT
Multimedia-Technologie
Komplexpraktikum Angewandte Bildsprache
-
INF-E-4, INF-VMI-6, INF-VMI-8
0/0/4
deutsch
Dr.-Ing. Franke
SMT
Mediengestaltung
Komplexpraktikum Audio
-
INF-B-510, INF-B-520, INF-B-530, INF-B-540, INF-E-4, INF-MA-PR, INF-VMI-8
0/0/4
deutsch
Prof. Groh
SMT
Mediengestaltung
Komplexpraktikum Computational Logic

INF-B-510, INF-B-520
0/0/4
deutsch
Prof. Rudolph
KI
Computational Logic
Komplexpraktikum Computer Vision
-
INF-04-KP, INF-B-510, INF-B-520, INF-B-530, INF-B-540, INF-E-4, INF-MA-PR, INF-VERT2, IST-05-KP, MINF-04-KP-FG1
0/0/4, 0/0/8
deutsch
Prof. Gumhold, Dr. rer. nat Guthier
SMT, KI
Computergraphik und Visualisierung,Bildverarbeitung
Komplexpraktikum Computer- und robotergestützte Chirurgie
-
INF-04-KP, INF-B-510, INF-B-520, INF-B-530, INF-B-540, INF-BAS7, INF-E-4, INF-MA-PR, INF-VERT7, INF-VMI-8, IST-05-KP, MINF-04-KP-FG1
0/0/4
deutsch
Prof. Speidel
MED
Andere Fakultät
Komplexpraktikum Computergraphik und Visualisierung

INF-04-KP, INF-B-510, INF-B-520, INF-B-530, INF-B-540, INF-E-4, INF-MA-PR, INF-VMI-8, IST-05-KP, MINF-04-KP-FG1
0/0/4
deutsch
Prof. Gumhold
SMT
Computergraphik und Visualisierung
Komplexpraktikum Cyber Physical Systems

INF-MA-PR, INF-PM-FPA
0/0/8
deutsch
Prof. Wollschlaeger
AI
Prozesskommunikation
Komplexpraktikum DB-Anwendungsentwicklung

INF-B-510, INF-B-520, INF-B-530, INF-B-540, IST-05-KP
0/0/4
deutsch
Dr. Thiele
SYA
Datenbanken
Komplexpraktikum DB-Systemarchitektur

INF-B-510, INF-B-520, INF-B-530, INF-B-540, IST-05-KP
0/0/4
deutsch
Dr. Habich
SYA
Datenbanken
Komplexpraktikum DesignHub I
-
INF-VMI-7
0/0/4
deutsch
Dr.-Ing. Franke
SMT
Mediengestaltung
Komplexpraktikum Kryptographie und Datensicherheit
-
INF-04-FG-AVS, INF-04-KP, INF-B-510, INF-B-520, INF-B-530, INF-B-540, INF-E-4, INF-MA-PR, INF-SEBS-INF-17, INF-SEGY-INF-17, INF-SEMS-INF-17, IST-05-FG-AVS, IST-05-KP, MINF-04-KP-FG3
0/0/4
deutsch, english
Dr. Köpsell
SYA
Datenschutz und Datensicherheit
Komplexpraktikum Künstlerische Interaktionstechnologien
-
INF-VMI-7
0/0/4
deutsch
Dr.-Ing. Franke
SMT
Mediengestaltung
Komplexpraktikum Medieninformatik - Informationsvisualisierung
Advanced Practical Course Media Computer Science
INF-B-490
0/0/4
deutsch
Prof. Groh
SMT
Mediengestaltung
Komplexpraktikum Medieninformatik - Multimediatechnologie
Advanced Practical Course Media Computer Science
INF-B-490
0/0/2
deutsch
Prof. Dachselt
SMT
Multimedia-Technologie
Komplexpraktikum Medieninformatik - Video

INF-B-490
0/0/4
deutsch
Prof. Gumhold
SMT
Computergraphik und Visualisierung
Komplexpraktikum Mensch-Computer Interaktion
-
INF-B-510, INF-B-520, INF-B-530, INF-B-540, INF-E-4, INF-MA-PR, INF-VERT1, INF-VERT3, INF-VMI-4
0/0/4
deutsch
Dr.-Ing. Zeng
AI
Mensch-Computer Interaktion
Komplexpraktikum Mobile and Ubiquitous Computing

DSE-14-INT, INF-04-FG-AVS, INF-04-KP, INF-B-510, INF-B-520, INF-B-530, INF-B-540, INF-E-4, INF-MA-PR, INF-PM-FPA, IST-05-FG-AVS, IST-05-KP, MINF-04-FG-SAT, MINF-04-KP-FG2
0/0/4
deutsch
Prof. Schill, Dr. Springer
SYA
Rechnernetze
Komplexpraktikum Modellierung und quantitative Systemanalyse I

INF-04-KP, INF-04-P, INF-MA-PR, IST-05-KP
0/0/4
deutsch
Prof. Baier
THI
Algebraische und logische Grundlagen der Informatik
Komplexpraktikum Modellierung und quantitative Systemanalyse II

INF-MA-PR
0/0/8
deutsch
Prof. Baier
THI
Algebraische und logische Grundlagen der Informatik
Komplexpraktikum Multimodale Interaktion

INF-04-KP, INF-MA-PR
0/0/8
deutsch
Dr.-Ing. Zeng
AI
Mensch-Computer Interaktion
Komplexpraktikum OUTPUT.DD
-
INF-AQUA, INF-B-530, INF-B-540, INF-B-610, INF-D-520, INF-D-940, INF-E-4
0/0/4
deutsch
Prof. Groh
SMT
Mediengestaltung
Komplexpraktikum Prozesskommunikation
-
D-WW-INF-3402, D-WW-INF-3403, INF-04-FG-SOI, INF-04-KP, INF-MA-PR, INF-VERT1, IST-05-KP
0/0/4
deutsch
Prof. Wollschlaeger
AI
Prozesskommunikation
Komplexpraktikum Prozessorentwurf
-
INF-04-KP, INF-MA-PR, INF-VERT5, IST-05-KP
0/0/4
deutsch
Prof. Spallek
TEI
VLSI-Entwurfssysteme, Diagnostik und Architektur
Komplexpraktikum Service and Cloud Computing

DSE-14-INT, INF-04-FG-AVS, INF-04-KP, INF-B-510, INF-B-520, INF-B-530, INF-B-540, INF-E-4, INF-MA-PR, IST-05-FG-AVS, IST-05-KP, MINF-04-FG-SAT, MINF-04-KP-FG2
0/0/4
deutsch
Prof. Schill, Dr. Braun
SYA
Rechnernetze
Komplexpraktikum Softwaretechnologie
-
D-WW-INF-3411, D-WW-INF-3412, D-WW-INF-3413, DSE-14-INT, INF-04-KP, INF-E-4, INF-LE-MA, INF-LE-WW, INF-MA-PR, INF-VERT3, IST-05-KP, MATH-MA-INFSEN, MINF-04-KP-FG4, WI-MA-08-02, WI-MA-09-02
0/0/4
deutsch
Prof. Aßmann, Dr. Götz
SMT
Softwaretechnologie
Komplexpraktikum Technische Informationssysteme

INF-04-FG-SOI, INF-04-KP, INF-B-510, INF-B-520, INF-VERT1, IST-05-FG-SOI, IST-05-KP
0/0/4
deutsch
Prof. Kabitzsch
AI
Technische Informationssysteme
Komplexpraktikum Theoretische Informatik
Theoretical Computer Science
INF-04-KP, INF-MA-PR, IST-05-KP, MINF-04-KP-FG2
0/0/4, 0/0/8
deutsch
Dr.-Ing. Borgwardt
THI
Automatentheorie
Komplexpraktikum Visualisierungs- und Interaktionstechniken
-
INF-04-KP, INF-B-510, INF-B-520, INF-B-530, INF-B-540, INF-E-4, INF-MA-PR, INF-VERT3, INF-VMI-4, INF-VMI-8, IST-05-KP, MINF-04-KP-FG1, MINF-04-KP-FG4
0/0/4
deutsch
Prof. Dachselt
SMT
Multimedia-Technologie
Komplexpraktikum Wissensbasierte Systeme
-
INF-B-510, INF-B-520, INF-MA-PR
0/0/4, 0/0/8
deutsch
Prof. Krötzsch
THI
Wissensbasierte Systeme
Kryptographie und -analyse

D-WW-INF-3421, D-WW-INF-3422, INF-04-FG-AVS, INF-B-510, INF-B-520, INF-B-530, INF-B-540, INF-BAS4, INF-BI-3, INF-LE-WW, INF-PM-ANW, INF-VERT4, IST-05-FG-AVS, MINF-04-FG-IAS, WI-BA-08
2/2/0
deutsch
Dr. Franz
SYA
Datenschutz und Datensicherheit
Lab Course Modeling and Automated Verification
-
MCL-PS
0/2/0
english
Prof. Baier
THI
Algebraische und logische Grundlagen der Informatik
Lab: Concurrent and Distributed Systems
Lab: Concurrent and Distributed Systems
DSE-14-E6, INF-04-KP, INF-MA-PR, MINF-04-KP-FG4
0/0/4
english
Prof. Fetzer
SYA
Systems Engineering
Lab: Systems Engineering
-
DSE-14-INT, INF-04-KP, INF-E-4, INF-MA-PR, IST-05-KP, MINF-04-KP-FG4
0/0/4
english
Prof. Fetzer
SYA
Systems Engineering
Leistungs- und Energieeffizienz-Analyse für innovative Rechnerarchitekturen
-
INF-PM-FPA
8P/PB
deutsch
Prof. Nagel
TEI
Rechnerarchitektur
Logic-based Ontology Engineering
-
INF-B-510, INF-B-520, INF-BAS6, INF-PM-FOR, INF-VERT6, MCL-ILS
2/2/0
english
Dr.-Ing. Borgwardt
THI
Automatentheorie
Machine Learning
-
INF-04-FG-IS, INF-B-520, INF-BAS2, INF-BAS7, INF-VERT2, INF-VERT7
2/2/0
english
Prof. Gumhold, Dr. rer. nat Guthier
SMT, KI
Computergraphik und Visualisierung,Bildverarbeitung
Master-Praktikum Verarbeitung natürlicher Sprachen
-
INF-MA-PR
0/0/8
deutsch
Prof. Vogler
THI
Grundlagen der Programmierung
Mathematik 2 für Informatiker
-
INF-B-120, INF-D-120
3/2/0
deutsch
Prof. Baumann
MATH
Andere Fakultät
Medien und Medienströme
Media and Media Streams
INF-B-460, INF-LE-PHIL, INF-LE-WW, MI-2, WI-MA-09-02
2/2/0
deutsch
Prof. Dachselt, Dr. Mitschick
SMT
Multimedia-Technologie
Medienpsychologie und -didaktik
Media Psychology and Media Didactics
INF-B-470
1/0/2
deutsch
Prof. Weber, Dr. Münster, Dr. Hofmann
AI, SMT
Mensch-Computer Interaktion,Didaktik der Informatik
Microkernel Construction

INF-04-FG-AVS, INF-BAS4, INF-VERT4, IST-05-FG-AVS, MINF-04-FG-SAT
2/0/0
english
Prof. Härtig, Dr.-Ing. Weinhold
SYA
Betriebssysteme
Monitoring und Diagnose

INF-04-FG-SOI, INF-B-510, INF-B-520, INF-VERT1, IST-05-FG-SOI
2/0/0
deutsch
Prof. Kabitzsch
AI
Technische Informationssysteme
Multimodale Benutzungsoberflächen

D-WW-INF-3402, D-WW-INF-3403, D-WW-INF-3411, D-WW-INF-3412, D-WW-INF-3413, INF-04-FG-SOI, INF-E-3, INF-LE-WW, INF-PM-ANW, INF-VERT1, INF-VERT3, INF-VMI-10, IST-05-FG-SOI, MINF-04-FG-EMW, WI-MA-08-02, WI-MA-08-03, WI-MA-09-02, WI-MA-09-03
2/2/0
deutsch
Prof. Weber
AI
Mensch-Computer Interaktion
Objektorientierte Softwareentwicklung

FAK-INF-FF
0/2/0
deutsch
Prof. Aßmann, Dr. Demuth
SMT
Softwaretechnologie
Parallele Programmierung, Algorithmen und Methoden
-
INF-PM-FPG
8P/PB
deutsch
Prof. Nagel
TEI
Rechnerarchitektur
Parsing von natürlichen Sprachen
-
INF-04-FG-IS, INF-04-FG-TP, INF-B-510, INF-B-520, INF-BAS2, INF-BAS6, INF-VERT2, INF-VERT6
4/2/0
deutsch
Prof. Vogler
THI
Grundlagen der Programmierung
Praktikum Ethernet-basierte Systeme in der Industrie

D-WW-INF-3402, D-WW-INF-3403, FAK-INF-FF, INF-04-FG-SOI, INF-B-510, INF-B-520, INF-VERT1, IST-05-FG-SOI
0/0/2
deutsch
Prof. Wollschlaeger
AI
Prozesskommunikation
Praktikum Fortgeschrittene Themen in der Verarbeitung natürlicher Sprachen
-
INF-B-510, INF-B-520
0/0/8
deutsch
Prof. Vogler
THI
Grundlagen der Programmierung
Praktikum Industrielle Kommunikationssysteme

D-WW-INF-3402, D-WW-INF-3403, FAK-INF-FF, INF-04-FG-SOI, INF-B-510, INF-B-520, INF-VERT1, IST-05-FG-SOI
0/0/2
deutsch
Prof. Wollschlaeger
AI
Prozesskommunikation
Praktikum Technische Informationssysteme

INF-04-FG-SOI, INF-04-P, INF-B-510, INF-B-520, INF-VERT1, IST-05-FG-SOI
0/0/2
deutsch
Prof. Kabitzsch
AI
Technische Informationssysteme
Praktikum Verarbeitung natürlicher Sprachen
-
INF-04-KP, INF-B-510, INF-B-520, INF-D-940, INF-MA-PR
0/0/4
deutsch
Prof. Vogler
THI
Grundlagen der Programmierung
Produktionssteuerung - innovative Leittechnologie für die Industrie
-
D-WW-INF-3402, D-WW-INF-3403, FAK-INF-FF, INF-04-FG-SOI, INF-B-510, INF-B-520, INF-VERT1, IST-05-FG-SOI, WI-MA-08-03, WI-MA-09-03
1/0/1
deutsch
Prof. Wollschlaeger
AI
Prozesskommunikation
Programmierung
Programming
INF-B-240, INF-D-230, INF-LE-EUI, INF-LE-MA, INF-LE-PHY, INF-SEGY-INF-05, INF-SEMS-INF-05, IST-05-PF-GS, MATH-BA-INFB, MATH-MA-INFPRG
2/2/0
deutsch
Prof. Vogler
THI
Grundlagen der Programmierung
Programmierung für das Lehramt
-
INF-SEBS-INF-06, INF-SEGY-INF-06, INF-SEMS-INF-06
1/2/0
deutsch
Dr. Rohland
SMT
Didaktik der Informatik
Project Group Computational Logic

MCL-P
0/0/4
english
Prof. Rudolph
KI
Computational Logic
Project Group Knowledge Representation and Reasoning
-
MCL-P
0/0/4
english
Prof. Hölldobler
KI
Wissensverarbeitung
Project Group Knowledge-Based Systems
-
MCL-P
0/0/4
english
Prof. Krötzsch
THI
Wissensbasierte Systeme
Project Group Model Checking

MCL-P
0/0/4
english
Prof. Baier
THI
Algebraische und logische Grundlagen der Informatik
Project Group Theoretical Computer Science
-
MCL-P
0/0/4
english
Dr. Turhan
THI
Automatentheorie
Projekt Technische Informationssysteme
-
INF-04-FG-SOI, INF-B-510, INF-B-520, INF-VERT1, IST-05-FG-SOI
0/0/4
deutsch
Prof. Kabitzsch, Dr.-Ing. Dementjev
AI
Technische Informationssysteme
Proseminar Audio
-
INF-B-510, INF-B-520, INF-B-530, INF-B-540, INF-B-610, INF-D-520
0/2/0
deutsch
Prof. Groh
SMT
Mediengestaltung
Proseminar Ausgewählte Themen der Theoretischen Informatik
-
INF-B-510, INF-B-520, INF-B-610, INF-D-520
0/2/0
deutsch
Prof. Baader, Dr. Sturm
THI
Automatentheorie
Proseminar Betriebssysteme

INF-B-610, INF-D-520
0/2/0
deutsch
Prof. Härtig
SYA
Betriebssysteme
Proseminar Datenbanken
-
INF-B-510, INF-B-520, INF-B-530, INF-B-540, INF-B-610, INF-D-520, WI-BA-08
0/2/0
deutsch
Prof. Lehner
SYA
Datenbanken
Proseminar Datenschutz in der Anwendungsentwicklung
Privacy in Context of Application Development
INF-04-PS, INF-B-510, INF-B-520, INF-B-530, INF-B-540, INF-B-610, INF-D-520, MINF-04-PS
0/2/0
deutsch
Dr. Borcea-Pfitzmann
SYA
Datenschutz und Datensicherheit
Proseminar Mediengestaltung im Anwendungskontext

INF-B-610, INF-D-520
0/2/0
deutsch
Prof. Groh
SMT
Mediengestaltung
Proseminar Mobile and Ubiquitous Computing

INF-B-510, INF-B-520, INF-B-530, INF-B-540, INF-B-610, INF-D-520, MINF-04-PS
0/2/0
deutsch
Prof. Schill, Dr. Springer
SYA
Rechnernetze
Proseminar Rechnerarchitektur
-
INF-B-610, INF-D-520
0/2/0
deutsch
Prof. Nagel
TEI
Rechnerarchitektur
Proseminar Rechnernetze
-
INF-04-PS, INF-B-510, INF-B-520, INF-B-530, INF-B-540, INF-B-610, INF-D-520, MINF-04-PS
0/2/0
deutsch
Prof. Schill, Dr. Feldmann
SYA
Rechnernetze
Proseminar Service and Cloud Computing
-
INF-B-510, INF-B-520, INF-B-530, INF-B-540, INF-B-610, INF-D-520, MINF-04-PS
0/2/0
deutsch
Dr. Braun
SYA
Rechnernetze
Proseminar Sicherheit in Computersystemen

INF-04-PS, INF-B-510, INF-B-520, INF-B-530, INF-B-540, INF-B-610, INF-D-520, MINF-04-PS
0/2/0
deutsch
Dr. Köpsell
SYA
Datenschutz und Datensicherheit
Proseminar Softwaretechnologie

INF-04-PS, INF-B-510, INF-B-520, INF-B-530, INF-B-540, INF-D-520, MINF-04-PS
0/2/0
deutsch
Dr. Kubach
SMT
Softwaretechnologie
Proseminar Systems Engineering

INF-B-610, INF-D-520, MINF-04-PS
0/2/0
deutsch
Prof. Fetzer
SYA
Systems Engineering
Proseminar Technische Informatik
-
INF-B-610, INF-D-520
0/2/0
deutsch
Prof. Spallek
TEI
VLSI-Entwurfssysteme, Diagnostik und Architektur
Proseminar Technische Informationssysteme
-
INF-04-PS, INF-B-510, INF-B-520, INF-B-610, INF-D-520, INF-VERT1
0/2/0
deutsch
Prof. Kabitzsch, Dr.-Ing. Dementjev
AI
Technische Informationssysteme
Proseminar Theoretische Informatik
-
INF-B-510, INF-B-520, INF-B-610, INF-D-520
0/2/0
deutsch
Prof. Baier
THI
Algebraische und logische Grundlagen der Informatik
Reading Group Operating Systems

INF-04-FG-AVS, INF-PM-ANW, INF-PM-FOR, IST-05-FG-AVS, MINF-04-FG-SAT
0/2/0
english
Prof. Härtig
SYA
Betriebssysteme
Rechnerarchitektur II
Computer Architecture II
INF-B-330, INF-LE-EUI, INF-LE-MA, IST-05-PF-GS, MATH-BA-INFG, MATH-MA-INFRA
2/2/0
deutsch
Prof. Nagel
TEI
Rechnerarchitektur
Rechnernetze
Computer Networks
INF-B-370, INF-D-270, INF-LE-EUI, INF-LE-MA, INF-LE-PHY, INF-LE-WW, INF-SEBS-INF-10, INF-SEGY-INF-10, INF-SEMS-INF-10, IST-05-PF-HS, MATH-MA-INFVSY
2/2/0
deutsch
Prof. Schill
SYA
Rechnernetze
Resilient Networking
Resilient Networking
D-WW-INF-3421, D-WW-INF-3422, INF-BAS4, INF-BI-3, INF-PM-ANW, INF-VERT4
2/2/0
english
Prof. Strufe
SYA
Datenschutz und Datensicherheit
Ringvorlesung RoSi
-
INF-BAS3, INF-BAS4, INF-BI-2, INF-BI-4, INF-VERT3, INF-VERT4
2/0/0
deutsch
Prof. Aßmann, Dr. Kühne, Dr. Herrmann
SMT, SYA
Softwaretechnologie,Datenbanken
Schedulingtheorie

INF-04-FG-AVS, INF-BAS4, INF-VERT4, IST-05-FG-AVS, MINF-04-FG-SAT
2/0/0
deutsch
Prof. Härtig, Dr. Hamann
SYA
Betriebssysteme
Security and Cryptography II
-
D-WW-INF-3421, D-WW-INF-3422, DSE-14-E1, INF-04-FG-AVS, INF-B-510, INF-B-520, INF-B-530, INF-B-540, INF-BAS4, INF-BI-3, INF-LE-WW, INF-PM-ANW, INF-VERT4, IST-05-FG-AVS, MINF-04-FG-IAS
2/2/0
english
Prof. Strufe, Dr. Köpsell
SYA
Datenschutz und Datensicherheit
Semantic Computing
-
INF-BAS2, INF-VERT2, MCL-AI, MCL-KR
2/2/0
english
Dr. phil. Gromann
KI
Computational Logic
Seminar Barrierefreie Literaturerstellung
-
INF-AQUA, INF-B-610, INF-D-520, INF-D-940
0/2/0
deutsch
Prof. Weber
AI
Mensch-Computer Interaktion
Seminar Current Topics in Embedded Systems
-
INF-AQUA, INF-B-510, INF-B-530, INF-D-940, INF-VERT5
0/2/0
english
Prof. Dr. Kumar
TEI
Prozessordesign
Seminar Existential Rules
-
INF-AQUA, INF-D-940, INF-PM-FOR, MCL-PS, MCL-TCSL
0/2/0
english
Prof. Krötzsch
THI
Wissensbasierte Systeme
Seminar Mathematical Biology
-
INF-LE-BIOTEC, INF-LE-MA, INF-LE-PHY, VNT-57
0/2/0
english
Prof. Dr. Voß-Böhme, Prof. Deutsch, Dr. Brusch
HTW, TEI
Andere Fakultät,Rechnerarchitektur
Seminar Modellierung und Architektur von Softwaresystemen

FAK-INF-FF, INF-04-FG-SWT
0/2/0
deutsch
Prof. Aßmann, Dr. Demuth
SMT
Softwaretechnologie
Seminar Natural Language Processing I
-
INF-04-PS, INF-B-510, INF-B-520, INF-B-610, INF-D-520
0/2/0
deutsch
Prof. Vogler
THI
Grundlagen der Programmierung
Seminar Natural Language Processing II
-
INF-04-FG-TP, INF-04-HS, INF-AQUA, INF-D-940
0/2/0
deutsch
Prof. Vogler
THI
Grundlagen der Programmierung
Seminar Selected Topics in Logic and Verification
-
INF-04-HS, INF-AQUA, INF-D-940, MCL-PS
0/2/0
english
Prof. Baier
THI
Algebraische und logische Grundlagen der Informatik
Seminar Theoretical Computer Science
-
INF-04-HS, INF-AQUA, INF-D-940, MCL-PS
0/2/0
english
Prof. Baader, Dr. Turhan
THI
Automatentheorie
Skalierbare Software-Werkzeuge zur Unterstützung der Anwendungsoptimierung auf HPC-Systemen
-
INF-PM-FPA
8P/PB
deutsch
Prof. Nagel
TEI
Rechnerarchitektur
Software Fault Tolerance
-
DSE-14-E7, INF-04-FG-AVS, INF-B-510, INF-B-520, INF-B-530, INF-B-540, INF-BAS3, INF-BAS4, INF-LE-EUI, INF-PM-ANW, INF-VERT3, INF-VERT4, IST-05-FG-AVS, MINF-04-FG-SAT
2/2/0
english
Prof. Fetzer, Dr. Martin
SYA
Systems Engineering
Software-Reengineering
-
INF-04-FG-SWT, INF-B-520, INF-BAS3, INF-BI-4, INF-VERT3, IST-05-FG-SWT, MINF-04-FG-EMW
2/2/0
english
Prof. Aßmann, Hr. Sneed
SMT
Softwaretechnologie
Softwaremanagement

INF-04-FG-SWT, INF-B-510, INF-B-520, INF-B-530, INF-B-540, INF-BAS3, INF-BI-5, INF-LE-MA, IST-05-FG-SWT, MATH-MA-INFSEN, MINF-04-FG-EMW
2/2/0
deutsch
Dr. Demuth
SMT
Softwaretechnologie
Softwaretechnologie
Software Engineering
INF-B-310, INF-D-240, INF-LE-EUI, INF-LE-MA, INF-LE-PHY, INF-LE-WW, INF-SEBS-INF-20, INF-SEGY-INF-20, IST-05-PF-GS, MATH-BA-INFC, MATH-MA-INFSEN
2/2/0
deutsch
Prof. Aßmann, Dr. Demuth
SMT
Softwaretechnologie
Spatiotemporal Modeling and Simulation of Biological Systems
-
DSE-14-E13, DSE-14-E14, INF-BAS2, INF-BAS3, INF-BAS7, INF-VERT2, INF-VERT3, INF-VERT7
2/2/0
english
Prof. Sbalzarini
KI
Wissenschaftliches Rechnen für Systembiologie
Struktur und Operationsprinzip von Prozessoren

INF-04-FG-TI, INF-B-510, INF-B-520, INF-E-3, INF-LE-MA, INF-VERT5, IST-05-FG-TI, MATH-MA-INFHR
2/0/0
deutsch
Prof. Nagel
TEI
Rechnerarchitektur
Systemsicherheits-Labor
-
INF-BAS4, INF-BI-3, INF-PM-ANW, INF-VERT4
2/2/0
deutsch
Prof. Strufe, Dr. Köpsell
SYA
Datenschutz und Datensicherheit
Technisches Design I
-
INF-E-1
2/0/0
deutsch



Term Rewriting Systems
-
INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-AI, MCL-PI, MCL-TCSL
4/2/0
english
Prof. Baader
THI
Automatentheorie
Theoretische Informatik und Logik
Theoretical Computer Science and Logic
INF-B-290, INF-D-330
4/2/0
deutsch
Prof. Krötzsch
THI
Wissensbasierte Systeme
Transactional Information Systems - Übung

DSE-14-M3
0/2/0
deutsch
Prof. Lehner
SYA
Datenbanken
Wireless Sensor Networks

DSE-14-E2, DSE-14-E5, INF-04-FG-AVS, INF-BAS4, INF-BI-1, INF-LE-EUI, INF-PM-ANW, INF-VERT4, IST-05-FG-AVS, MINF-04-FG-SAT
2/2/0
english
Prof. Schill, Dr. Dargie
SYA
Rechnernetze



Sommersemester 2018 - Überblick