Mathematical and Engineering Methods in Computer Science : 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers - Zden.k Kotásek, Jan Bouda, Ivana .erná, Luká. Sekanina, Tomá. Vojnar, David Anto ((Lecture Notes in Computer Science))