Mathematical and Engineering Methods in Computer Science : 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012 - Kučera, Antonín, 1971-; Henzinger, T. A., 1962-; Nešetřil, Jaroslav, 1946-; Vojnar, Tomáš, 1973-; Antoš, David, 1977- (Lecture notes in computer science ;, 2013)