Electronic Books

Total Books: 61 - 80 /135

Global Optimization and Constraint Satisfaction

Theformulationofmanypracticalproblemsnaturallyinvolvesconstraintsonthe variables entering the mathematical model of a real-life ...

High Confidence Software Reuse in Large Systems : 10th International Conference on Software Reuse, ICSR 2008, Beijing, China, May 25-29, 2008 Proceedings

This book constitutes the refereed proceedings of the 10th International Conference on Software Reuse, ICSR 2008, held in ...

Hybrid Metaheuristics

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

Hybrid Metaheuristics : An Emerging Approach to Optimization

The book is intended both to provide an overview of hybrid metaheuristics to novices of the field, and to provide researchers ...

Integrated Formal Methods

This book constitutes the refereed proceedings of the 5th International Conference on Integrated Formal Methods, IFM 2005, ...

Integrated Formal Methods

It addresses all aspects of formal methods integration, including of a process of analysis or design application of formal ...

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

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems : 5th International Conference, CPAIOR 2008 Paris, France, May 20-23, 2008 Proceedings

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

Intelligent Information Processing II

This book is based on IIP2004, which provides a forum for engineers and scientists in academia, university and industry to ...

Knowledge Discovery in Inductive Databases

This book constitutes the thoroughly refereed joint postproceedings of the 5th International Workshop on Knowledge Discovery ...

Knowledge Discovery in Inductive Databases (vol. # 3933)

The4thInternationalWorkshoponKnowledgeDiscoveryinInductiveDatabases (KDID 2005) was held in Porto, Portugal, on October 3, ...

Knowledge Science, Engineering and Management

This book constitutes the refereed proceedings of the Second International Conference on Knowledge Science, Engineering and ...

Large-Scale Scientific Computing : 6th International Conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007. Revised Papers

The 6th International Conference on Large-Scale Scienti?c Computations (LSSC 2007) was held in Sozopol, Bulgaria, June 5–9, ...

Learning Classifier Systems

The work embodied in this volume was presented across three consecutive e- tions of the International Workshop on Learning ...

Learning Classifier Systems : 10th International Workshop, IWLCS 2006, Seattle, MA, USA, July 8, 2006 and 11th International Workshop, IWLCS 2007, London, UK, July 8, 2007, Revised Selected Papers

This book constitutes the thoroughly refereed joint post-conference proceedings of two consecutive International Workshops ...

Leveraging Applications of Formal Methods

This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Leveraging Applications ...

Logic Based Program Synthesis and Transformation (vol. # 3573)

In this work, we devise an analysis that searches for semantically equivalent code fragments within a given logic program. ...

Logic Based Program Synthesis and Transformation (vol. # 3901)

This book constitutes the thoroughly refereed post-proceedings of the 15th International Symposium on Logic Based Program ...

Logic Programming (vol. # 3668)

This volume contains the proceedings of the 21st International Conference on Logic Programming which was held in Sitges (Barcelona), ...

Logic Programming (vol. # 4079)

This book constitutes the refereed proceedings of the 22nd International Conference on Logic Programming, ICLP 2006, held ...

Total Books: 61 - 80 /135