Books in the Lecture Notes in Computer Science series

This book constitutes the proceedings of the 6th International Workshop on Machine Learning in Medical Imaging, MLMI 2015, held in conjunction with MICCAI 2015, in Munich in October 2015.

This book constitutes the refereed proceedings of the 11th International Workshop on Security and Trust Management, STM 2015, held in Vienna, Austria, in September 2015, in conjunction with the 20th European Symposium Research in Computer Security, ESORICS 2015. and security analysis, risk management and usability.

This book constitutes the thoroughly refereed post-conference proceedings of Current Trends in Web Engineering, ICWE Workshops 2015 which was held in June 2015 in Rotterdam, The Netherlands.

This two-volume set (LNAI 9329 and LNAI 9330) constitutes the refereed proceedings of the 7th International Conference on Collective Intelligence, ICCCI 2014, held in Madrid, Spain, in September 2015. The 110 full papers presented were carefully reviewed and selected from 186 submissions.

This book constitutes revised selected papers from the 19th International Conference on Information Security and Cryptology, ICISC 2016, held in Seoul, South Korea, in November/December 2016. The 18 full papers presented in this volume were carefully reviewed and selected from 69 submissions.

This two-volume set LNCS 9712 and LNCS 9713 constitutes the refereed proceedings of the 7th International Conference on Swarm Intelligence, ICSI 2016, held in Bali, Indonesia, in June 2016.

This two-volume set LNCS 9712 and LNCS 9713 constitutes the refereed proceedings of the 7th International Conference on Swarm Intelligence, ICSI 2016, held in Bali, Indonesia, in June 2016.

This book constitutes the refereed proceedings of the 19th International Conference on Theory and Applications of Satisfiability Testing, SAT 2016, held in Bordeaux, France, in July 2016. The 31 regular papers, 5 tool papers presented together with 3 invited talks were carefully reviewed and selected from 70 submissions.

The LNCS volume LNCS 9714 constitutes the refereed proceedings of the International Conference on Data Mining and Big Data, DMBD 2016, held in Bali, Indonesia, in June 2016. The 57 papers presented in this volume were carefully reviewed and selected from 115 submissions.

This book constitutes the proceedings of the Third International Conference on Algorithms and Discrete Applied Mathematics, CALDAM 2017, held in Goa, India, in February 2017. They deal with the following areas: algorithms, graph theory, codes, polyhedral combinatorics, computational geometry, and discrete geometry.

This book constitutes the refereed proceedings of the 13th International Symposium on Neural Networks, ISNN 2016, held in St. Petersburg, Russia in July 2016. The papers cover many topics of neural network-related research including signal and image processing; and cognition computation and spiking neural networks.

The 2-volume set LNCS 9768 and 9769 constitutes the refereed proceedings of the Third International Conference on Augmented Reality, Virtual Reality and Computer Graphics, AVR 2016, held in Lecce, Italy, in June 2016. The 40 full papers and 29 short papers presented werde carefully reviewed and selected from 131 submissions.

This book constitutes the proceedings of the 8th International Symposium on NASA Formal Methods, NFM 2016, held in Minneapolis, MN, USA, in June 2016. The 19 full and 10 short papers presented in this volume were carefully reviewed and selected from 70 submissions.

The 2-volume set LNCS 9768 and 9769 constitutes the refereed proceedings of the Third International Conference on Augmented Reality, Virtual Reality and Computer Graphics, AVR 2016, held in Lecce, Italy, in June 2016. The 40 full papers and 29 short papers presented werde carefully reviewed and selected from 131 submissions.

This book constitutes the refereed proceedings of the 6th International Provenance and Annotation Workshop, IPAW 2016, held in McLean, VA, USA, in June 2016. The 12 revised full papers, 14 poster papers, and 2 demonstration papers presentedwere carefully reviewed and selected from 54 submissions.

This book constitutes the refereed proceedings of the 8th International Conference on Reversible Computation, RC 2016, held in Bologna, Italy, in July 2016. The 18 full and 5 short papers included in this volume were carefully reviewed and selected from 38 submissions. The papers are organized in topical sections named: process calculi;

This book constitutes the thoroughly refereed revised selected papers of the 16th International Symposium on Trends in Functional Programming, TFP 2015, held in Sophia Antipolis, France, in June 2015.

This book constitutes the proceedings of the 37th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2016, held in Torun, Poland, in June 2016.

This book constitutes the refereed proceedings of the 21st Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2016, held in Pisa, Italy, in June 2016. The revised 12 full papers presented together with one invited paper were carefully reviewed and selected from 28 submissions.

This book constitutes the proceedings of the 29th International Symposium on Distributed Computing, DISC 2015, held in Tokyo, Japan, in October 2015. The 42 full papers presented in this volume were carefully reviewed and selected from 143 submissions.

These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own Editorial Board which selects papers based on a rigorous two-stage refereeing process. ToPNoC contains:- Revised versions of a selection of the best papers from workshops and tutorials at the annual Petri net conferences- Special sections/issues within particular subareas (similar to those published in the Advances in Petri Nets series)- Other papers invited for publication in ToPNoC- Papers submitted directly to ToPNoC by their authorsThe 10th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 35th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2014, and the 14th International Conference on Application of Concurrency to System Design, ACSD 2014. It also contains one paper submitted directly to ToPNoC.The 8 papers cover a diverse range of topics including model checking and system verification, refinement, and synthesis; foundational work on specific classes of Petri nets; and innovative applications of Petri nets and other models of concurrency.

This book constitutes the proceedings of the 10th International Workshop on Communication Technologies for Vehicles, Nets4Cars/Nets4Trains/Nets4Aircraft 2016, held in San Sebastián, Spain, in June 2016. The 13 papers presented together with 2 keynote papers, 2 invited papers, and 1 demo paper in this volume were carefully reviewed and selected from 17 initial submissions. The contributions are organized in topical sections named: road, rail, and air.

This book constitutes the refereed proceedings of the 15th International Symposium on Experimental Algorithms, SEA 2016, held in St. Petersburg, Russia, in June 2016. The 25 revised full papers presented were carefully reviewed and selected from 54 submissions.

This book constitutes the proceedings of the Third InternationalConference on Algorithms for Computational Biology, AlCoB 2016, held inTrujillo, Spain, in June 2016. The 13 full papers presented in this volume were carefully reviewed andselected from 23 submissions.

This book constitutes the refereed proceedings of the 16th International Conference on Web Engineering, ICWE 2016, held in Lugano, Switzerland, in June 2016.The 19 full research papers, 13 short papers, 3 vision papers, 11 demonstrations, 5 posters, 6 PhD Symposium  and 4 tutorials presented were carefully reviewed and selected from 120 submissions. The 16th edition of ICWE accepted contributions related to different research areas revolving around Web engineering, including: Web application modelling and engineering, Human computation and crowdsourcing, Web applications composition and mashups, SocialWeb applications, SemanticWeb, and, for the first time, also the Web of Things.

This book constitutes the proceedings of the 12th International Symposium on Bioinformatics Research and Applications, ISBRA 2016, held in Minsk, Belarus, in June 2016. The 25 papers presented in this volume were carefully reviewed and selected from 77 submissions.

This book constitutes the refereed proceedings at PAKDD Workshops 2015, held in conjunction with PAKDD, the 19th Pacific-Asia Conference on Knowledge Discovery and Data Mining in Ho Chi Minh City, Vietnam, in May 2015.

This book constitutes the proceedings of the 9th International Conference on Network and System Security, NSS 2015, held in New York City, NY, USA, in November 2015. The 23 full papers and 18 short papers presented were carefully reviewed and selected from 110 submissions.