SOFSEM 2013: theory and practice of computer science : 39th international conference on current trends in theory and practice of computer science : Špindlerův Mlýn, Czech Republic, January 26-31, 2013 : proceedings : SOFSEM 2013 student research forum : Jan 2013, Špindlerův Mlýn, Czech Republic.