SOFSEM 2014: theory and practice of computer science : 40th international conference on current trends in theory and practice of computer science : Nový Smokovec, Slovakia, January 26-29, 2014 : proceedings : SOFSEM student research forum : Jan 2014, Nový Smokovec, Slovakia.