Electronic Books

Total Books: 1121 - 1140 /1146

This is the 4th edition of a book originally published by Kluwer Academic Publishers. It is an exhaustive monograph on turbulence ...

This volume introduces some basic theories on computational neuroscience. Chapter 1 is a brief introduction to neurons, tailored ...

The 7th International Conference on Typed Lambda Calculi and Applications (TLCA 2005) was held in Nara (Japan) from 21 to ...

This book is the refereed proceedings of the Third International Conference on Ubiquitous Intelligence and Computing, UIC ...

This book constitutes the refereed proceedings of the 4th International Conference on Ubiquitous Intelligence and Computing ...

This book constitutes the refereed proceedings of the Sixth International Conference on Unconventional Computation, UC 2007,organized ...

The Fourth International Conference on Unconventional Computation, UC 2005, organized under the auspices of EATCS by the ...

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

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

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

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

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

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

This monograph presents a complete computational system for visual attention and object detection: VOCUS (Visual Object detection ...

This volume contains the proceedings of the international workshop Variational Problems in Materials Science, which was jointly ...

The book having nine chapters reviews fundamental physical and mathematical problems of the Vavilov-Cherenkov effect of media. ...

Links the formal theory of word vectors to the cognitive theory of linguistics. The computational linguists and deep learning ...

This volume presents the Proceedings of the Seventh International Conference on Vibration Problems, held in Istanbul, Turkey, ...

This book covered are information and data visualization; advances techniques for visual information management; mobile visual ...

Total Books: 1121 - 1140 /1146