The two-volume set LNCS 7552 + 7553 constitutes the proceedings of the 22nd International Conference on Artificial Neural Networks, ICANN 2012, held in Lausanne, Switzerland, in September 2012.
This book constitutes the refereed proceedings of the 20th Annual European Symposium on Algorithms, ESA 2012, held in Ljubljana, Slovenia, in September 2012 in the context of the combined conference ALGO 2012.
This book constitutes the refereed proceedings of the 11th International Conference on Artificial Immune Systems, ICARIS 2012, held in Taormia, Italy, in August 2012.
This book constitutes the proceedings of the 6th International Conference on Graph Transformations, ICGT 2012, held in Bremen, Germany, in September 2012.
This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Conference on Principles and Practice of Constraint Programming (CP 2012), held in Quebec, Canada, in October 2012.
This book constitutes the refereed proceedings of the 15th International Conference on Information Security, ISC 2015, held in Passau, Germany, in September 2012.
This book constitutes the refereed proceedings of the 5th International Symposium on Algorithmic Game Theory, SAGT 2012, held in Barcelona, Spain, in October 2012.
The two volume set LNCS 7491 and 7492 constitutes the refereed proceedings of the 12th International Conference on Parallel Problem Solving from Nature, PPSN 2012, held in Taormina, Sicily, Italy, in September 2012.
This book constitutes the thoroughly refereed proceedings of the 23rd International Conference on Concurrency Theory, CONCUR 2012, held in Newcastle upon Tyne, UK, September 4-7, 2012.
The two volume set LNCS 7491 and 7492 constitutes the refereed proceedings of the 12th International Conference on Parallel Problem Solving from Nature, PPSN 2012, held in Taormina, Sicily, Italy, in September 2012.
This book constitutes the refereed proceedings of the 13th International Conference on Engineering Applications of Neural Networks, EANN 2012, held in London, UK, in September 2012.
This book constitutes the proceedings of the 13th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XIII, held in Montpellier, France, in August 2012.
This book constitutes the refereed proceedings of the 7th International Conference on Haptic and Audio Interaction Design, HAID 2012, held in Lund, Sweden, in August 2012.
This volume constitutes the refereed proceedings of the 37th International Symposium on Mathematical Foundations of Computer Science, MFCS 2012, held in Bratislava, Slovakia, in August 2012.
This book constitutes the joint refereed proceedings of the 15th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2012, and the 16th International Workshop on Randomization and Computation, RANDOM 2012, held in Cambridge, Massachusetts, USA, in August 2011.
This book constitutes the refereed proceedings of the 16th International Conference on Developments in Language Theory, DLT 2012, held in Taipei, Taiwan, in August 2012.
This book constitutes the refereed proceedings of the 14th International Workshop of Descriptional Complexity of Formal Systems 2012, held in Braga, Portugal, in July 2012.
This book constitutes the first of 3 volumes of refereed conference proceedings of the 8th International Conference on Intelligent Computing, ICIC 2012, held in Huangshan, China, in July 2012.
This book constitutes the refereed proceedings of the 7th International Conference on Rough Sets and Knowledge Technology, RSKT 2012, held in Chengdu, China during August 2012, as one of the co-located conferences of the 2012 Joint Rough Set Symposium, JRS 2012.
This book constitutes the refereed proceedings of the 8th International Conference on Intelligent Computing, ICIC 2012, held in Huangshan, China, in July 2012.
These four volumes (CCIS 297, 298, 299, 300) constitute the proceedings of the 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, held in Catania, Italy, in July 2012.
These four volumes (CCIS 297, 298, 299, 300) constitute the proceedings of the 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, held in Catania, Italy, in July 2012.
These four volumes (CCIS 297, 298, 299, 300) constitute the proceedings of the 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, held in Catania, Italy, in July 2012.
These four volumes (CCIS 297, 298, 299, 300) constitute the proceedings of the 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, held in Catania, Italy, in July 2012.
This book constitutes the refereed proceedings of the 7th IFIP TC 12 International Conference on Intelligent Information Processing, IIP 2012, held in Guilin, China, in October 2012.
This book constitutes the refereed proceedings of the first Workshop on Applications of Discrete Geometry and Mathematical Morphology, WADGMM 2010, held at the International Conference on Pattern Recognition in Istanbul, Turkey, in August 2010.
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 contains the refereed proceedings of the International Conference on Modeling and Simulation in Engineering, Economics, and Management, MS 2012, held in New Rochelle, NY, USA, in May/June 2012.
This book constitutes the refereed proceedings of the 9th International Conference on Integrated Formal Methods, IFM 2012, held Pisa, Italy, in June 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 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.
The two LNAI volumes 7208 and 7209 constitute the proceedings of the 7th International Conference on Hybrid Artificial Intelligent Systems, HAIS 2012, held in Salamanca, Spain, in March 2012.
The two LNAI volumes 7208 and 7209 constitute the proceedings of the 7th International Conference on Hybrid Artificial Intelligent Systems, HAIS 2012, held in Salamanca, Spain, in March 2012.
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 Fourth International Conference on Fundamentals of Software Engineering, FSEN 2011, held in Tehran, Iran, in April 2011.
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 carefully refereed and revised selected papers of the 4th Canada-France MITACS Workshop on Foundations and Practice of Security, FPS 2011, held in Paris, France, in May 2011.
This book comprises selected papers of the International Conferences, ASEA, DRBC and EL 2011, held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, in December 2011.
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 thoroughly refereed post-conference proceedings of the 7th International Conference on Intelligent Computing, ICIC 2011, held in Zhengzhou, China, in August 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 comprises selected papers of the International Conferences, CA and CES3 2011, held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, 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.
This book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symposium on Formal Methods, SBMF 2011, held in Sao Paulo, Brazil, in September 2011; co-located with CBSoft 2011, the second Brazilian Conference on Software: Theory and Practice.
This book constitutes the refereed proceedings of the Fourth International Symposium on Algorithmic Game Theory, SAGT 2011, held in Amalfi, Italy, in October 2011.