Electronic Books

Total Books: 81 - 100 /133

Model Checking Software (vol. # 3639)

Constitutes the refereed proceedings of the 12th International SPIN workshop on Model Checking Software, SPIN 2005, held ...

Model Checking Software (vol. # 3925)

he name “SPIN” refers both to a workshopon model checking and to a famous model checking tool. The SPIN workshop is an ...

Model-Driven Development of Reliable Automotive Services : Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers

This book constitutes the thoroughly refereed post-workshop proceedings of the Second Automotive Software Workshop, ASWSD ...

Modeling Decisions for Artificial Intelligence : 5th International Conference, MDAI 2008 Sabadell, Spain, October 30-31, 2008. Proceedings

This book constitutes the refereed proceedings of the 5th International Conference on Modeling Decisions for Artificial Intelligence, ...

Multiobjective Optimization : Interactive and Evolutionary Approaches

Multiobjective optimization deals with solving problems having not only one, but multiple, often conflicting, criteria. Such ...

Multiple Abstraction Hierachies for Mobile Robot Operation in Large Environments

This book focuses on the efficient performance of mobile robots through the use of multi-hierarchical symbolic representations ...

Neural Information Processing : 14th International Conference, ICONIP 2007, Kitakyushu, Japan, November 13-16, 2007, Revised Selected Papers, Part I

The 228 revised full papers presented were carefully reviewed and selected from numerous ordinary paper submissions and 15 ...

Neural Information Processing : 14th International Conference, ICONIP 2007, Kitakyushu, Japan, November 13-16, 2007, Revised Selected Papers, Part II

The 228 revised full papers presented were carefully reviewed and selected from numerous ordinary paper submissions and 15 ...

New Frontiers in Applied Artificial Intelligence : 21st International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2008 Wrocław, Poland, June 18-20, 2008 Proceedings

The 75 revised full papers presented were carefully reviewed and selected from 302 submissions. The papers are organized ...

Operational Semantics for Timed Systems

This monograph is dedicated to a novel approach for uniform modelling of timed and hybrid systems. Heinrich Rust presents ...

PHP Objects, Patterns, and Practice

Backed by a tireless development community, PHP has been a model of language evolution over its 10+ year history. Borne from ...

Parallel Problem Solving from Nature - PPSN X: 10th International Conference, Dortmund, Germany, September 13-17, 2008. Proceedings

This book constitutes the refereed proceedings of the 10th International Conference on Parallel Problem Solving from Nature, ...

Parameterized and Exact Computation : Third International Workshop, IWPEC 2008, Victoria, Canada, May 14-16, 2008. Proceedings

This book constitutes the refereed proceedings of the Third International Workshop on Parameterized and Exact Computation, ...

Quantization on Nilpotent Lie Groups

This book presents a consistent development of the Kohn-Nirenberg type global quantization theory in the setting of graded ...

Recent Advances in Parallel Virtual Machine and Message Passing Interface : 15th European PVM/MPI Users’ Group Meeting, Dublin, Ireland, September 7-10, 2008. Proceedings

This book is organized in topical sections on applications, collective operations, library internals, message passing for ...

Recent Advances in Reinforcement Learning : 8th European Workshop, EWRL 2008, Villeneuve d’Ascq, France, June 30-July 3, 2008, Revised and Selected Papers

They are dedicated to the field of and current researches in reinforcement learning.There was an air of excitement as substantial ...

Representation Theory and Complex Analysis : Lectures given at the C.I.M.E. Summer School held in Venice, Italy June 10–17, 2004

Six leading experts lecture on a wide spectrum of recent results on the subject of the title, providing both a solid reference ...

Research and Advanced Technology for Digital Libraries : 12th European Conference, ECDL 2008, Aarhus, Denmark, September 14-19, 2008. Proceedings

This book is organized in topical sections on digital preservation, social tagging, quatations and annotations, user studies ...

Rough Sets and Knowledge Technology : Third International Conference, RSKT 2008, Chengdu, China, May 17-19, 2008. Proceedings

This book focus on five major research fields: computing theory and paradigms, knowledge technology, intelligent information ...

Runtime Verification

Runtime verification is a recent direction in formal methods research, which is complementary to such well-established formal ...

Total Books: 81 - 100 /133