Theory and Applications of Models of Computation 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings - Kratochvíl, Jan; Li, Angsheng; Fiala, Jiří; Kolman, Petr (Springer Berlin Heidelberg, 2010)