Materialien
Vorlesungsmaterial
Seminar: SAT and beyond - Wintersemester 07/08
Veranstalter
| Dozent | Bernd Becker, Prof. Dr., Lehrstuhl für Rechnerarchitektur |
| Betreuer | Natalia Kalinnik, Dipl.-Inf., Lehrstuhl für Rechnerarchitektur |
| Ralf Wimmer, Dipl.-Inf., Lehrstuhl für Rechnerarchitektur | |
| Stefan Kupferschmid, Dipl.-Inf., Lehrstuhl für Rechnerarchitektur |