This volume is the post conference proceedings of the 8thInternational Seminaron Relational Methods in Computer Science (RelMiCS ...
Lire la suite
This book presents a comprehensive description of theory, algorithms and software for solving nonconvex mixed integer nonlinear ...
Lire la suite
The book was inteded to stimulate an exchange of ideas between the different communities that deal with the problem of reliable ...
Lire la suite
The aquatic coastal zone is one of the most challenging targets for environmental remote sensing. Properties such as bottom ...
Lire la suite
The book summarizes existing knowledge regarding problem representations and describes how basic properties of representations, ...
Lire la suite
Over the last 11 years, ECDL has created a strong interdisciplinary com- nity of researchers and practitioners in the ?eld ...
Lire la suite
This book constitutes the refereed proceedings of the proceedings of the 10thEuropean Conference onDigital Libraries (ECDL ...
Lire la suite
This book constitutes the refereed proceedings of the 11th Annual International Conference on Research in Computational Molecular ...
Lire la suite
From RECOMB 2005, the Steering Committee decided to publish the proceedings as a volume of Lecture Notes in Bioinf- matics ...
Lire la suite
PrefaceThis volume contains the papers presented at the 10th Annual InternationalConference on Research in Computational ...
Lire la suite
This book constitutes the refereed proceedings of the 19th Annual International Conference on Research in Computational Molecular ...
Lire la suite
Devoted to structural issues, algorithms, and applications of resource allocation problems in project management. This book ...
Lire la suite
The main objective of this book is to provide tools for better understa- ing the fundamental tradeo?s and interdependencies ...
Lire la suite
This is the first book that provides readers with a deep technical overview of recent advances in resource management for ...
Lire la suite
Remarkable features of revenue management (RM) problems in the cargo, manufacturing and broadcasting industries are so-called ...
Lire la suite
The book describes the algorithms involved in recovering UML diagrams from the code and the techniques that can be adopted ...
Lire la suite
This book constitutes the refereed proceedings of the 12th International Conference on Reversible Computation, RC 2020, held ...
Lire la suite
This Festschrift volume published to honor Jean-Pierre Jouannaud on his 60th Birthday on May 12, 2007, includes 13 refereed ...
Lire la suite
The papers presented here document the many innovations in robotics that result from RoboCup. A problem in any branch of ...
Lire la suite
In this book the author employs a cybernetic view of robot cognition and perception as he examines mobile robot simulations, ...
Lire la suite