materials
material download
Seminar Satisfiability Modulo Theories - winter term 08/09
organiser
| lecturer | Bernd Becker, Prof. Dr., Chair of Computer Architecture |
| Christoph Scholl, Prof. Dr., Chair of Operating Systems | |
| assistant | Tobias Schubert, Dr., Chair of Computer Architecture |
| organizer | Jochen Eisinger, Dipl.-Inf., Chair of Computer Architecture |
| Stefan Kupferschmid, Dipl.-Inf., Chair of Computer Architecture | |
| Ralf Wimmer, Dipl.-Inf., Chair of Computer Architecture | |
| Tobias Nopper, Dipl.-Inf., Chair of Operating Systems |