Juraj Hromkovic takes the reader on an elegant route through the theoretical fundamentals of computer science. The author shows that theoretical computer scienc

This book assembles some of the most important problems and solutions in theoretical computer science-from computability, logic, circuit theory, and complexity.

This Third Edition, in response to the enthusiastic reception given by academia and students to the previous edition, offers a cohesive presentation of all aspe

Using basic category theory, this Element describes all the central concepts and proves the main theorems of theoretical computer science. Category theory, whic