SOFSEM 2017: Theory and Practice of Computer Science : 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings - Steffen, Bernhard. (Springer International Publishing : Imprint: Springer, 2017)