Mathematical and Engineering Methods in Computer Science 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers - Kučera, Antonín; Henzinger, Thomas A.; Nešetřil, Jaroslav; Vojnar, Tomáš; Antoš, David (Springer Berlin Heidelberg : Imprint: Springer, 2013)