Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)

Concise Computer Vision: An Introduction into Theory and Algorithms (Undergraduate Topics in Science)

Automata Theory and Formal Languages: Fundamental Notions, Theorems, Techniques (Undergraduate Topics in Computer Science)

A Concise Introduction to Data Compression (Undergraduate Topics in Computer Science)