Mathematical and engineering methods in computer science Antonín Kučera ... (eds.). 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers (Springer, 2013)