Theoretical computer science focuses on the more abstract, logical & mathematical aspects of computing, such as the theory of computation, analysis of algorithms & semantics of programming languages. This book presents the research in the field from around the globe.