Ingenieurwissenschaften und Informatik

1: Institute und Einrichtungen.
2: Veranstaltungen.
3: Sitzungstermine / Interne Veranstaltungstermine.
4: Forschung an der Fakultät.
5: Studium und Lehre.
6: Struktur und Gremien.
7: Stellenangebote.
8: Alumni.

Aktuelles

State-of-the-art SAT solving using look-ahead techniques - 17.09.2009

Herr Dr. Marijn Heule, TU Delft, Faculty of Engineering, Mathematics and Computer Science (EWI), Department of Software Technology, 17.09.2009, O27/531

17.09.2009 16:00 Alter: 2 Jahre