This book constitutes the refereed proceedings of the 6th International Joint Conference on Automated Reasoning, IJCAR 2012, held in Manchester, UK, in June 2012.
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Large-Scale Scientific Computations, LSSC 2011, held in Sozopol, Bulgaria, in June 2011.
This book constitutes the refereed proceedings of the International Conference on Mathematical Modelling and Scientific Intelligence, ICMMSC 2012, Gandhigram, Tamil Nadu, India, in March 2012.
This book constitutes the refereed post-proceedings of the International Conference on Mathematical Modeling and Computational Physics, MMCP 2011, held in Stara Lesna, Slovakia, in July 2011.
ECMI, the European Consortium for Mathematics in Industry, is the European brand associated with applied mathematics for industry and organizes highly successful biannual conferences.
This book constitutes the refereed proceedings of the Fourth International Symposium on Algorithmic Game Theory, SAGT 2011, held in Amalfi, Italy, in October 2011.
This book constitutes the refereed proceedings of the Second International Conference on Computational Logistics, ICCL 2011, held in Hamburg, Germany, in September 2011.
This book constitutes the refereed proceedings of the 19th Annual European Symposium on Algorithms, ESA 2011, held in Saarbrucken, Germany, in September 2011 in the context of the combined conference ALGO 2011.
The two-volume set LNCS 6852/6853 constitutes the refereed proceedings of the 17th International Euro-Par Conference held in Bordeaux, France, in August/September 2011.
The two-volume set LNCS 6852/6853 constitutes the refereed proceedings of the 17th International Euro-Par Conference held in Bordeaux, France, in August/September 2011.
This book constitutes the proceedings of the 11th International Conference on Parallel Computing Technologies, PaCT 2011, held in Kazan, Russia on September 19-23, 2011.
This book constitutes the refereed proceedings of the 8th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2011, held in Berlin, Germany, in May 2011.
This volume constitutes the refereed proceedings of the 14th International Workshop on Combinatorial Image Analysis, IWCIA 2011, held in Madrid, Spain, in May 2011.
This book constitutes the refereed proceedings of the 6th International Conference on Evolutionary Multi-Criterion Optimization, EMO 2011, held in Ouro Preto, Brazil, in April 2011.
This book constitutes the proceedings of the 15th International Conference on Integer Programming and Combinatorial Optimization, IPCO 2011, held in New York, USA in June 2011.
This book constitutes the refereed proceedings of the First International ICST Conference on Theory and Practice of Algorithms in (Computer) Systems, TAPAS 2011, held in Rome, Italy, in April 2011.
This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Numerical Methods and Applications, NMA 2010, held in Borovets, Bulgaria, in August 2010.
This book constitutes the thoroughly refereed post workshop proceedings of the 8th International Workshop on Approximation and Online Algorithms, WAOA 2010, held in Liverpool, UK, in September 2010 as part of the ALGO 2010 conference event.
This volume contains 27 contributions to the Forth Russian-German Advanced Research Workshop on Computational Science and High Performance Computing presented in October 2009 in Freiburg, Germany.
This book collects up-to-date papers from world experts in a broad variety of relevant applications of approximation theory, including dynamical systems, multiscale modelling of fluid flow, metrology, and geometric modelling to mention a few.
The book contains a selection of high quality papers, chosen among the best presentations during the International Conference on Spectral and High-Order Methods (2009), and provides an overview of the depth and breadth of the activities within this important research area.
Theidea ofa refereedconferencefor the mathematicalprogrammingcommunity was proposed by Ravi Kannan and William Pulleyblank to the Mathematical Programming Society (MPS) in the late 1980s.
This book constitutes the refereed proceedings of the 20th International Symposium on Algorithms and Computation, ISAAC 2009, held in Honolulu, Hawaii, USA in December 2009.
This book constitutes the refereed proceedings of the Second International Symposium on Algorithmic Game Theory, SAGT 2009, held in Paphos, Cyprus, in October 2009.
This volume contains the proceedings of the 7th Conference on Computational Methods in Systems Biology (CMSB 2009), held in Bologna, from August 31 to September 1, 2009.
This book constitutes the refereed proceedings of the 6th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2009, held in Pittsburgh, PA, USA, in May 2009.
This book constitutes the refereed proceedings of the 5th International Conference on Evolutionary Multi-Criterion Optimization, EMO 2009, held in Nantes, France in April 2009.
