The interplay between words, computability, algebra and arithmetic has now proved its relevance and fruitfulness. Indeed, the cross-fertilization between formal

Formal Languages, Automaton and Numeration Systems presents readers with a review of research related to formal language theory, combinatorics on words or numer

This book presents a panorama of recent developments in the theory of tilings and related dynamical systems. It contains an expanded version of courses given in

This book – the first of two volumes – explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their

The main aim of this book is to offer companies a simple and practical method to assess their maturity in the Governance Information System, so that they are in