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