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 revised selected papers of the Second International Workshop on Understanding Human Activities through 3D Sensors, UHA3DS 2016, that was held in conjunction with the 23rd International Conference on Pattern Recognition, ICPR 2016, held in Cancun, Mexico, in December 2016.
This book constitutes the refereed proceedings of the 21th International Conference on Information and Communications Security, ICICS 2019, held in Beijing, China, in December 2019.
This book constitutes the refereed proceedings of the 30th International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2020, which was held during September 7-9, 2020.
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 comprehensive Guide to Web Development with Java introduces the readers to the three-tiered, Model-View-Controller architecture by using Spring JPA, JSPs, and Spring MVC controllers.
This book constitutes the refereed proceedings of the 14th Symposium and Summer School on Service-Oriented Computing, SummerSOC 2020, held in Crete, Greece, in September 2020.
This book constitutes the proceedings of the 18th International Conference on Service-Oriented Computing, ICSOC 2020, which was planned to take place in Dubai, UAE, during December 14-17, 2020.
This book constitutes the proceedings of the 30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2021, held in Birmingham, UK, in September 2021.
This book constitutes refereed proceedings of the 13th International Conference on International Conference on Computational Collective Intelligence, ICCCI 2021, held in Kallithea, Rhodes, Greece, in October - November 2021.
This book constitutes the refereed proceedings of the 6th International Conference on Information, Communication and Computing Technology, ICICCT 2021, held in New Delhi, India, in May 2021.
This book constitutes the refereed conference proceedings of the 4th International Conference on Emerging Technologies in Computing, iCEtiC 2021, held in August 2021.
This book constitutes the proceedings of the 16th International Conference on Unconventional Computation and Natural Computation, UCNC 2017, held in Fayetteville, AR, USA in June 2017.
This book constitutes the proceedings of the 19th International Conference on Coordination Models and Languages, COORDINATION 2017, held in Neuchatel, Switzerland, in June 2017, as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017.
This book constitutes the proceedings of the 30th International Conference on Architecture of Computing Systems, ARCS 2017, held in Vienna, Austria, in April 2017.
This book constitutes the proceedings of the 19th International GI/ITG Conference on Measurement, Modelling and Evaluation of Computing Systems, MMB 2018, held in Erlangen, Germany, in February 2018.
This book constitutes thoroughly revised and selected papers from the 8th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2020, held in Valletta, Malta, in February 2020.
This book constitutes the thoroughly refereed post-conference proceedings of the second International Workshop on Interoperability and Open-Source Solutions for the Internet of Things, InterOSS-IoT 2016, held in Stuttgart, Germany, November 7, 2016.
This book constitutes the refereed proceedings of the 27th International Symposium on Static Analysis, SAS 2020, held in Chicago, IL, USA, in November 2020.
This book constitutes the proceedings of the International Conference on Services Computing, SCC 2018, as part of SCF 2018, held in Seattle, WA, USA, in June 2018.
The two volumes LNCS 10249 and 10250 constitute the refereed proceedings of the 14th International Semantic Web Conference, ESWC 2017, held in Portoroz, Slovenia.
Cloud Computing wird von nahezu allen führenden Analysten als einer der Top-5-IT-Trends gesehen, der gegenwärtig aus der Hype-Phase in den Status der praktischen betrieblichen Umsetzung übergeht.
This book constitutes the refereed proceedings of the 46th International Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2020, held in Limassol, Cyprus, in January 2020.
This book constitutes the proceedings of the 16th International Symposium on Applied Reconfigurable Computing, ARC 2020, held in Toledo, Spain, in April 2020.
This book constitutes the proceedings of the 19th International Conference on Computer Information Systems and Industrial Management Applications, CISIM 2020, held in Bialystok, Poland, in October 2020.
This book contains revised selected papers presented at 3 workshops held at the 17th IFIP TC 13 International Conference on Human-Computer Interaction, INTERACT 2019, which was held in September 2019 in Paphos, Cyprus.
This book constitutes the thoroughly refereed proceedings of the international workshops associated with the 32nd International Conference on Advanced Information Systems Engineering, CAiSE 2020, which was planned to take place in Grenoble, France, during June 8-12, 2020.
This book constitutes revised selected papers from the 25th Argentine Congress on Computer Science, CACIC 2019, held in Rio Cuarto, Argentina, in October 2019.
This book constitutes selected papers from the Second International Workshop on IoT Streams for Data-Driven Predictive Maintenance, IoT Streams 2020, and First International Workshop on IoT, Edge, and Mobile for Embedded Machine Learning, ITEM 2020, co-located with ECML/PKDD 2020 and held in September 2020.
This book constitutes the refereed proceedings of the 19th Symposium on High Performance Computing System, WSCAD 2018, held in Sao Paulo, Brazil, in October 2018.
This book constitutes the refereed proceedings of the 10th International Conference on Intelligent Computer Mathematics, CICM 2017, held in Edinburgh, Scotland, in July 2017.
This book constitutes the refereed proceedings of the 22nd Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2017, held in Vienna, Austria, in June 2017.
This book constitutes the thoroughly refereed proceedings of the 11th International Joint Conference on Software Technologies, ICSOFT 2016, held in Lisbon, Portugal, in July 2016.
This first volume of the three-volume set (CCIS 1193, CCIS 1194, and CCIS 1195) constitutes the refereed proceedings of the First International Conference on Applied Technologies, ICAT 2019, held in Quito, Ecuador, in December 2019.
This book constitutes the refereed proceedings of the 30th Australasian Joint Conference on Artificial Intelligence, AI 2017, held in Melbourne, VIC, Australia, in August 2017.
This book constitutes the proceedings of the 17th IFIP International Conference on Distributed Applications and Interoperable Systems, DAIS 2017, held in Neuchatel, Switzerland, in June 2017.
This book constitutes the refereed post-conference proceedings of the First EAI International Conference on Sustainable Energy for Smart Cities, SESC 2029, held as part of the Smart City 360(deg) Summit event in Braga, Portugal, in December 2019.
This Festschrift is published in honor of Kim Guldstrand Larsen, one of the earliest precursors of computer science in Denmark, on the occasion of his 60th birthday.
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 book contains the revised and extended versions of selected papers from the 9th International Conference, ICAART 2017, held in Porto, Portugal, in February 24-26, 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 19th International Conference on Descriptional Complexity of Formal Systems, DCFS 2017, held in Milano, Italy, in July 2017.
This tutorial volume includes the revised and extended tutorials (briefings) held at the 5th International Summer School on Grand Timely Topics in Software Engineering, GTTSE 2015, in Braga, Portugal, in August 2015.
The 2-volume set LNCS 10324 and 10325 constitutes the refereed proceedings of the 4th International Conference on Augmented Reality, Virtual Reality, and Computer Graphics, AVR 2017, held in Ugento, Italy, in June 2017.
This book takes a formal approach to teaching software engineering, using not only UML, but also Object Constraint Language (OCL) for specification and analysis of designed models.
This book constitutes extended, revised and selected papers from the 10th International Conference on Cloud Computing and Services Science, CLOSER 2020, held in Prague, Czech Republic, in May 2020.