Mathematical and Engineering Methods in Computer Science 9th International Doctoral Workshop, MEMICS 2014, Telč, Czech Republic, October 17–19, 2014, Revised Selected Papers - Hliněný, Petr; Dvořák, Zdeněk; Jaroš, Jiří; Kofroň, Jan; Kořenek, Jan; Matula, Petr; Pala, Karel (Springer International Publishing : Imprint: Springer, 2014)