Materialien
Vorlesungsmaterial
Seminar Satisfiability Modulo Theories - Wintersemester 08/09
Veranstalter
| Dozent | Bernd Becker, Prof. Dr., Lehrstuhl für Rechnerarchitektur |
| Christoph Scholl, Prof. Dr., Lehrstuhl für Betriebssysteme | |
| Assistent | Tobias Schubert, Dr., Lehrstuhl für Rechnerarchitektur |
| Betreuer | Jochen Eisinger, Dipl.-Inf., Lehrstuhl für Rechnerarchitektur |
| Stefan Kupferschmid, Dipl.-Inf., Lehrstuhl für Rechnerarchitektur | |
| Ralf Wimmer, Dipl.-Inf., Lehrstuhl für Rechnerarchitektur | |
| Tobias Nopper, Dipl.-Inf., Lehrstuhl für Betriebssysteme |