Electronic Books

Total Books: 41 - 59 /59

Hybrid Metaheuristics

This book constitutes the refereed proceedings of the 4th International Workshop on Hybrid Metaheuristics, HM 2007, held ...

Hybrid Metaheuristics (vol. # 3636)

Constitutes the refereed proceedings of the Second International Workshop on Hybrid Metaheuristics, HM 2005, held in Barcelona, ...

Hybrid Metaheuristics (vol. # 4030)

The International Workshop on Hybrid Metaheuristics reached its third edition with HM 2006. The active and successful participation ...

Integer Programming and Combinatorial Optimization

Since its start in 1990, the IPCO conference series (held under the auspices of theMathematicalProgrammingSociety)hasbecomeanimportantforumforthe ...

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems

This book constitutes the refereed proceedings of the 4th International Conference on Integration of AI and OR Techniques ...

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (vol. # 3524)

The 2nd International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization ...

Mathematical Foundations of Computer Science 2005

Constitutes the proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS 2005, ...

Mathematical Methods in Computer Science : Essays in Memory of Thomas Beth

This Festschrift volume contains the proceedings of the conference Mathematical Methods in Computer Science, MMICS 2008, ...

Mathematics of Program Construction

This volume contains the proceedings of the 8th International Conference on Mathematics of ProgramConstruction, MPC 2006,held ...

Mathematics of Program Construction : 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings

This book constitutes the refereed proceedings of the 9th International Conference on Mathematics of Program Construction, ...

Modular Algorithms in Symbolic Summation and Symbolic Integration

This work brings together two streams in computer algebra: symbolic integration and summation on the one hand, and fast algorithmics ...

Multiagent System Technologies : 6th German Conference, MATES 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings

This book constitutes the refereed proceedings of the 6th German Conference on Multiagent Systems Technologies, MATES 2008, ...

Parameterized and Exact Computation

IWPEC events are intended to cover research in all aspects of parameterizedand exact computation and complexity, including ...

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, ...

Principles of Distributed Systems (vol. # 4305)

This book constitutes the refereed proceedings of the 10th International Conference on Principles of Distributed Systems, ...

Resource Allocation in Wireless Networks

The main objective of this book is to provide tools for better understa- ing the fundamental tradeo?s and interdependencies ...

STACS 2005

Constitutes the refereed proceedings of the 22nd Annual Symposium on Theoretical Aspects of Computer Science, held in Germany, ...

Stochastic Algorithms: Foundations and Applications

This book constitutes the refereed proceedings of the 4th International Symposium on Stochastic Algorithms: Foundations and ...

Understanding Planning Tasks : Domain Complexity and Heuristic Decomposition

Action planning has always played a central role in Artificial Intelligence. Given a description of the current situation, ...

Total Books: 41 - 59 /59