Books in the Lecture Notes in Computer Science series

The two-volume set LNCS 9134 and LNCS 9135 constitutes the refereed proceedings of the 42nd International Colloquium on Automata, Languages and Programming, ICALP 2015, held in Kyoto, Japan, in July 2015. The papers are organized in the following three tracks: algorithms, complexity, and games;

The two-volume set LNCS 9134 and LNCS 9135 constitutes the refereed proceedings of the 42nd International Colloquium on Automata, Languages and Programming, ICALP 2015, held in Kyoto, Japan, in July 2015. The papers are organized in the following three tracks: algorithms, complexity, and games;

This book constitutes the refereed proceedings of the 13th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2015, held in Compiegne, France, in July 2015.

The four LNCS volume set 9175-9178 constitutes the refereed proceedings of the 9th International Conference on Learning and Collaboration Technologies, UAHCI 2015, held as part of the 17th International Conference on Human-Computer Interaction, HCII 2015, in Los Angeles, CA, USA in August 2015, jointly with 15 other thematically similar conferences. The total of 1462 papers and 246 posters presented at the HCII 2015 conferences were carefully reviewed and selected from 4843 submissions. These papers of the four volume set address the following major topics: LNCS 9175, Universal Access in Human-Computer Interaction: Access to today's technologies (Part I), addressing the following major topics: LNCS 9175: Design and evaluation methods and tools for universal access, universal access to the web, universal access to mobile interaction, universal access to information, communication and media. LNCS 9176: Gesture-based interaction, touch-based and haptic Interaction, visual and multisensoryexperience, sign language technologies and smart and assistive environments LNCS 9177: Universal Access to Education, universal access to health applications and services, games for learning and therapy, and cognitive disabilities and cognitive support and LNCS 9178: Universal access to culture, orientation, navigation and driving, accessible security and voting, universal access to the built environment and ergonomics and universal access.

The four LNCS volume set 9175-9178 constitutes the refereed proceedings of the 9th International Conference on Learning and Collaboration Technologies, UAHCI 2015, held as part of the 17th International Conference on Human-Computer Interaction, HCII 2015, in Los Angeles, CA, USA in August 2015, jointly with 15 other thematically similar conferences. The total of 1462 papers and 246 posters presented at the HCII 2015 conferences were carefully reviewed and selected from 4843 submissions. These papers of the four volume set address the following major topics: LNCS 9175, Universal Access in Human-Computer Interaction: Access to today's technologies (Part I), addressing the following major topics: LNCS 9175: Design and evaluation methods and tools for universal access, universal access to the web, universal access to mobile interaction, universal access to information, communication and media. LNCS 9176: Gesture-based interaction, touch-based and haptic Interaction, visual and multisensoryexperience, sign language technologies and smart and assistive environments LNCS 9177: Universal Access to Education, universal access to health applications and services, games for learning and therapy, and cognitive disabilities and cognitive support and LNCS 9178: Universal access to culture, orientation, navigation and driving, accessible security and voting, universal access to the built environment and ergonomics and universal access.

The four LNCS volume set 9175-9178 constitutes the refereed proceedings of the 9th International Conference on Learning and Collaboration Technologies, UAHCI 2015, held as part of the 17th International Conference on Human-Computer Interaction, HCII 2015, in Los Angeles, CA, USA in August 2015, jointly with 15 other thematically similar conferences. The total of 1462 papers and 246 posters presented at the HCII 2015 conferences were carefully reviewed and selected from 4843 submissions. These papers of the four volume set address the following major topics: LNCS 9175, Universal Access in Human-Computer Interaction: Access to today's technologies (Part I), addressing the following major topics: LNCS 9175: Design and evaluation methods and tools for universal access, universal access to the web, universal access to mobile interaction, universal access to information, communication and media. LNCS 9176: Gesture-based interaction, touch-based and haptic Interaction, visual and multisensoryexperience, sign language technologies and smart and assistive environments LNCS 9177: Universal Access to Education, universal access to health applications and services, games for learning and therapy, and cognitive disabilities and cognitive support and LNCS 9178: Universal access to culture, orientation, navigation and driving, accessible security and voting, universal access to the built environment and ergonomics and universal access.

The four LNCS volume set 9175-9178 constitutes the refereed proceedings of the 9th International Conference on Learning and Collaboration Technologies, UAHCI 2015, held as part of the 17th International Conference on Human-Computer Interaction, HCII 2015, in Los Angeles, CA, USA in August 2015, jointly with 15 other thematically similar conferences. The total of 1462 papers and 246 posters presented at the HCII 2015 conferences were carefully reviewed and selected from 4843 submissions. These papers of the four volume set address the following major topics: LNCS 9175, Universal Access in Human-Computer Interaction: Access to today's technologies (Part I), addressing the following major topics: LNCS 9175: Design and evaluation methods and tools for universal access, universal access to the web, universal access to mobile interaction, universal access to information, communication and media. LNCS 9176: Gesture-based interaction, touch-based and haptic Interaction, visual and multisensoryexperience, sign language technologies, and smart and assistive environments LNCS 9177: Universal Access to Education, universal access to health applications and services, games for learning and therapy and cognitive disabilities and cognitive support and LNCS 9178: Universal access to culture, orientation, navigation and driving, accessible security and voting, universal access to the built environment and ergonomics and universal access.

The selected papers cover various aspects on experiences in hybrid learning, computer supported collaborative learning, improved flexibility of learning processes, learning styles and behaviours, and pedagogical and other issues.

The two-volume set LNCS 9172 and 9173 constitutes the refereed proceedings of the Human Interface and the Management of Information thematic track, held as part of the 17th International Conference on Human-Computer Interaction, HCII 2015, held in Los Angeles, CA, USA, in August 2015, jointly with 15 other thematically similar conferences.

This book constitutes the refereed proceedings of the International Conference on Intelligent Computer Mathematics, CICM 2015, held in Washington, DC, USA, in July 2015. The 16 full papers and 9 short papers presented together with two invited talks plus one abstract were carefully reviewed and selected from a total of 43 submissions.

The two-volume set LNCS 9172 and 9173 constitutes the refereed proceedings of the Human Interface and the Management of Information thematic track, held as part of the 17th International Conference on Human-Computer Interaction, HCII 2015, held in Los Angeles, CA, USA, in August 2015, jointly with 15 other thematically similar conferences.

The LNCS volume 9192 constitutes the refereed proceedings of the Second International Conference on Learning and Collaboration Technologies, LCT 2015, held as part of the 17th International Conference on Human-Computer Interaction, HCII 2015, in Los Angeles, CA, USA in August 2015, jointly with 15 other thematically similar conferences.

This book constitutes the thoroughly refereed proceedings of the 5th International Conference on Mathematics and Computation in Music, MCM 2015, held in London, UK, in June 2015. The papers feature research that combines mathematics or computation with music theory, music analysis, composition, and performance.

This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Reproducible Research in Pattern Recognition, RRPR 2016, held in Cancun, Mexico, in December 2016. The 12 revised full papers, among them 2 invited talks, presented were carefully reviewed and selected from 16 submissions.

This book constitutes the refereed proceedings of the 13th International Symposium on Applied Reconfigurable Computing, ARC 2017, held in Delft, The Netherlands, in April 2017. The 17 full papers and 11 short papers presented in this volume were carefully reviewed and selected from 49 submissions.

This two volume set LNBI 10208 and LNBI 10209 constitutes the proceedings of the 5th International Work-Conference on Bioinformatics and Biomedical Engineering, IWBBIO 2017, held in Granada, Spain, in April 2017. The 122 papers presented were carefully reviewed and selected from 309 submissions.

This two volume set LNBI 10208 and LNBI 10209 constitutes the proceedings of the 5th International Work-Conference on Bioinformatics and Biomedical Engineering, IWBBIO 2017, held in Granada, Spain, in April 2017. The 122 papers presented were carefully reviewed and selected from 309 submissions.

This book contains selected papers from the 7th International Workshop on Accelerating Analytics and Data Management Systems Using Modern Processor and Storage Architectures, ADMS 2016, and the 4th International Workshop on In-Memory Data Management and Analytics, IMDM 2016, held in New Dehli, India, in September 2016.

This book constitutes the proceedings of the 16th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2017, held in Lyon, France, in May 2017. The 17 revised full papers and 2 invited papers presented together with 1 invited abstract were carefully selected from 28 submissions.

This book constitutes the refereed proceedings of the 9th International Conference on the Theory and Application of Cryptographic Techniques in Africa, AFRICACRYPT 2017, held in Dakar, Senegal, in May 2017. The 13 papers presented in this book were carefully reviewed and selected from 40 submissions.

This book constitutes the proceedings of the 9th International Symposium on NASA Formal Methods, NFM 2017, held in Moffett Field, CA, USA, in May 2017. The 23 full and 8 short papers presented in this volume were carefully reviewed and selected from 77 submissions.

This book contains the refereed proceedings of the 13th International Symposium on Mathematical Morphology, ISMM 2017, held in Fontainebleau, France, in May 2017. The 36 revised full papers presented together with 4 short papers were carefully reviewed and selected from 53 submissions.

This book constitutes the proceedings of the 12th International Conference on Green, Pervasive, and Cloud Computing, GPC 2017, held in Cetara, Italy, in May 2017 and the following colocated workshops: First International Workshop on Digital Knowledge Ecosystems 2017;

This book constitutes thoroughly revised selected papers of the 6th International Conference on Numerical Analysis and Its Applications, NAA 2016, held in Lozenetz, Bulgaria, in June 2016.

This book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Algorithmic Aspects of Cloud Computing, ALGOCLOUD 2016, held in Aarhus, Denmark, in August 2016. transactional models and algorithms for cloud databases;

This book constitutes the refereed proceedings of the 13th European Conference on Ambient Intelligence, AmI 2017, held in Malaga, Spain, in April 2017. The 16 revised full papers presented together with 4 short papers and 1 keynote paper were carefully reviewed and selected from 48 submissions.

This book constitutes the proceedings of the 21th Annual Conference on Research in Computational Molecular Biology, RECOMB 2017, held in Hong Kong, China, in May 2017. The 22 regular papers presented in this volume were carefully reviewed and selected from 184 submissions.