Mathematical and engineering methods in computer science 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011; revised selected papers (Springer, 2012)