Books in the Lecture Notes in Computer Science series

This book constitutes the revised selected papers of the 10th International Symposium on Formal Aspects of Component Software, FACS 2013, held in Nanchang, China, in October 2013.

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 21st Workshop on Logic, Language, Information and Communication, WoLLIC 2014, held in Valparaiso, Chile, in September 2014.

This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Digital-Forensics and Watermarking, IWDW 2013, held in Auckland, New Zealand, during October 2013. The 24 full and 13 poster papers, presented together with 2 abstracts, were carefully reviewed and selected from 55 submissions.

This book constitutes the proceedings of the 15th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XV, held in Prague, Czech Republic, in August 2014. The 12 regular papers were carefully reviewed and selected from 20 submissions.

This book constitutes the refereed proceedings of the 16th International Conference on Descriptional Complexity of Formal Systems, DCFS 2014, held in Turku, Finland, in August 2014. formal systems for applications (e.g., software reliability, software and hardware testing, modeling of natural languages);

This book constitutes the proceedings of the Third International Conference on Biomimetic and Biohybrid Systems, Living Machines 2014, held in Milan, Italy, in July/August 2014.

This book constitutes the refereed proceedings of the 8th IAPR International Conference on Pattern Recognition in Bioinformatics, PRIB 2014, held in Stockholm, Sweden in August 2014. The 9 revised full papers and 9 revised short papers presented were carefully reviewed and selected from 29 submissions.

This book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on New Frontiers in Mining Complex Patterns, NFMCP 2013, held in conjunction with ECML/PKDD 2013 in Prague, Czech Republic, in September 2013.

This book constitutes the refereed proceedings of the 13th International Conference on Unconventional Computation and Natural Computation, UCNC 2014, held in London, ON, Canada, in July 2014.

This book constitutes the refereed proceedings of the 10th International Conference on Blended Learning, ICBL 2017, held in Hong Kong, China, in June 2017. The 42 papers presented were carefully reviewed and selected from 100 submissions. Experiences in Blended Learning; Strategies in Blended Learning; Assessment for Blended Learning;

This book constitutes the proceedings of the 12th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2017, held in May/June 2017 in Karlsruhe, Germany. The contributions are organized in topical sections named: DSR in business process management; DSR in data science and business analytics;

This book constitutes the refereed proceedings of the 4th International Conference on Serious Games for Training, Education, Health and Sports, Game Days 2014, held in Darmstadt, Germany, in April 2014.

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 8th International Conference on Logical Aspects of Computational Linguistics (LACL 2014) held in Toulouse, France, in June 2014.

This book constitutes the refereed proceedings of the 12th International Workshop on Breast Imaging, IWDM 2014, held in Gifu City, Japan, in June/July 2014. The 24 revised full papers and 73 revised poster papers presented together with 6 invited talks were carefully reviewed and selected from 122 submissions.

This book constitutes the refereed proceedings of the 11th International Conference on Engineering Psychology and Cognitive Ergonomics, EPCE 2014, held as part of the 16th International Conference on Human-Computer Interaction, HCII 2014, held in Heraklion, Greece, in June 2014, jointly with 13 other thematically similar conferences.

The two-volume set LNCS 8523-8524 constitutes the refereed proceedings of the First International Conference on Learning and Collaboration Technologies, LCT 2014, held as part of the 16th International Conference on Human-Computer Interaction, HCII 2014, in Heraklion, Crete, Greece in June 2014, jointly with 13 other thematically similar conferences. The total of 1476 papers and 220 posters presented at the HCII 2014 conferences were carefully reviewed and selected from 4766 submissions. These papers address the latest research and development efforts and highlight the human aspects of design and use of computing systems. The papers thoroughly cover the entire field of human-computer interaction, addressing major advances in knowledge and effective use of computers in a variety of application areas. The total of 93 contributions included in the LCT proceedings were carefully reviewed and selected for inclusion in this two-volume set. The 45 papers included in this volume are organizedin the following topical sections: virtual and augmented learning environments; mobile and ubiquitous learning; technology@school; collaboration, learning and training.

This book constitutes the refereed proceedings of the 6th Mexican Conference on Pattern Recognition, MCPR 2014, held in Cancun, Mexico, in June 2014. animal biometric recognition and applications of pattern recognition.

The two-volume set LNCS 8523-8524 constitutes the refereed proceedings of the First International Conference on Learning and Collaboration Technologies, LCT 2014, held as part of the 16th International Conference on Human-Computer Interaction, HCII 2014, in Heraklion, Crete, Greece in June 2014, jointly with 13 other thematically similar conferences. The total of 1476 papers and 220 posters presented at the HCII 2014 conferences were carefully reviewed and selected from 4766 submissions. These papers address the latest research and development efforts and highlight the human aspects of design and use of computing systems. The papers thoroughly cover the entire field of human-computer interaction, addressing major advances in knowledge and effective use of computers in a variety of application areas. The total of 93 contributions included in the LCT proceedings were carefully reviewed and selected for inclusion in this two-volume set. The 45 papers included in this volume are organizedin the following topical sections: design of learning technologies; novel approaches in eLearning; student modeling and learning behavior; supporting problem-based, inquiry-based, project-based and blended learning.

This volume constitutes the refereed proceedings of the First International Conference on HCI in Business, HCIB 2014, held as part of the 16th International Conference on Human-Computer Interaction, HCI International 2014, in Heraklion, Crete, Greece, jointly with 13 other thematically similar conferences.

The 3-volume set LNCS 8510, 8511 and 8512 constitutes the refereed proceedings of the 16th International Conference on Human-Computer Interaction, HCII 2014, held in Heraklion, Crete, Greece in June 2014.

The 3-volume set LNCS 8510, 8511 and 8512 constitutes the refereed proceedings of the 16th International Conference on Human-Computer Interaction, HCII 2014, held in Heraklion, Crete, Greece in June 2014.

This book constitutes the refereed proceedings of the 9th International Conference on Engineering Psychology and Cognitive Ergonomics, EPCE 2011, held in Orlando, FL, USA, in July 2011, within the framework of the 14th International Conference on Human-Computer Interaction, HCII 2011, together with 11 other thematically similar conferences.

This book constitutes the refereed proceedings of the 17th International Conference on Principles of Distributed Systems, OPODIS 2013, held in Nice, France, in December 2013. Papers were sought soliciting original research contributions to the theory, specification, design and implementation of distributed systems.

This book constitutes the refereed proceedings of the 19 International Conference on Formal Grammar 2014, collocated with the European Summer School in Logic, Language and Information in August 2014.

This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Large-Scale Scientific Computations, LSSC 2013, held in Sozopol, Bulgaria, in June 2013. large-scale models: numerical methods, parallel computations and applications;

This book constitutes the refereed proceedings of the 14th Conference on Advances in Autonomous Robotics, TAROS 2013, held in Oxford, UK, in August 2013. The papers cover various topics such as artificial intelligence, bio-inspired and aerial robotics, computer vision, control, humanoid and robotic arm, swarm robotics, verification and ethics.