This book constitutes the refereed proceedings of the 4th International Conference on Computational Logistics, ICCL 2013, held in Copenhagen, Denmark, in September 2013.
This book constitutes the proceedings of the 24th International Conference on Algorithmic Learning Theory, ALT 2013, held in Singapore in October 2013, and co-located with the 16th International Conference on Discovery Science, DS 2013.
This book constitutes the proceedings of the 17th Brazilian Symposium on Programming Languages, SBLP 2013, held in Brasilia, Brazil, in September/October 2013.
This book constitutes the thoroughly refereed conference proceedings of the 18th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2013, held in Madrid, Spain, in September 2013.
This book constitutes the proceedings of the 16th International Conference on Discovery Science, DS 2013, held in Singapore in October 2013, and co-located with the International Conference on Algorithmic Learning Theory, ALT 2013.
This book constitutes the refereed proceedings of the 32nd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2013, held in Toulouse, France, in September 2013.
This book constitutes thoroughly refereed post-conference proceedings of the workshops of the 19th International Conference on Parallel Computing, Euro-Par 2013, held in Aachen, Germany in August 2013.
This book constitutes the proceedings of the 6th Euro Symposium on Systems Analysis and Design, SIGSAND/PLAIS 2013, held in Gdansk, Poland, in September 2013.
The three-volume set LNCS 8149, 8150, and 8151 constitutes the refereed proceedings of the 16th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2013, held in Nagoya, Japan, in September 2013.
This book constitutes the refereed proceedings of the 4th International Conference on Runtime Verification, RV 2013, held in Rennes, France, in September 2013.
The three-volume set LNCS 8149, 8150, and 8151 constitutes the refereed proceedings of the 16th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2013, held in Nagoya, Japan, in September 2013.
This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Automated Deduction in Geometry, ADG 2012, held in Edinburgh, UK, in September 2012.
This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Informatics, CAI 2013, held in Porquerolles, France in September 2013.
This book constitutes the refereed proceedings of the Second European Conference on Service-Oriented and Cloud Computing, ESOCC 2013, held in Malaga, Spain, in September 2013.
This book constitutes the refereed proceedings of the 14th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2013, held in Hefei, China, in October 2013.
This book constitutes the refereed proceedings of the 11th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2013, held in Buenos Aires, Argentina, in August 2013.
This book constitutes the refereed proceedings of the 15th International Conference on Formal Engineering Methods, ICFEM 2013, held in Queenstown, New Zealand, in October/November 2013.
This book constitutes the refereed proceedings of the 15th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 20013, held in Madrid, Spain, in September 2013.
This book constitutes the proceedings of the 14th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XIV, held in Corunna, Spain, in September 2013.
This book constitutes the proceedings of the 11th International Conference on Business Process Management, BPM 2013, held in Beijing, China, in August 2013.
This book constitutes the proceedings of the 14th International Conference on Web Information Systems Engineering, WISE 2013, held in Nanjing, China, in October 2013.
This book constitutes the refereed proceedings of the 10 th International Conference on Mobile Web Information Systems, MobiWIS 2013, held in Paphos, Cyprus, in August 2013.
This book constitutes the outcome of the Workshop on Measurement and Measurement Tools which was held as part of the Future Internet Research Experimentation (FIRE) initiative during the Future Internet Assembly conference (FIA) in May 2012.
This book constitutes the thoroughly refereed proceedings of the 24th International Conference on Concurrency Theory, CONCUR 2013, held in Buenos Aires, Argentina, August 27-30, 2013.
This book constitutes the revised selected papers of the First International Conference on Networked Systems, NETYS 2013, held in Marrakech, Morocco, in May 2013.
Here is the first of a two-volume set (LNCS 8021 and 8022) that constitutes the refereed proceedings of the 5th International Conference on Virtual, Augmented and Mixed Reality, VAMR 2013, held as part of the 15th International Conference on Human-Computer Interaction, HCII 2013, held in Las Vegas, USA in July 2013, jointly with 12 other thematically similar conferences.
The two volume-set, LNCS 8042 and LNCS 8043, constitutes the refereed proceedings of the 33rd Annual International Cryptology Conference, CRYPTO 2013, held in Santa Barbara, CA, USA, in August 2013.
The two volume-set, LNCS 8042 and LNCS 8043, constitutes the refereed proceedings of the 33rd Annual International Cryptology Conference, CRYPTO 2013, held in Santa Barbara, CA, USA, in August 2013.
The two-volume set LNCS 7951 and 7952 constitutes the refereed proceedings of the 10th International Symposium on Neural Networks, ISNN 2013, held in Dalian, China, in July 2013.
This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Workshop, COSADE 2013, held in Paris, France, in March 2013.
This book constitutes the refereed proceedings of the 13th International Symposium on Privacy Enhancing Technologies, PET 2013, held in Bloomington, IN, USA, in July 2013.
This book constitutes the refereed proceedings of the 16th International Conference on Theory and Applications of Satisfiability Testing, SAT 2013, held in Helsinki, Finland in July 2013.
This book constitutes the refereed proceedings of the 5th International Conference on Reversible Computation, RC 2013, held in Victoria, BC, Canada, in July 2013.
The two-volume set LNCS 7951 and 7952 constitutes the refereed proceedings of the 10th International Symposium on Neural Networks, ISNN 2013, held in Dalian, China, in July 2013.
This book constitutes the refereed proceedings of the 12th International Conference on Unconventional Computation and Natural Computation, UCNC 2013, held in Milan, Italy, in July 2013.
This book constitutes the refereed proceedings of the 13th International Conference on Safe and Secure Software Reuse, ICSR 2013, held in Pisa, Italy, in June 2013.
This book constitutes the proceedings of the 27th European Conference on Object-Oriented Programming, ECOOP 2013, held in Montpellier, France, in July 2013.
This book constitutes the proceedings of the 9th European Conference on Modelling Foundations and applications, ECMFA 2013, held in Montpellier, France, in July 2013.
This book constitutes the thoroughly refereed proceedings of the 12th International Conference on Ad-hoc, Mobile, and Wireless Networks, ADHOC-NOW 2013, held in Wroclaw, Poland, in July 2013.
This book constitutes the refereed proceedings of the 8th IAPR International Conference on Pattern Recognition in Bioinformatics, PRIB 2013, held in Nice, France, in June 2013.
This book constitutes the refereed proceedings of the 6th International Conference on Trust and Trustworthy Computing, TRUST 2013, held in London, UK, in June 2013.
This book constitutes the refereed proceedings of the 24th Annual Symposium on Combinatorial Pattern Matching, CPM 2013, held in Bad Herrenalb (near Karlsruhe), Germany, in June 2013.
This book constitutes the refereed proceedings of the 7th International Conference on Test and Proofs, TAP 2013, held in Budapest, Hungary, in June 2013, as part of the STAF 2013 Federated Conferences.
This book constitutes the refereed proceedings of the 7th International Conference on Functional Imaging and Modeling of the Heart, held in London, UK, in June 2013.
This book constitutes the thoroughly refereed post-conference proceedings of the 29th British National Conference on Databases, BNCOD 2013, held in Oxford, UK, in July 2013.
This book constitutes the refereed proceedings of the International Symposium on Integrated Uncertainty in Knowledge Modeling and Decision Making, IUKM 2013, held in Beijing China, in July 2013.
This book constitutes the refereed proceedings of the 20th International Conference on Analytical and Stochastic Modelling and Applications, ASMTA 2013, held in Ghent, Belgium, in July 2013.
