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 ...
Continue reading
Uniform Output Regulation of Nonlinear Systems
This book is one of the first systematic studies on the nonlinear output regulation problem that embraces both the local ...
Continue reading
Uniformly Accelerating Charged Particles : A Threat to the Equivalence Principle
There has been a long debate about whether uniformly accelerated charges should radiate electromagnetic energy and how one ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
Unifying Themes in Complex Systems, Vol. IIIA: Overview
This volume contains selected transcripts from presentations given at the conference. Speakers include: Chris Adami, Kenneth ...
Continue reading
Unifying Themes in Complex Systems, Vol. IIIB: New Research
This volume contains over 35 papers selected from those presented at the conference on topics including: self-organization ...
Continue reading
Unifying Theories of Programming
A number of formal notations and theories have now emerged and proved them-selves effective as tools for the practisingsoftware ...
Continue reading
Unique Environmentalism
This book explains and demonstrates how the Norwegian case of environmentalism is unique. The two connected anomalies of ...
Continue reading
Unitals in Projective Planes
This clearly written text is the first book on unitals embedded in finite projective planes. Unitals are key structures in ...
Continue reading
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 ...
Continue reading
United States and European Union Auditor Independence Regulation
There is a difference in the communication and safeguarding effects of a regulation, depending on the precision of its wording. ...
Continue reading
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 ...
Continue reading
Univariate Stable Distributions
This textbook highlights the many practical uses of stable distributions, exploring the theory, numerical algorithms, and ...
Continue reading
Univariate Time Series in Geosciences
The author introduces the statistical analysis of geophysical time series. The book includes also a chapter with an introduction ...
Continue reading
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 ...
Continue reading
Universal Access in Health Telematics
Information Society for All (IS4ALL) is devoted to consolidating and codifying available knowledge of universal access in ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
Universal Algebra
Universal Algebra, heralded as ". . . the standard reference in a field notorious for the lack of standardization . . .," ...
Continue reading
