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 suiteThis book gives an overview of today’s energy problem in the context of a rising world population, climate change and the ...
Lire la suiteThe importance of non-standard employment forms has increased over the last decades. Janine Leschke addresses two important ...
Lire la suiteIn this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem ...
Lire la suiteThis book is one of the first systematic studies on the nonlinear output regulation problem that embraces both the local ...
Lire la suiteIn June of 2002, over 500 professors, students and researchers met in Boston, Massachusetts for the Fourth International ...
Lire la suiteThis volume contains selected transcripts from presentations given at the conference. Speakers include: Chris Adami, Kenneth ...
Lire la suiteThis volume contains over 35 papers selected from those presented at the conference on topics including: self-organization ...
Lire la suiteThis volume, edited by Constantine Stephanidis, contains papers in the thematic area of Universal Access in Human Computer ...
Lire la suiteUranium is an element to be found ubiquitous in rock, soil, and water. Uranium concentrations in natural ground water can ...
Lire la suiteThis 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 suiteUrban Ecology is the study of ecosystems that include humans living in cities and urbanizing landscapes. This book presents ...
Lire la suiteThis book examines the importance of urban environmental management in the face of formidable challenges. It offers a comprehensive ...
Lire la suiteThis book is the first to systematically introduce the principles of urban informatics and its application to every aspect ...
Lire la suiteThis book serves as a textbook for Urban/Community Forestry courses and a handbook for Shade Tree Commissions, tree wardens, ...
Lire la suiteUrethral reconstructive surgery can often be complex, time consuming and demanding. Enlightening urologists in a practical ...
Lire la suiteLaparoscopy has allowed surgeons to perform major surgical procedures through small incisions. The introduction of laparoscopy ...
Lire la suiteUrological Oncology provides a comprehensive overview of the multi-disciplinary management of adult genito-urinary (GU) cancers. ...
Lire la suitethis book is based on the fact that it is the usersâ judgments that is the final measure regarding usability and acceptance ...
Lire la suite