Mathematical and Engineering Methods in Computer Science - Hliněný (Springer International Publishing, 2014)