Electronic Books

Total Books: 861 - 880 /1451

This book constitutes the refereed proceedings of the 10th European Conference on Logics in Artificial Intelligence, JELIA ...

This book constitutes the refereed proceedings of the 11th European Conference on Logics in Artificial Intelligence, JELIA ...

The editors and authors are authorities on these specification languages and their application. Dedicated chapters address: ...

The 96 revised full papers presented together with 2 invited lectures were carefully reviewed and selected from 363 submissions. ...

Good computer books make assumptions about the reader: what they do and don't know when they pick up the book, and what ...

This book offers the first systematic guide to machine ethics, bridging between computer science, social sciences and philosophy. ...

This book constitutes the refereed post-proceedings of the First PASCAL Machine Learning Challenges Workshop, MLCW 2005. ...

The two premier annual European conferences in the areas of machine learning and data mining have been collocated ever since ...

This volume contains papers presented at the International Conference on Software Process (ICSP 2008) held in Leipzig, Germany, ...

Making Grids Work includes selected articles from the CoreGRID Workshop on Grid Programming Models, Grid and P2P Systems ...

Provides a timely and coherent account of the recent advances in many-core computing research. Starting with programming ...

Markov decision processes (MDPs), also called stochastic dynamic programming, were first studied in the 1960s. MDPs can be ...

Mathematical Control Theory: An Introduction presents, in a mathematically precise manner, a unified introduction to deterministic ...

This book constitutes the refereed proceedings of the 33rd International Symposium on Mathematical Foundations of Computer ...

This two-volume, interdisciplinary work is a unified presentation of a broad range of state-of-the-art topics in the rapidly ...

The goals of this book are to present a variety of image analysis applications, the precise mathematics involved and how ...

The goals of this book are to present a variety of image analysis applications, the precise mathematics involved and how ...

This book is about the results of a number of projects funded by the BMBF in the initiative "Mathematics for Innovations ...

The 2006 Abel symposium is focusing on contemporary research involving interaction between computer science, computational ...

This volume contains the proceedings of the 8th International Conference on Mathematics of ProgramConstruction, MPC 2006,held ...

Total Books: 861 - 880 /1451