Unifying Theories of Programming
A number of formal notations and theories have now emerged and proved them-selves effective as tools for the practisingsoftware ...
Lee mas
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, ...
Lee mas
Unique Environmentalism
This book explains and demonstrates how the Norwegian case of environmentalism is unique. The two connected anomalies of ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Univariate Time Series in Geosciences
The author introduces the statistical analysis of geophysical time series. The book includes also a chapter with an introduction ...
Lee mas
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 ...
Lee mas
Universal Access in Health Telematics
Information Society for All (IS4ALL) is devoted to consolidating and codifying available knowledge of universal access in ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Universal Artificial Intelligence
This book presents sequential decision theory from a novel algorithmic information theory perspective. While the former is ...
Lee mas
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, ...
Lee mas
University Dynamics and European Integration
This book explores the visions underlying the attempts to reform the European University as well as two European integration ...
Lee mas
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 ...
Lee mas
Upon What Does the Turtle Stand?
This book brings together the reflections of independent researchers from around the world. Sixteen authors from fourteen ...
Lee mas
Upscaling Multiphase Flow in Porous Media
This will be an invaluable reference for the development of new theories and computer-based modeling techniques for solving ...
Lee mas
Uranium in the Environment
Uranium is an element to be found ubiquitous in rock, soil, and water. Uranium concentrations in natural ground water can ...
Lee mas
Uranium, Mining and Hydrogeology
Subject of the book is Uranium and its migration in aquatic environments. The following subjects are emphasised: Uranium ...
Lee mas
Uranus, Neptune, and Pluto and How to Observe Them
This book tells the story of two giants and a dwarf. The giants, Uranus and Neptune, are mostly huge balls of gas, and they ...
Lee mas
