Books in the Lecture Notes in Computer Science series

This book constitutes the refereed proceedings of the 4th International Conference on Health Information Science, HIS 2014, held in Melbourne, Australia, in May 2015.

This book constitutes the refereed proceedings of the 15th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, DAIS 2015, held as part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, in Grenoble, France, in June 2015.

This book constitutes the proceedings of the First Joint International Conference on Serious Games, JCSG 2015, held in Huddersfield, UK, in June 2015. This conference bundles the activities of the International Conference on Serious Games Development and Applications, SGDA, and the Conference on Serious Games, GameDays.

This book constitutes the proceedings of the 27th International Conference on Advanced Information Systems Engineering, CAiSE 2015, held in Stockholm, Sweden, in June 2015. business process modeling and languages; high volume and complex information management; enterprise data management; enterprise IT integration and management;

This book constitutes the refereed conference proceedings of the 28th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2015, held in Seoul, South Korea, in June 2015.

This book constitutes the refereed proceedings of the 11th International Symposium on Bioinformatics Research and Applications, ISBRA 2015, held in Norfolk, VA, USA, in June 2015. The 34 revised full papers and 14 two-page papers included in this volume were carefully reviewed and selected from 98 submissions.

This book presents 5 tutorial lectures given by leading researchers at the 15th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2015, held in Bertinoro, Italy, in June 2015.

This book constitutes the refereed proceedings of the 20th International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2014, held in Essen, Germany, in April 2013. There were two parallel tracks on the third day: the Industry Track and the new Research Methodology Track.

This book constitutes the proceedings of the 28th International Conference on Architecture of Computing Systems, ARCS 2015, held in Porto, Portugal, in March 2015. The 19 papers presented together with three invited papers were carefully reviewed and selected from 45 submissions.

This book constitutes the refereed proceedings of the 5th Computational Color Imaging Workshop, CCIW 2015, held in Saint-Etienne, France, in March 2015. The papers are organized in topical sections on color reproduction, color sensation and perception, color image processing, spectral imaging, and color in digital cultural heritage.

This volume presents the revised lecture notes of selected talks given at the Fifth Central European Functional Programming School, CEFP 2013, held in July 2013 in Cluj-Napoca, Romania. The last 5 papers are selected papers of the PhD Workshop organized for the participants of the summer school.

This book constitutes the refereed proceedings of the 8th International Conference on Evolutionary Multi-Criterion Optimization, EMO 2015 held in Guimaraes, Portugal in March/April 2015.

This two volume set LNCS 9049 and LNCS 9050 constitutes the refereed proceedings of the 20th International Conference on Database Systems for Advanced Applications, DASFAA 2015, held in Hanoi, Vietnam, in April 2015. The papers cover the following topics: data mining; data streams and time series; information integration and data quality;

This two-volume set, LNAI 9077 + 9078, constitutes the refereed proceedings of the 19th Pacific-Asia Conference on Advances in Knowledge Discovery and Data Mining, PAKDD 2015, held in Ho Chi Minh City, Vietnam, in May 2015. The proceedings contain 117 paper carefully reviewed and selected from 405 submissions.

This two-volume set, LNAI 9077 + 9078, constitutes the refereed proceedings of the 19th Pacific-Asia Conference on Advances in Knowledge Discovery and Data Mining, PAKDD 2015, held in Ho Chi Minh City, Vietnam, in May 2015. The proceedings contain 117 paper carefully reviewed and selected from 405 submissions.

This book constitutes the proceedings of the 12th International Conference on the Integration of Artificial Intelligence (AI) and Operations Research (OR) Techniques in Constraint Programming, CPAIOR 2015, held in Barcelona, Spain, in May 2015.

This book constitutes the refereed proceedings of Satellite Events held at the 19th International Conference on Knowledge Engineering and Knowledge Management, EKAW 2014 in November 2014.

This book constitutes the thoroughly refereed post-conference proceedings of the Third International Workshop on New Frontiers in Mining Complex Patterns, NFMCP 2014, held in conjunction with ECML-PKDD 2014 in Nancy, France, in September 2014.

The papers are organized along a set of thematic tracks: program analysis and transformation, constraint handling rules, termination analysis, security, program testing and verification, program synthesis, program derivation, semantic issues in logic programming and program transformation and optimization.

This two volume set LNCS 9234 and 9235 constitutes the refereed conference proceedings of the 40th International Symposium on Mathematical Foundations of Computer Science, MFCS 2015, held in Milan, Italy, in August 2015.

This book constitutes the refereed proceedings of the 4th International Conference on Electronic Government and the Information Systems Perspective, EGOVIS 2015, held in Valencia, Spain, in September 2015, in conjunction with DEXA 2015. The papers are organized in the following topical sections: semantic technologies in e-government;

This book constitutes the thoroughly refereed post-workshop proceedings of the Second International Workshop on Modelling and Simulation for Autonomous Systems, MESAS 2015, held in Prague, Czech Republic, in April 2015. The 18 revised full papers included in the volume were carefully reviewed and selected from 33 submissions.

This book constitutes the refereed proceedings of the 14th International Symposium on Spatial and Temporal Databases, SSTD 2015, held in Hong Kong, China, in August 2015. The 24 revised full papers together with 8 demos presented were carefully reviewed and selected from 64 submissions.

We asked all workshops to follow a rigid paper selection process, including the procedure to ensure that any Program Committee members are excluded from the paper review process of any paper they are involved with.

This book constitutes the thoroughly refereed conference proceedings of the 5th International Conference on E-Voting and Identity, VoteID 2015, held in Bern, Switzerland, in September 2015. The 10 revised full papers presented, including one keynote and three invited talks, were carefully selected from 26 submissions.

This book constitutes the proceedings of the 12th International Conference on Quantitative Evaluation of Systems, QEST 2015, held in Madrid, Spain, in September 2015. They are organized in topical sections named: modelling and applications; and queuing systems and hybrid systems.

This two-volume set LNCS 9225 and LNCS 9226 constitutes - in conjunction with the volume LNAI 9227 - the refereed proceedings of the 11th International Conference on Intelligent Computing, ICIC 2015, held in Fuzhou, China, in August 2015. intelligent computing and knowledge discovery and data mining;

This two-volume set LNCS 9225 and LNCS 9226 constitutes - in conjunction with the volume LNAI 9227 - the refereed proceedings of the 11th International Conference on Intelligent Computing, ICIC 2015, held in Fuzhou, China, in August 2015. intelligent computing and knowledge discovery and data mining;