Logics in Artificial Intelligence
This book constitutes the refereed proceedings of the 10th European Conference on Logics in Artificial Intelligence, JELIA ...
اقرأ المزيد
Logics in Artificial Intelligence : 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings
This book constitutes the refereed proceedings of the 11th European Conference on Logics in Artificial Intelligence, JELIA ...
اقرأ المزيد
Logics of Specification Languages
The editors and authors are authorities on these specification languages and their application. Dedicated chapters address: ...
اقرأ المزيد
MICAI 2008: Advances in Artificial Intelligence :7th Mexican International Conference on Artificial Intelligence, Atizapán de Zaragoza, Mexico, October 27-31, 2008 Proceedings
The 96 revised full papers presented together with 2 invited lectures were carefully reviewed and selected from 363 submissions. ...
اقرأ المزيد
Mac OS X Leopard : Beyond the Manual
Good computer books make assumptions about the reader: what they do and don't know when they pick up the book, and what ...
اقرأ المزيد
Machine Ethics
This book offers the first systematic guide to machine ethics, bridging between computer science, social sciences and philosophy. ...
اقرأ المزيد
Machine Learning Challenges
This book constitutes the refereed post-proceedings of the First PASCAL Machine Learning Challenges Workshop, MLCW 2005. ...
اقرأ المزيد
Machine Learning: ECML 2007
The two premier annual European conferences in the areas of machine learning and data mining have been collocated ever since ...
اقرأ المزيد
Making Globally Distributed Software Development a Success Story : International Conference on Software Process, ICSP 2008 Leipzig, Germany, May 10-11, 2008 Proceedings
This volume contains papers presented at the International Conference on Software Process (ICSP 2008) held in Leipzig, Germany, ...
اقرأ المزيد
Making Grids Work : Proceedings of the CoreGRID Workshop on Programming Models Grid and P2P System Architecture Grid Systems, Tools and Environments 12-13 June 2007, Heraklion, Crete, Greece
Making Grids Work includes selected articles from the CoreGRID Workshop on Grid Programming Models, Grid and P2P Systems ...
اقرأ المزيد
Many-Core Computing : Hardware and software
Provides a timely and coherent account of the recent advances in many-core computing research. Starting with programming ...
اقرأ المزيد
Markov Decision Processes with Their Applications
Markov decision processes (MDPs), also called stochastic dynamic programming, were first studied in the 1960s. MDPs can be ...
اقرأ المزيد
Mathematical Control Theory : An Introduction
Mathematical Control Theory: An Introduction presents, in a mathematically precise manner, a unified introduction to deterministic ...
اقرأ المزيد
Mathematical Foundations of Computer Science 2008 : 33rd International Symposium, MFCS 2008, Toru´n, Poland, August 25-29, 2008. Proceedings
This book constitutes the refereed proceedings of the 33rd International Symposium on Mathematical Foundations of Computer ...
اقرأ المزيد
Mathematical Modeling of Biological Systems, Volume II : Epidemiology, Evolution and Ecology,Immunology, Neural Systems and the Brain, and Innovative Mathematical Methods
This two-volume, interdisciplinary work is a unified presentation of a broad range of state-of-the-art topics in the rapidly ...
اقرأ المزيد
Mathematical Problems in Image Processing
The goals of this book are to present a variety of image analysis applications, the precise mathematics involved and how ...
اقرأ المزيد
Mathematical Problems in Image Processing
The goals of this book are to present a variety of image analysis applications, the precise mathematics involved and how ...
اقرأ المزيد
Mathematics - Key Technology for the Future : Joint Projects Between Universities and Industry 2004–2007
This book is about the results of a number of projects funded by the BMBF in the initiative "Mathematics for Innovations ...
اقرأ المزيد
Mathematics and Computation, a Contemporary View : The Abel Symposium 2006 Proceedings of the Third Abel Symposium, Alesund, Norway, May 25–27, 2006
The 2006 Abel symposium is focusing on contemporary research involving interaction between computer science, computational ...
اقرأ المزيد
Mathematics of Program Construction
This volume contains the proceedings of the 8th International Conference on Mathematics of ProgramConstruction, MPC 2006,held ...
اقرأ المزيد
