This book is about describing the meaning of programming languages. While a compiler or an interpreter offers a form of formal ...
Lire la suiteIn this edited open access book leading scholars from different disciplinary backgrounds wrestle with social science integration ...
Lire la suite
This book gives an overview of today’s energy problem in the context of a rising world population, climate change and the ...
Lire la suite
The importance of non-standard employment forms has increased over the last decades. Janine Leschke addresses two important ...
Lire la suite
In this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem ...
Lire la suite
This book is one of the first systematic studies on the nonlinear output regulation problem that embraces both the local ...
Lire la suite
In June of 2002, over 500 professors, students and researchers met in Boston, Massachusetts for the Fourth International ...
Lire la suite
This volume contains selected transcripts from presentations given at the conference. Speakers include: Chris Adami, Kenneth ...
Lire la suite
This volume contains over 35 papers selected from those presented at the conference on topics including: self-organization ...
Lire la suite
This volume, edited by Constantine Stephanidis, contains papers in the thematic area of Universal Access in Human Computer ...
Lire la suite
Uranium is an element to be found ubiquitous in rock, soil, and water. Uranium concentrations in natural ground water can ...
Lire la suite
This book tells the story of two giants and a dwarf. The giants, Uranus and Neptune, are mostly huge balls of gas, and they ...
Lire la suite
Urban Ecology is the study of ecosystems that include humans living in cities and urbanizing landscapes. This book presents ...
Lire la suite
This book examines the importance of urban environmental management in the face of formidable challenges. It offers a comprehensive ...
Lire la suite
This book is the first to systematically introduce the principles of urban informatics and its application to every aspect ...
Lire la suite
This book serves as a textbook for Urban/Community Forestry courses and a handbook for Shade Tree Commissions, tree wardens, ...
Lire la suite
Urethral reconstructive surgery can often be complex, time consuming and demanding. Enlightening urologists in a practical ...
Lire la suite
Laparoscopy has allowed surgeons to perform major surgical procedures through small incisions. The introduction of laparoscopy ...
Lire la suite
Urological Oncology provides a comprehensive overview of the multi-disciplinary management of adult genito-urinary (GU) cancers. ...
Lire la suite
this book is based on the fact that it is the usersâ judgments that is the final measure regarding usability and acceptance ...
Lire la suite