![](/img/anew/void.gif) |
![](/img/anew/void.gif) |
![](/img/anew/void.gif) |
![](/img/anew/void.gif) |
![](/img/anew/void.gif) |
![](/img/anew/void.gif) |
![](/img/anew/void.gif) |
![](/img/anew/void.gif) |
![](/img/anew/void.gif) |
![](/img/anew/void.gif) |
![](/img/anew/void.gif) |
![](/img/anew/void.gif) |
![](/img/anew/void.gif) |
![](/img/anew/void.gif) |
|
![](/img/anew/void.gif) |
![](/img/anew/void.gif) |
Informationssystem der Otto-Friedrich-Universität Bamberg |
© Config eG |
|
|
|
![](/img/anew/void.gif) |
![](/img/anew/void.gif) |
|
Lehrveranstaltungen
|
GdI Seminar & Advanced Reading Club: "Formalised Logic and the Interactive Proof Checker Coq"
S; Di, 16:00 - 18:00, F21/061
|
Mendler, M.
Sticht, M.
|
|
GdI-GTI-B: Grundlagen der Theoretischen Informatik (Machines and Languages)
Ü; 2 SWS; Do, 14:00 - 16:00, F21/381; Mi, 18:00 - 20:00, FMA/006; Einzeltermin am 26.4.2012, 14:00 - 16:00, KÄ7/00.108; Einzeltermin am 6.7.2012, 14:00 - 16:00, FMA/006; Einzeltermin am 23.8.2012, 13:00 - 15:00, F21/381
|
Mendler, M.
Sticht, M.
|
|
![](/img/anew/void.gif) |
![](/img/anew/void.gif) |
|
UnivIS ist ein Produkt der Config eG, Buckenhof |
|
|