Electronic Books

Total Books: 1861 - 1880 /1913

Unconventional Computing : 7th International Conference, UC 2008 Vienna, Austria, August 25-28, 2008. Proceedings

The book is devoted to all aspects of unconventional computation ranging from theoretical and experimental aspects to various ...

Undergraduate Algebra

Undergraduate Algebra is a text for the standard undergraduate algebra course. It concentrates on the basic structures and ...

Understanding Planning Tasks : Domain Complexity and Heuristic Decomposition

Action planning has always played a central role in Artificial Intelligence. Given a description of the current situation, ...

Understanding Programming Languages

This book is about describing the meaning of programming languages. While a compiler or an interpreter offers a form of formal ...

Understanding Risks and Uncertainties in Energy and Climate Policy

This book analyzes and seeks to consolidate the use of robust quantitative tools and qualitative methods for the design and ...

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 ...

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 ...

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 ...

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 ...

Unifying Theories of Programming

A number of formal notations and theories have now emerged and proved them-selves effective as tools for the practisingsoftware ...

Unitals in Projective Planes

This clearly written text is the first book on unitals embedded in finite projective planes. Unitals are key structures in ...

Univariate Stable Distributions

This textbook highlights the many practical uses of stable distributions, exploring the theory, numerical algorithms, and ...

Universal Artificial Intelligence

This book presents sequential decision theory from a novel algorithmic information theory perspective. While the former is ...

Using Algebraic Geometry

In recent years, the discovery of new algorithms for dealing with polynomial equations, coupled with their implementation ...

Using the Borsuk-Ulam Theorem : Lectures on Topological Methods in Combinatorics and Geometry

Matousek's lively little textbook now shows that Lovász' insight as well as beautiful work of many others (such as Vrecica ...

VI Hotine-Marussi Symposium on Theoretical and Computational Geodesy

This volume of proceedings is a collection of refereed papers resulting from the VI Hotine-Marussi Symposium on Theoretical ...

Vacation Queueing Models

A classical queueing model consists of three parts - arrival process, service process, and queue discipline. However, a vacation ...

Value Distribution Theory Related to Number Theory

The subject of the book is Diophantine approximation and Nevanlinna theory. Not only does the text provide new results and ...

Value and the Humanities The Neoliberal University and Our Victorian Inheritance

Tracing the shift from liberal to neoliberal education from the nineteenth century to the present day, this open access book ...

Value-Based Management in an Open Economy : Optimizing Strategy to Improve Business and Performance / Walter Amedzro St-Hilaire

Investigates the relationship between strategy optimization mechanisms and the efficiency (performance and productivity) ...

Total Books: 1861 - 1880 /1913