Bøker i Lecture Notes in Computer Science-serien

This book constitutes revised selected papers from the Third International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2013, held in Queenstown, New Zealand, in October 2013.

The 15 revised full papers, 4 papers from the landscape track, 3 papers from the doctoral colloquium and 6 demo and poster papers were carefully reviewed and selected from numerous submissions and are presented with 6 workshop descriptions.

This book constitutes the refereed proceedings of the 11th Asian Symposium on Programming Languages and Systems, APLAS 2013, held in Melbourne, Australia, in December 2013. The papers cover a variety of foundational and practical issues in programming languages and systems.

This book constitutes the refereed proceedings of the 8th International Conference on the Theory and Application of Diagrams, Diagrams 2014, held in Melbourne, VIC, Australia in July/August 2014.

S-Cube's Foundations for the Internet of Services Today's Internet is standing at a crossroads. Services available on the Internet of Services can be used by anyone (if they are used according to the policies de?ned by the provider) and they can be extended with new services by anyone.

Contains the refereed proceedings of the International Conference on Life System Modeling and Simulation, LSMS 2010 and the International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, held in Wuxi, China, in September 2010.

Constitutes the refereed proceedings of the 16th International Euro-Par Conference held in Ischia, Italy, in August/September 2010.

This volume contains the workshopproceedings of the accompanying workshops of the 14th Financial Cryptograpy and Data Security International Conference 2010, held on Tenerife, Canary Islands, Spain, January 25-28, 2010.

Constitutes the refereed proceedings of the 7th International Conference on Engineering Psychology and Cognitive Ergonomics, EPCE 2007, held in Beijing, China in July 2007 in the framework of the 12th International Conference on Human-Computer Interaction, HCII 2007 with 8 other thematically similar conferences.

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.

A summary of research and development in case-based reasoning (CBR). It provides an introduction to CBR, presenting the basic ideas and concepts, then goes on to detail CBR applications in areas such as decision and sales support, text processing, software engineering and medicine.

The two-volume set LNCS 4190 and LNCS 4191 constitute the refereed proceedings of the 9th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2006. The program committee carefully selected 39 revised full papers and 193 revised poster papers for presentation in two volumes.

This book constitutes the refereed proceedings of the 8th Brazilian Symposium on Bioinformatics, BSB 2013, held in Recife, Brazil, in November 2013. The 18 regular papers presented were carefully reviewed and selected for inclusion in this book. The papers cover all aspects of bioinformatics and computational biology.

Constitutes the refereed proceedings of the 8th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2005, held in Palm Springs, CA, USA, in October 2005. Based on peer reviews, the program committee selected 237 full papers from 632 submissions for presentation.

This book constitutes the proceedings of the 6th International Workshop on Communication Technologies for Vehicles, Nets4Cars/Nets4Trains/Nets4Aircraft 2014, held in Offenburg, Germany in May 2014. The contributions are organized in topical sections named: automotive issues, car-to-car, aviation issues, in-car, and infrastructures.

This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop on Medical Computer Vision, MCV 2013, held in Nagoya, Japan, in September 2013 in conjunction with the 16th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2013.

This book constitutes the refereed proceedings of the 36th Annual German Conference on Artificial Intelligence, KI 2013, held in Koblenz, Germany, in September 2013. The 24 revised full papers presented together with 8 short papers were carefully reviewed and selected from 70 submissions.

This book constitutes the refereed proceedings of the 5th International Workshop on Software Engineering for Resilient Systems, SERENE 2013, held in Kiev, Ukraine, in October 2013. The papers are organized in topical sections on resilient software and design, rigorous reasoning, applications, concepts, and analysis.

This book constitutes the refereed proceedings of the 4th International Conference on Runtime Verification, RV 2013, held in Rennes, France, in September 2013. The 24 revised full papers presented together with 3 invited papers, 2 tool papers, and 6 tutorials were carefully reviewed and selected from 58 submissions.

The papers are organized in topical sections on Constraints, search and planning, intelligent Web and information retrieval, fuzzy systems, knowledge representation, reasoning and logic, machine learning, multiagent systems, multidisciplinary topics and applications, metaheuristics, uncertainty in artificial intelligence.

This book constitutes the refereed post-proceedings of the 5th TPC Technology Conference, TPCTC 2013, held in Trento, Italy, in August 2013. It contains 7 selected peer-reviewed papers, a report from the TPC Public Relations Committee and one invited paper.

The overall program covers various aspects of robotics, including navigation, planning, sensing and perception, flying and swarm robots, ethics, humanoid robotics, human-robot interaction, and social robotics.

This book constitutes the proceedings of the 10th International Conference on Active Media Technology, AMT 2014, held in Warsaw, Poland, in August 2014, held as part of the 2014 Web Intelligence Congress, WIC 2014. The topics of these papers encompass active computer systems; interactive systems and applications of AMT-based systems;