This two volume set (LNCS 8156 and 8157) constitutes the refereed proceedings of the 17th International Conference on Image Analysis and Processing, ICIAP 2013, held in Naples, Italy, in September 2013.
This two volume set (LNCS 8156 and 8157) constitutes the refereed proceedings of the 17th International Conference on Image Analysis and Processing, ICIAP 2013, held in Naples, Italy, in September 2013.
This book constitutes the proceedings of the 15th International Workshop on Cryptographic Hardware and Embedded Systems, CHES 2013, held in Santa Barbara, CA, USA, in August 2013.
This book constitutes the proceedings of the 16th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2013, and the 17th International Workshop on Randomization and Computation, RANDOM 2013, held in August 2013 in the USA.
This book constitutes the thoroughly refereed conference proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS 2013, held in Klosterneuburg, Austria, in August 2013.
This book constitutes the proceedings of the 5th IPM International Conference on Fundamentals of Software Engineering, FSEN 2013, held in Tehran, Iran, in April 2013.
This book constitutes the refereed proceedings of the 5th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2013, held in Warsaw, Poland, in September 2013.
This book constitutes the refereed proceedings of the 13th Algorithms and Data Structures Symposium, WADS 2013, held in London, ON, Canada, August 2013.
This book constitutes the refereed proceedings of the 19th International Conference on Parallel and Distributed Computing, Euro-Par 2013, held in Aachen, Germany, in August 2013.
This book constitutes the refereed proceedings of the First International Conference on Geometric Science of Information, GSI 2013, held in Paris, France, in August 2013.
This book constitutes the refereed proceedings of the International Conference on Multiscore Software Engineering, Performance, and Tools, MUSEPAT 2013, held in Saint Petersburg, Russia, in August 2013.
This book constitutes the thoroughly refereed post-proceedings of the 13th Agent-Oriented Software Engineering (AOSE) workshop, held at the 11th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2012, in Valencia, Spain, in June 2012.
This book constitutes the refereed proceedings of the 15th International Conference on Computer-Aided Architectural Design Futures, CAAD Futures 2013, held in Shanghai, China, in July 2013.
This book constitutes the refereed proceedings of six workshops of the 14th International Conference on Web-Age Information Management, WAIM 2013, held in Beidaihe, China, June 2013.
This book constitutes the refereed proceedings of the 9th International Conference on Intelligent Computing, ICIC 2013, held in Nanning, China, in July 2013.
This two-volume set of LNCS 7965 and LNCS 7966 constitutes the refereed proceedings of the 40th International Colloquium on Automata, Languages and Programming, ICALP 2013, held in Riga, Latvia, in July 2013.
This book constitutes the proceedings of the Second International Workshop on Similarity Based Pattern Analysis and Recognition, SIMBAD 2013, which was held in York, UK, in July 2013.
This book constitutes the refereed proceedings of the 8th International Conference on Wireless Algorithms, Systems, and Applications, WASA 2013, held in Zhangjiajie, China, in August 2013.
This two-volume set of LNCS 7965 and LNCS 7966 constitutes the refereed proceedings of the 40th International Colloquium on Automata, Languages and Programming, ICALP 2013, held in Riga, Latvia, in July 2013.
This book constitutes the refereed proceedings of the 6th International Conference on Theory and Practice of Model Transformations, ICMT 2013, held in Budapest, Hungary, in June 2013.
This book constitutes the refereed proceedings of the 8th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2013, held in Helsinki, Finland, in June 2013.
This book constitutes the refereed proceedings of the 19th International Conference on Computing and Combinatorics, COCOON 2013, held in Hangzhou, China, in June 2013.
This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Workshop on Programming Multi-Agents Systems held in Valencia, Spain, in June 2012.
This book constitutes the thoroughly refereed proceedings of eight international workshops held in Valencia, Spain, in conjunction with the 25th International Conference on Advanced Information Systems Engineering, CAiSE 2013, in June 2013.
This book contains the refereed proceedings of the 14th International Conference on Business Process Modeling, Development and Support (BPMDS 2013) and the 18th International Conference on Exploring Modeling Methods for Systems Analysis and Design (EMMSAD 2013), held together with the 25th International Conference on Advanced Information Systems Engineering (CAiSE 2013) in Valencia, Spain, in June 2013.
This book constitutes the proceedings of the 32nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, EUROCRYPT 2013, held in Athens, Greece, in May 2013.
This book constitutes the refereed proceedings of the 9th International Symposium on Bioinformatics Research and Applications, ISBRA 2013, held in Charlotte, NC, USA, in May 2013.
This book constitutes the refereed proceedings of the 8th International Conference on Grid and Pervasive Computing, GPC 2013, held in Seoul, Korea, in May 2013 and the following colocated workshops: International Workshop on Ubiquitous and Multimedia Application Systems, UMAS 2013; International Workshop DATICS-GPC 2013: Design, Analysis and Tools for Integrated Circuits and Systems; and International Workshop on Future Science Technologies and Applications, FSTA 2013.
This book constitutes the thoroughly refereed post workshop proceedings of the 10th International Workshop on Approximation and Online Algorithms, WAOA 2012, held in Ljubljana, Slovenia, in September 2012 as part of the ALGO 2012 conference event.
This volume is a compilation of the research program of the 10th International Conference on the Integration of Artificial Intelligence (AI) and Operations Research (OR) Techniques in Constraint Programming, CPAIOR 2013, held at Yorktown Heights, NY, USA, in May 2013.
This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Web Services and Formal Methods, WS-FM 2012, held in Tallinn, Estonia, in September 2012.
This book constitutes the refereed proceedings of the Chinese Conference on Image and Graphics Technologies and Applications, IGTA 2013, held in Beijing, China, in April 2013.
This book constitutes the refereed proceedings of the 7th International Conference on Evolutionary Multi-Criterion Optimization, EMO 2013 held in Sheffield, UK, in March 2013.
This book constitutes the refereed proceedings of the Second International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2012, held in Shanghai, China, in September 2012.
This book constitutes the proceedings of the 22nd International Conference on Compiler Construction, CC 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, which took place in Rome, Italy, in March 2013.
This book constitutes the refereed post-proceedings of the Joint International Conference on Pervasive Computing and the Networked World, ICPCA-SWS 2012, held in Istanbul, Turkey, in November 2012.
This book constitutes the proceedings of the 6th International Conference on Software and Data Technologies, ICSOFT 2011, held in Seville, Spain, in July 12011.
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Algorithms for Sensor Systems, Wireless Ad Hoc Networks, and Autonomous Mobile Entities, ALGOSENSORS 2012, held in Ljubljana, Slovenia, in September 2012.
This book constitutes the proceedings of the 16th International Conference on Integer Programming and Combinatorial Optimization, IPCO 2013, held in Valparaiso, Chile, in March 2013.
This book constitutes the proceedings of the third Sino-foreign-interchange Workshop on Intelligence Science and Intelligent Data Engineering, IScIDE 2012, held in Nanjing, China, in October 2012.
This book constitutes the refereed proceedings of the 5th International Conference on Pairing-Based Cryptography, Pairing 2012, held in Cologne, Germany, in May 2012.
This book constitutes the refereed proceedings of 12 international workshops held in Tallinn, Estonia, in conjunction with the 10th International Conference on Business Process Management, BPM 2012, in September 2012.
This volume constitutes the refereed proceedings of the 11th International Conference on Applied Parallel and Scientific Computing, PARA 2012, held in Helsinki, Finland, in June 2012.
This book constitutes the thoroughly refereed conference proceedings of the 9th International Symposium on Reconfigurable Computing: Architectures, Tools and Applications, ARC 2013, held in Los Angeles, CA, USA, in March 2013.
This book constitutes the refereed proceedings of the Second International Conference on Biologically Inspired Music, Sound, Art and Design, EvoMUSART 2013, held in Vienna, Austria, in March 2013, colocated with the Evo* 2013 events EuroGP, EvoCOP, EvoBIO, and EvoApplications.
This book constitutes the thoroughly refereed proceedings of the fourth International Conference on Ad Hoc Networks, ADHOCNETS 2012, held in Paris, France, in October 2012.
This book constitutes the thoroughly refereed proceedings of the 16th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2012, which was held in Shanghai, China, in May 2012.
This book constitutes revised selected papers of the 8th International Workshop on Formal Aspects of Component Software, FACS 2011, held in Oslo, Norway in September 2011.
