Mathematical Foundations of Computer Science 2010 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010. Proceedings - Hliněný, Petr; Kučera, Antonín (Springer Berlin Heidelberg, 2010)