Computer Science: Theory and Application