Bøker i Lecture Notes in Computer Science-serien

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 refereed proceedings of the 8th International Conference on Grid and Pervasive Computing, GPC 2016, held in Seoul, Korea, in May 2016. The conference contains various aspects including green computing, cloud computing, virtualisation, data and storage, and network security.

This book constitutes the thoroughly refereed post-conference proceedings of the IFIP WG 11.4 International Workshop on Open Problems in Network Security, iNetSec 2015, held in Zurich, Switzerland, in October 2015. its objective is to present and discuss open problems and new research directions on all aspects related to network security.

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 thoroughly refereed post-conference proceedings of the 11th International Conference on Information Security and Cryptology, Inscrypt 2015, held in Beijing, China in November 2015. The 27 revised full papers presented were carefully reviewed and selected from 79 submissions. zero knowledge and secure computations;

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 of the 15th International Conference on Software Reuse, ICSR 2016, held in Limassol, Cyprus, in June 2016. The 21 revised full papers presented together with 4 revised short papers were carefully reviewed and selected from 51 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.

The volume contains 12poster and 22 demonstration papers, selected from 50 submissions, as well as 22best workshop papers selected from 140 papers presented at the 16 workshopsthat took place at ESWC 2015.

This book constitutes the thoroughly refereed proceedings of the Third International Conference on High Performance Computing and Applications, HPCA 2015, held in Shanghai, China, in July 2015. The 24 revised full papers presented were carefully reviewed and selected from 50 submissions. novel approached to high performance computing;

This book constitutes the refereed proceedings of the 6th International Conference on Decision and Game Theory for Security, GameSec 2015, held in London, UK, in November 2015. The 16 revised full papers presented together with 5 short papers were carefully reviewed and selected from 37 submissions.

This book constitutes the proceedings of the 9thInternational and Interdisciplinary Conference on Modeling and Using Context,CONTEXT 2015, held in Larnaca, Cyprus, in November 2015. The 33 full papers and 13 short papers presented werecarefully reviewed and selected from 91 submissions.

This book constitutes the refereed proceedings of the 7th International Conference on Social Robotics, ICSR 2015, held in Paris, France, in October 2015. The 70 revised full papers presented were carefully reviewed and selected from 126 submissions. The papers focus on the interaction between humans and robots and the integration of robots into our society and present innovative ideas and concepts, new discoveries and improvements, novel applications on the latest fundamental advances in the core technologies that form the backbone of social robotics, distinguished developmental projects, as well as seminal works in aesthetic design, ethics and philosophy, studies on social impact and influence pertaining to social robotics, and its interaction and communication with human beings and its social impact on our society.

This book constitutes the thoroughly refereedpost-conference proceedings of the Third International Conference on PatternRecognition, ICPRAM 2014, held in Angers, France, in March 2014.The 18 revised full papers were carefully reviewed andselected from 179 submissions and describe up-to-date applications of PatternRecognition techniques to real-world problems, interdisciplinary research,experimental and/or theoretical studies yielding new insights that advancePattern Recognition methods.

This book constitutes the proceedings of the 18thInternational Conference on Principles and Practice of Multi-Agent Systems,PRIMA 2015, held in Bertinoro, Italy, in October 2015. The 29 full papers and 24 short papers presented in thisvolume were carefully reviewed and selected from 94 submissions.

This Festschrift volume is published in honor of Pierpaolo Degano on the occasion of his 65th birthday and is the outcome of a colloquium held in Pisa, Italy, in June 2015. Pierpaolo Degano has worked on a large variety of topics including formal program semantics, concurrency theory, systems biology and security. The volume contains 22 refereed papers and one extended abstract, including personal memoirs and regular research papers by close collaborators and friends and a laudatio illustrating his distinguished career and his main scientific contributions. The papers deal with the main research topics explored by Pierpaolo Degano and those still under his investigation. 

This book constitutes the refereed proceedings of the 14th International Conference on Web-Based Learning, ICWL 2015, held in Guangzhou, China, in Noavember 2015. The 18 revised full papers presented together with 2 invited papers and 7 short papers were carefully reviewed and selected from about 79 submissions.

This book constitutes the thoroughly refereed post-conference proceedings of the 20th International Conference on Financial Cryptography and Data Security, FC 2016, held in Christ church, Barbados, in February 2016. The 27 revised full papers and 9 short papers were carefully selected and reviewed from 137 full papers submissions.

The papers discuss research results and applications in the intersection of pattern recognition, image analysis, graph theory, and also the application of graphs to pattern recognition problems in other fields like computational topology, graphic recognition systems and bioinformatics.

This book constitutes the refereed proceedings of the 8th Iberian Conference on Pattern Recognition and Image Analysis, IbPRIA 2017, held in Faro, Portugal, in June 2017. They are organized in topical sections named: Pattern Recognition and Machine Learning; Image and Signal Processing;

This book constitutes the refereed proceedings of the 6th International Conference on Scale Space and Variational Methods in Computer Vision, SSVM 2017, held in Kolding, Denmark, in June 2017. The papers are organized in the following topical sections: Scale Space and PDE Methods;

This book constitutes the proceedings of the 12th International Computer Science Symposium in Russia, CSR 2017, held in Kazan, Russia, in June 2017. combinatorics in computer science; applications of logic to computer science, e.g.