This book is not anti-urban, but it does advocate a greater range of options for people to live the way they want at all stages of their lives.

This edition is an introduction to concurrency and examines the growing importance of concurrency constructs embedded in programming languages and of formal methods such as model checking.

Through a weak constructionist theoretical perspective, the book shows the utility of this new sub-field by addressing two central themes: trauma and ressentiment.

This glossary contains more than 5,000 technical terms and definitions that were standardized by the federal government for use by international and U.S. government telecommunications specialists.

The PISA 2003 Technical Report describes the complex methodology underlying PISA 2003, along with additional features related to the implementation of the project at a level of detail that allows researchers to understand and replicate its ...

An introduction to the life and art of the nineteenth century Dutch painter.

This book includes papers presented at the International Conference “Educational Robotics in the Maker Era – EDUROBOTICS 2020”, Online, February 2021.