Mathematical and Engineering Methods in Computer Science: 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, ...

Antonín Kučera , Thomas A. Henzinger , Jaroslav Nešetřil