Evolutionary Computation in Combinatorial Optimization : 8th European Conference, EvoCOP 2008, Naples, Italy, March 26-28, 2008. Proceedings
Metaheuristics have been shown to be e?ective for di?cult combinatorial - timization problems appearing in various industrial, ...
Continue reading
Finite Difference Computing with PDEs
This easy-to-read book introduces the basics of solving partial differential equations by means of finite difference methods. ...
Continue reading
Frontiers in Algorithmics : Second Annual International Workshop, FAW 2008, Changsha, China, June 19-21, 2008, Proceeedings
This book constitutes the refereed proceedings of the Second International Frontiers of Algorithmics Workshop, FAW 2008, ...
Continue reading
Graph-Theoretic Concepts in Computer Science : 34th International Workshop, WG 2008, Durham, UK, June 30 – July 2, 2008. Revised Papers
This book constitutes the thoroughly refereed post-conference proceedings of the 34th International Workshop on Graph-Theoretic ...
Continue reading
Integer Programming and Combinatorial Optimization : 13th International Conference, IPCO 2008 Bertinoro, Italy, May 26-28, 2008 Proceedings
The volume contains the papers selected for presentation at IPCO 2008, the 13th International Conference on Integer Programming ...
Continue reading
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 ...
Continue reading
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, ...
Continue reading
Learning and Intelligent Optimization : Second International Conference, LION 2007 II, Trento, Italy, December 8-12, 2007. Selected Papers
The papers cover current issues of machine learning, artificial intelligence, mathematical programming and algorithms for ...
Continue reading
Multiobjective Optimization : Interactive and Evolutionary Approaches
Multiobjective optimization deals with solving problems having not only one, but multiple, often conflicting, criteria. Such ...
Continue readingProgramming for Computations - MATLAB/Octave : A Gentle Introduction to Numerical Simulations with MATLAB/Octave
This book presents computer programming as a key method for solving mathematical problems. There are two versions of the ...
Continue reading
Programming for Computations - Python A Gentle Introduction to Numerical Simulations with Python 3.6
This book presents computer programming as a key method for solving mathematical problems. This second edition of the well-received ...
Continue readingProgramming for Computations - Python : A Gentle Introduction to Numerical Simulations with Python
This book presents computer programming as a key method for solving mathematical problems. There are two versions of the ...
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 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
Theory and Applications of Satisfiability Testing - SAT 2008 : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings
All current research issues in propositional and quantified Boolean formula satisfiability testing are covered, including ...
Continue reading
Value-Range Analysis of C Programs : Towards Proving the Absence of Buffer Overflow Vulnerabilities
The use of static analysis techniques to prove the partial correctness of C code has recently attracted much attention due ...
Continue reading
WALCOM: Algorithms and Computation : Second International Workshop, WALCOM 2008, Dhaka, Bangladesh, February 7-8, 2008. Proceedings
This book features original research in the areas of algorithms and data structures, combinatorial algorithms, graph drawings ...
Continue reading
