Skip navigation
Skip to navigation
Skip to the bottom
Simulate organization breadcrumb open
Simulate organization breadcrumb close
Friedrich-Alexander-Universität
Lehrstuhl für theoretische Informatik 8
TCS
FAU
To the central FAU website
Please enter the search term for searching into the documents of this website:
Campo
UnivIS
Jobs
Map
Help
Friedrich-Alexander-Universität
Lehrstuhl für theoretische Informatik 8
TCS
Navigation
Navigation close
PEOPLE
TEACHING
RESEARCH
PUBLICATIONS
CONTACT
Home
Teaching
Sommersemester 2019
Sommersemester 2019
Sommersemester 2019
Theorie der Programmierung
Theoretische Informatik für Wirtschaftsinformatik und Lehramt
Praktische Semantik von Programmiersprachen
Themen der Kategorientheorie
Monad-Based Programming
Seminar nominale Mengen und Automaten
Oberseminar