Mathematical and Engineering Methods in Computer Science 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers - Kotásek, Zdeněk; Bouda, Jan; Černá, Ivana; Sekanina, Lukáš; Vojnar, Tomáš; Antoš, David (Springer Berlin Heidelberg : Imprint: Springer, 2012)