Theory and Applications of Models of Computation : 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings - Jan Kratochvíl, Angsheng Li, Ji.í Fiala, Petr Kolman ((Lecture Notes in Computer Science))