This book constitutes the refereed proceedings of the International Workshop MUSCLE 2011 on Computational Intelligence for Multimedia Understanding, organized by the ERCIM working group in Pisa, Italy on December 2011.
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 refereed proceedings of the 13th International Scandinavian Symposium and Workshops on Algorithm Theory, SWAT 2012, held in Helsinki, Finland, in July 2012, co-located with the 23rd Annual Symposium on Combinatorial Pattern Matching, CPM 2012.
This book constitutes the proceedings of the Third International Conference on Abstract State Machines, B, VDM, and Z, which took place in Pisa, Italy, 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 thoroughly refereed post-conferenceproceedings of the 4th International Joint Conference on BiomedicalEngineering Systems and Technologies, BIOSTEC 2011, held in Rome, Italy, in January 2011.
This book constitutes the refereed proceedings of the Second International ICST Conference on Wireless Mobile Communication and Healthcare, MobiHealth 2011, held on Kos Island, Greece, in October 2011.
This book constitutes the refereed proceedings of the 15th European Conference on Genetic Programming, EuroGP 2012, held in Malaga, Spain, in April 2012 co-located with the Evo* 2012 events.
This book constitutes the refereed proceedings of the 31st Annual International Conference on the Theory and Applications of Cryptographic Techniques, EUROCRYPT 2012, held in Cambgridge, UK, in April 2012.
This fourth issue on "e;progress in turbulence"e; is based on the fourth ITI conference (ITI interdisciplinary turbulence initiative), which took place in Bertinoro, North Italy.
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 thoroughly refereed post-conference proceedings of the 20th International Workshop on Algebraic Development Techniques, WADT 2010, held in July 2010 in Etelsen, Germany.
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.
This book constitutes the refereed proceedings of the 15th International Conference on Principles of Distributed Systems, OPODIS 2011, held in Toulouse, France, in December 2011.
This book constitutes the refereed proceedings of the 7th Asia Information Retrieval Societies Conference AIRS 2011, held in Dubai, United Arab Emirates, in December 2011.
This book constitutes the proceedings of the 17th International Conference on the Theory and Application of Cryptology and Information Security, ASIACRYPT 2011, held in Seoul, Korea, in December 2011.
The topic of the 2010 Abel Symposium, hosted at the Norwegian Academy of Science and Letters, Oslo, was Nonlinear Partial Differential Equations, the study of which is of fundamental importance in mathematics and in almost all of natural sciences, economics, and engineering.
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.
In the more than 100 years since the fundamental group was first introduced by Henri Poincare it has evolved to play an important role in different areas of mathematics.
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 6938 and LNCS 6939 constitutes the refereed proceedings of the 7th International Symposium on Visual Computing, ISVC 2011, held in Las Vegas, NV, USA, in September 2011.
The two volume set LNCS 6938 and LNCS 6939 constitutes the refereed proceedings of the 7th International Symposium on Visual Computing, ISVC 2011, held in Las Vegas, NV, USA, in 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.
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 textbook presents a basic course in physics to teach mechanics, mechanical properties of matter, thermal properties of matter, elementary thermodynamics, electrodynamics, electricity, magnetism, light and optics and sound.
This volume contains a collection of well-written surveys provided by experts in Global Differential Geometry to give an overview over recent developments in Riemannian Geometry, Geometric Analysis and Symplectic Geometry.
The two-volume set LNCS 6468-6469 contains the carefully selected and reviewed papers presented at the eight workshops that were held in conjunction with the 10th Asian Conference on Computer Vision, in Queenstown, New Zealand, in November 2010.
The two-volume set LNCS 6468-6469 contains the carefully selected and reviewed papers presented at the eight workshops that were held in conjunction with the 10th Asian Conference on Computer Vision, in Queenstown, New Zealand, in November 2010.
This book constitutes the refereed proceedings of the 17th Annual International Conference on Computing and Combinatorics, held in Dallas, TX, USA, in August 2011.
This book constitutes the thoroughly refereed post-conference proceedings of the Third International Workshop on Optical SuperComputing, OSC 2010, held in Bertinoro, Italy, in November 2010.
This book constitutes the refereed proceedings of the 15th International Conference on Developments in Language Theory, DLT 2011, held in Milano, Italy, in July 2011.
The Hotine-Marussi Symposium is the core meeting of a "e;think thank"e;, a group scientists in the geodetic environment working on theoretical and methodological subjects, while maintaining the foundations of geodesy to the proper level by corresponding to the strong advancements improved by technological development in the field of ICT, electronic computing, space technology, new measurement devices etc.
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.
