Mathematical foundations of computer science 2010 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010 ; proceedings (Springer, 2010)