Mathematical and Engineering Methods in Computer Science - KuÄera (Springer Berlin Heidelberg, 2013)