Electronic Books

Total Books: 1861 - 1880 /1913

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

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

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

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

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

In this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem ...

This book is one of the first systematic studies on the nonlinear output regulation problem that embraces both the local ...

There has been a long debate about whether uniformly accelerated charges should radiate electromagnetic energy and how one ...

In June of 2002, over 500 professors, students and researchers met in Boston, Massachusetts for the Fourth International ...

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

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

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

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

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

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

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

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

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

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

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

Total Books: 1861 - 1880 /1913