Lehre / Teaching, SS 2010 (Bernhard Gramlich)
-
Semantik von Programmiersprachen / Semantics of Programming Languages, VU 3.0/2.0
[Informatik-Masterstud.
(Comp. Int., SW Eng. & Internet Comp., Techn. Inf.),
European Masters Program in Computational Logic]
-
Computational Equational Logic, VU 3.0/2.0
[Informatik-Masterstud. (Comp. Int., SW Eng. & Internet Comp.),
European Masters Program in Computational Logic]
- Seminar
aus Theoretischer Informatik, SE 3.0/2.0
[Informatik-Masterstud.
(Comp. Int., Inf. & Knowl. Management, SW Eng. & Internet Comp.),
European Masters Program in Computational Logic]
-
Formale Methoden der Informatik, VU 6.0/4.0
[Informatik-Masterstudien]
-
Seminare, Praktika, Diplomarbeit, Dissertation
Home Page B.G.
| AG 185/2
| Institut 185
| Server Home Page
| Faculty of Informatics
| TU Wien
Last modified: Tue Feb 23 20:39:08 CET 2010
Bernhard Gramlich