Unfoldings : A Partial-Order Approach to Model Checking
In this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem ...
Weiterlesen
Unifying Perspectives in Computational and Robot Vision
The field of computer vision has developed significantly over the last several years and the application areas span a broad ...
Weiterlesen
Unifying Themes in Complex Systems IV : Proceedings of the Fourth International Conference on Complex Systems
In June of 2002, over 500 professors, students and researchers met in Boston, Massachusetts for the Fourth International ...
Weiterlesen
Unifying Theories of Programming
A number of formal notations and theories have now emerged and proved them-selves effective as tools for the practisingsoftware ...
Weiterlesen
Unifying the Software Process Spectrum
This volume contains papers presented at SPW 2005, the Software Process Workshop held in Beijing, P. R. China, on May 25-27, ...
Weiterlesen
Unique Environmentalism
This book explains and demonstrates how the Norwegian case of environmentalism is unique. The two connected anomalies of ...
Weiterlesen
United Nations Peace Operations in a Changing Global Order
This volume explores how UN peace operations are adapting to four trends in the changing global order: the rebalancing of ...
Weiterlesen
Unity, Truth and the Liar : The Modern Relevance of Medieval Solutions to the Liar Paradox
This volume includes a target paper, taking up the challenge to revive, within a modern (formal) framework, a medieval solution ...
Weiterlesen
Univariate Time Series in Geosciences
The author introduces the statistical analysis of geophysical time series. The book includes also a chapter with an introduction ...
Weiterlesen
Universal Access in Ambient Intelligence Environments
This volume contains the proceedings of the last ERCIM “User Interfaces for All” Workshop. The work of the ERCIM WG UI4ALL ...
Weiterlesen
Universal Access in Health Telematics
Information Society for All (IS4ALL) is devoted to consolidating and codifying available knowledge of universal access in ...
Weiterlesen
Universal Access in Human-Computer Interaction. Ambient Interaction
This volume, edited by Constantine Stephanidis, contains papers in the thematic area of Universal Access in Human-Computer ...
Weiterlesen
Universal Access in Human-Computer Interaction. Applications and Services
This volume, edited by Constantine Stephanidis, contains papers in the thematic area of Universal Access in Human Computer ...
Weiterlesen
Universal Acess in Human Computer Interaction. Coping with Diversity
This volume, edited by Constantine Stephanidis, contains papers in the thematic area of Universal Access in Human-Computer ...
Weiterlesen
Universal Algebra
Universal Algebra, heralded as ". . . the standard reference in a field notorious for the lack of standardization . . .," ...
Weiterlesen
Universal Artificial Intelligence
This book presents sequential decision theory from a novel algorithmic information theory perspective. While the former is ...
Weiterlesen
Universality of Nonclassical Nonlinearity
This book comes as a result of the research work developed in the framework of two international projects: the European Science ...
Weiterlesen
Universities and Science in the Early Modern Period
The authors of this volume offer a fresh assessment of how this course of study affected generations of natural philosophers, ...
Weiterlesen
University Dynamics and European Integration
This book explores the visions underlying the attempts to reform the European University as well as two European integration ...
Weiterlesen
Unsettling Responsibility in Science Education Indigenous Science, Deconstruction, and the Multicultural Science Education Debate
This book engages with the response-ability of science education to Indigenous ways-of-living-with-Nature. Higgins deconstructs ...
Weiterlesen
