Bøker i Lecture Notes in Computer Science-serien

This book constitutes the refereed proceedings of the 13th International Conference on Formal Concept Analysis, ICFCA 2015, held in Neja, Spain, in June 2015. methods and applications of FCA to different fields and enhanced FCA that show new trends in FCA, for instance, pattern structures of fuzzy FCA.

This book constitutes the proceedings of the 36th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2015, held in Brussels, Belgium, in June 2015. The 12 regular papers and 2 tool papers presented in this volume were carefully reviewed and selected from 34 submissions.

This book constitutes the proceedings of the 7th Iberian Conference on Pattern Recognition and Image Analysis, IbPRIA 2015, held in Santiage de Compostela, Spain, in June 2015. They were organized in topical sections named: Pattern Recognition and Machine Learning; Image and Signal Processing; Pattern Recognition and Machine Learning;

The two-volume set LNAI 9119 and LNAI 9120 constitutes the refereed proceedings of the 14th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2015, held in Zakopane, Poland in June 2015.

This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Workshop on Digital-Forensics and Watermarking, IWDW 2014, held in Taipei, Taiwan, during October 2014. The 32 full and 14 poster papers, presented together with 1 keynote speech, were carefully reviewed and selected from 79 submissions.

The two-volume set LNAI 9119 and LNAI 9120 constitutes the refereed proceedings of the 14th International Conference on Artificial Intelligence and Soft Computing, ICAISC 2015, held in Zakopane, Poland in June 2015.

This book constitutes the proceedings of the 13th International Conference on Smart Homes and Health Telematics, ICOST 2015, held in Geneva, Switzerland, in June 2015. The 20 full papers and 16 short contributions included in this volume were carefully reviewed and selected from 45 submissions.

This book constitutes the refereed proceedings of the 17th International Conference on Coordination Models and Languages, COORDINATION 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 refereed proceedings of the 7th Mexican Conference on Pattern Recognition, MCPR 2015, held in Mexico City Mexico, in June 2015. The 30 revised full papers presented were carefully reviewed and selected from 63 submissions.

This two-volume set LNCS 9094 and LNCS 9095 constitutes the thoroughly refereed proceedings of the 13th International Work-Conference on Artificial Neural Networks, IWANN 2015, held in Palma de Mallorca, Spain, in June 2013. multi-robot systems: applications and theory (MRSAT); mathematical and theoretical methods in fuzzy systems;

This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions.

This book constitutes the refereed proceedings of the 17th International Conference on Descriptional Complexity of Formal Systems, DCFS 2015, held in Waterloo, ON, Canada, in June 2015. Descriptional complexity serves as a theoretical representation of physical realizations, such as the engineering complexity of computer software and hardware.

This two-volume set LNCS 9094 and LNCS 9095 constitutes the thoroughly refereed proceedings of the 13th International Work-Conference on Artificial Neural Networks, IWANN 2015, held in Palma de Mallorca, Spain, in June 2013. multi-robot systems: applications and theory (MRSAT); mathematical and theoretical methods in fuzzy systems;

This book constitutes the proceedings of the 35th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems, FORTE 2015, held in Grenoble, France, in June 2015, as part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015.

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 contains the thoroughly refereed post-conference proceedings of the Second International Conference on Exascale Applications and Software, EASC 2014, held in Stockholm, Sweden, in April 2014. They are organized in two topical sections named: toward exascale scientific applications and development environment for exascale applications.

This book constitutes the thoroughly refereed post-conference proceedings of the 17th International Conference on Information Security and Cryptology, ICISC 2014, held in Seoul, South Korea in December 2014.

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.