Constitutes the extended post-proceedings of the ERCIM/CoLogNet International Workshop on Constraint Satisfaction and Constraint ...
Lee mas
Privacy in statistical databases is a discipline whose purpose is to provide - lutions to the con?ict between the increasing ...
Lee mas
This book address all aspects of constraint and logic programming, including foundational issues, implementation techniques, ...
Lee mas
This book is organized in topical sections on rootkit prevention, malware detection and prevention, high performance intrusion ...
Lee mas
This book constitutes the refereed proceedings of the 14th European PVM/MPI Users' Group Meeting held in Paris, France, ...
Lee mas
This book constitutes the refereed proceedings of the 13th European PVM/MPI Users' Group Meeting held in Bonn, Germany in ...
Lee mas
This book is organized in topical sections on applications, collective operations, library internals, message passing for ...
Lee mas
They are dedicated to the field of and current researches in reinforcement learning.There was an air of excitement as substantial ...
Lee mas
This volume is an edition of the papers selected from the 13 International Conference on Advanced Robotics, ICAR 2007, held ...
Lee mas
By mapping algorithms directly into programmable logic, FPGA accelerators offer and deliver 10X-100X performance increases ...
Lee mas
This tutorial book presents an augmented selection of the material presented at the First Pernambuco Summer School on Software ...
Lee mas
The book addressed span a wide range of problems and solutions associated with the teaching of programming such as introductory ...
Lee mas
Regular expressions are an essential part of programming, but they can be difficult to cope with. Enter Regular Expression ...
Lee mas
This volume is the post conference proceedings of the 8thInternational Seminaron Relational Methods in Computer Science (RelMiCS ...
Lee mas
This book presents a comprehensive description of theory, algorithms and software for solving nonconvex mixed integer nonlinear ...
Lee mas
The book was inteded to stimulate an exchange of ideas between the different communities that deal with the problem of reliable ...
Lee mas
Reliable Software Technologies is an annual series of international conferences devoted to the promotion and advancement ...
Lee mas
This book constitutes the refereed proceedings of the 7th International Conference on Reliable Software Technologies, Ada-Europe ...
Lee mas
This book covers topics ranging from formal verification to real-time systems via concurrency, embedded systems, language ...
Lee mas
This book constitutes the refereed proceedings of the 11th International Conference on Reliable Software Technologies, Ada- ...
Lee mas