This book constitutes the proceedings of the 17th International Conference on Computer Information Systems and Industrial Management Applications, CISIM 2018, held in Olomouc, Czech Republic, in September 2018.
This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2018, held in Beijing, China, in September 2018.
This book constitutes the refereed proceedings of the 25th International Static Analysis Symposium, SAS 2018, held in Freiburg, Germany, in August 2018.
This book constitutes the refereed proceedings of the 12th International Conference on Parallel Computational Technologies, PCT 2018, held in Rostov-on-Don, Russia, in April 2018.
This book constitutes the proceedings of the 20th International Workshop on Computer Algebra in Scientific Computing, CASC 2018, held in Lille, France, in September 2018.
This book constitutes the refereed proceedings of the 20th International Conference on Big Data Analytics and Knowledge Discovery, DaWaK 2018, held in Regensburg, Germany, in September 2018.
This book constitutes the proceedings of the 22nd European Conference on Advances in Databases and Information Systems, ADBIS 2018, held in Budapest, Hungary, in September 2018.
This volume constitutes the refereed proceedings of the 25th European Conference on Systems, Software and Services Process Improvement, EuroSPI conference, held in Bilbao, Spain, in September 2018.
This work considers Kronecker-based models with finite as well as countably infinite state spaces for multidimensional Markovian systems by paying particular attention to those whose reachable state spaces are smaller than their product state spaces.
This book constitutes the proceedings of the 14th International Conference on Bioinformatics Research and Applications, ISBRA 2018, held in Beijing, China, in June 2018.
This book constitutes the refereed proceedings of the 9th International Conference on Interactive Theorem Proving, ITP 2018, held in Oxford, UK, in July 2018.
This book constitutes thoroughly revised and selected papers from the 5th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2017, held in Porto, Portugal, in February 2017.
This book constitutes the refereed proceedings of the 14th World Congress on Services, SERVICES 2018, held as part of the Services Conference Federation, SCF 2018, in Seattle, USA, in June 2018.
This volume constitutes the proceedings of the 7th International Conference on BIGDATA 2018, held as Part of SCF 2018 in Seattle, WA, USA in June 2018.
This volume constitutes the proceedings of the 11th International Conference on Cloud Computing, CLOUD 2018, held as part of the Services Conference Federation, SCF 2018, in Seattle, WA, USA, in June 2018.
This book constitutes the thoroughly refereed proceedings of the 12th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2017, held in Porto, Portugal, in April 2017.
This book constitutes the proceedings of the 18th IFIP International Conference on Distributed Applications and Interoperable Systems, DAIS 2018, held in Madrid, Spain, in June 2018.
This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Joint Conference on Software Technologies, ICSOFT 2017, held in Madrid, Spain, in July 2017.
This book constitutes the refereed proceedings of the 11th International Conference on Model Transformation, ICMT 2018, held as part of STAF 2018, in Toulouse, France, in June 2018.
This book constitutes the proceedings of the 14th European Conference on Modelling Foundations and Applications, ECMFA 2018, held as part of STAF 2018, in Toulouse, France, in June 2018.
This book constitutes the refereed proceedings of the 16th International Conference on Software Engineering and Formal Methods, SEFM 2018, held as part of STAF 2018, in Toulouse, France, in June 2018.
This book constitutes the refereed proceedings of the 33rd International Conference, ISC High Performance 2018, held in Frankfurt, Germany, in June 2018.
The papers of this volume focus on the foundational aspects of computer science, the thematic origin and stronghold of LNCS, under the title "e;Computing and Software Science: State of the Art and Perspectives"e;.
This authoritative and comprehensive handbook is the definitive work on the current state of the art of Biometric Presentation Attack Detection (PAD) - also known as Biometric Anti-Spoofing.
This book constitutes the thoroughly refereed proceedings of the 25th International Conference on Computer Networks, CN 2018, held in Gliwice, Poland, in June 2018.
This book constitutes the proceedings of the 20th International Conference on Coordination Models and Languages, COORDINATION 2018, held in Madrid, Spain, in June 2018, as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018.
This book constitutes the refereed proceedings of the 8th International Conference on Machines, Computations, and Universality, MCU 2018, held in Fontainebleau, France, in June 2018.
This book constitutes the revised selected papers of the scientific satellite events that were held in conjunction with the 15th International Conference on Service-Oriented Computing, ICSOC 2017, held in Malaga, Spain, in November 2017.
This book constitutes the refereed proceedings of the 7th Workshop on New Frontiers in Quantitative Methods in Informatics, InfQ 2017, held in Venice, Italy, in December 2017.
This book constitutes the refereed proceedings of the 30th International Conference on Advanced Information Systems Engineering, CAiSE 2018, held in Talinn, Estonia, in June 2018.
The two volumes set LNCS 10913-10914 of SCSM 2018 constitutes the proceedings of the 10th International Conference on Social Computing and Social Media, SCSM 2018, held as part of the International Conference on Human-Computer Interaction, HCII 2018, held in Las Vegas, NV, USA, in July 2018.
This book constitutes the refereed post-conference proceedings of the 10th International Conference on Wireless Internet , WiCON 2017, held in Tianjin, China, in December 2017.
This book discusses the fusion of mobile and WiFi network data with semantic technologies and diverse context sources for offering semantically enriched context-aware services in the telecommunications domain.
This book constitutes the proceedings of the 14th International Symposium on Functional and Logic Programming, FLOPS 2018, held in Nagoya, Japan, in May 2018.
This book constitutes the proceedings of the 13th International Workshop on Communication Technologies for Vehicles, Nets4Cars/Nets4Trains/Nets4Aircraft 2018, held in Madrid, Spain, in May 2018.
This book constitutes the thoroughly refereed revised selected papers of the 18th International Symposium on Trends in Functional Programming, TFP 2017, held in Canterbury, UK, in June 2017.
This book constitutes revised selected papers from the 9th International Workshop on Constructive Side-Channel Analysis and Secure Design, COSADE 2018, held in Singapore, in April 2018.
This book constitutes the refereed proceedings of the 16th International Symposium on Web and Wireless Geographical Information Systems, W2GIS 2018, held in A Coruna, Spain, in May 2018.
This book constitutes the refereed proceedings of the 5th IFIP TC 10 International Embedded Systems Symposium, IESS 2015, held in Foz do Iguacu, Brazil, in November 2015.
This volume contains the technical papers presented in the workshops, which took place at the 6th European Conference on Service-Oriented and Cloud Computing, ESOCC 2017, held in Oslo, Norway, September 2017: First International Workshop on Business Process Management in the Cloud, BPM@Cloud 2017; Third International Workshop on Cloud Adoption and Migration, CloudWays 2017.
The two-volume set LNICST 236-237 constitutes the post-conference proceedings of the 12th EAI International Conference on Communications and Networking, ChinaCom 2017, held in Xi'an, China, in September 2017.