Recent Advances in Constraints (vol. # 3419)
Constitutes the extended post-proceedings of the ERCIM/CoLogNet International Workshop on Constraint Satisfaction and Constraint ...
Continue reading
Recent Advances in Constraints (vol. # 3978)
Privacy in statistical databases is a discipline whose purpose is to provide - lutions to the con?ict between the increasing ...
Continue reading
Recent Advances in Constraints : 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papers
This book address all aspects of constraint and logic programming, including foundational issues, implementation techniques, ...
Continue reading
Recent Advances in Intrusion Detection : 11th International Symposium, RAID 2008, Cambridge, MA, USA, September 15-17, 2008. Proceedings
This book is organized in topical sections on rootkit prevention, malware detection and prevention, high performance intrusion ...
Continue reading
Recent Advances in Parallel Virtual Machine and Message Passing Interface
This book constitutes the refereed proceedings of the 14th European PVM/MPI Users' Group Meeting held in Paris, France, ...
Continue reading
Recent Advances in Parallel Virtual Machine and Message Passing Interface (vol. # 4192)
This book constitutes the refereed proceedings of the 13th European PVM/MPI Users' Group Meeting held in Bonn, Germany in ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
Recent Progress in Robotics: Viable Robotic Service to Human : An Edition of the Selected Papers from the 13th International Conference on Advanced Robotics
This volume is an edition of the papers selected from the 13 International Conference on Advanced Robotics, ICAR 2007, held ...
Continue reading
Reconfigurable Computing
By mapping algorithms directly into programmable logic, FPGA accelerators offer and deliver 10X-100X performance increases ...
Continue reading
Refinement Techniques in Software Engineering
This tutorial book presents an augmented selection of the material presented at the First Pernambuco Summer School on Software ...
Continue reading
Reflections on the Teaching of Programming : Methods and Implementations
The book addressed span a wide range of problems and solutions associated with the teaching of programming such as introductory ...
Continue reading
Regular Expression Recipes for Windows Developers
Regular expressions are an essential part of programming, but they can be difficult to cope with. Enter Regular Expression ...
Continue reading
Relational Methods in Computer Science
This volume is the post conference proceedings of the 8thInternational Seminaron Relational Methods in Computer Science (RelMiCS ...
Continue reading
Relaxation and Decomposition Methods for Mixed Integer Nonlinear Programming
This book presents a comprehensive description of theory, algorithms and software for solving nonconvex mixed integer nonlinear ...
Continue reading
Reliable Implementation of Real Number Algorithms: Theory and Practice : International Seminar Dagstuhl Castle, Germany, January 8-13, 2006 Revised Papers
The book was inteded to stimulate an exchange of ideas between the different communities that deal with the problem of reliable ...
Continue reading
Reliable Software Technologies - Ada Europe 2007
Reliable Software Technologies is an annual series of international conferences devoted to the promotion and advancement ...
Continue reading
Reliable Software Technologies - Ada-Europe 2002
This book constitutes the refereed proceedings of the 7th International Conference on Reliable Software Technologies, Ada-Europe ...
Continue reading
Reliable Software Technologies - Ada-Europe 2008 : 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings
This book covers topics ranging from formal verification to real-time systems via concurrency, embedded systems, language ...
Continue reading
Reliable Software Technologies -- Ada-Europe 2006
This book constitutes the refereed proceedings of the 11th International Conference on Reliable Software Technologies, Ada- ...
Continue reading
