Mathematical and Engineering Methods in Computer Science