Software Engineering

This book constitutes the refereed post-conference proceedings of the 10th IFIP WG 5.

This book constitutes the thoroughly refereed post-workshop proceedings of the 26th International Workshop on Security Protocols, held in Cambridge, UK, in March 2018.

Many programmers have limited effectiveness because they don't have a deep understanding of how their computer actually works under the hood.

This book constitutes the proceedings of the 16th Russian Conference on Artificial Intelligence, RCAI 2018, Moscow, Russia, in September 2018.

This book constitutes the proceedings of the 25th International Conference on Parallel and Distributed Computing, Euro-Par 2019, held in Gottingen, Germany, in August 2019.

This book constitutes the refereed proceedings of the 27th International Symposium on Model Checking Software, SPIN 2021, held virtually in July 2021.

This book constitutes the refereed proceedings of the 11th International Workshop on Software Engineering for Resilient Systems, SERENE 2019, held in Naples, Italy, in September 2019.

The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018.

This volume constitutes the proceedings of the 11th IFIP WG 8.

This volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2018, held in Oxford, UK, in July 2018.

This book constitutes the refereed proceedings of the 8th International Conference on Theory and Practice of Natural Computing, TPNC 2019, held in Kingston, ON, Canada, in December 2019.

Dieses Buch richtet sich an Studierende und IT-ler in Ausbildung und Beruf, die ohne unnötigen Theorieballast die Praxis der Entwicklung von Datenbankapplikationen erlernen möchten.

This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International Conference on Financial Cryptography and Data Security, FC 2019, held in St.

This book constitutes the proceedings of the 17th Russian Conference on Artificial Intelligence, RCAI 2019, held in Ulyanovsk, Russia, in October 2019.

This book constitutes the refereed proceedings of the 19th International Conference on Runtime Verification, RV 2019, held in Porto, Portugal, in October 2019.

This book constitutes the thoroughly refereed papers of the workshops held at the 9th International Conference on New Trends in Model and Data Engineering, MEDI 2019, in Toulouse, France, in October 2019.

This book discusses various open issues in software engineering, such as the efficiency of automated testing techniques, predictions for cost estimation, data processing, and automatic code generation.

This book constitutes the 13th edition of the annual Multi-Agent Programming Contest, MAPC 2018, and presents its participants.

This book constitutes thoroughly revised and selected papers from the 7th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2019, held in Prague, Czech Republic, in February 2019.

The three-volume set of LNCS 11921,11922, and 11923 constitutes the refereed proceedings of the 25th International Conference on the Theory and Applications of Cryptology and Information Security, ASIACRYPT 2019, held in Kobe, Japan, in December 2019.

This book constitutes the proceedings of the 17th International Conference on Service-Oriented Computing, ICSOC 2019, held in Toulouse, France, in October 2019.

This book constitutes the refereed proceedings of five workshops symposia, held at the 38th International Conference on Conceptual Modeling, ER 2019, in Salvador, Brazil, in November 2019.

This book constitutes the refereed proceedings of the 20th International Conference on Product-Focused Software Process Improvement, PROFES 2019, held in Barcelona, Spain, in November 2019.

This book constitutes the proceedings of the 23rd International Conference on Formal Methods for Industrial Critical Systems, FMICS 2018, held in Maynooth, Ireland, in September 2018.

Apply design principles to your classes, preparing them for reuse.

Build, test, and tune financial, insurance or other market trading systems using C++ algorithms and statistics.

This book constitutes the refereed proceedings of the 37th International Conference on Conceptual Modeling, ER 2018, held in XI'an, China, in October 2018.

This book constitutes revised selected papers from the 10th Brazilian Workshop on Agile Methods, WBMA 2019, held in Belo Horizonte, Brazil, in September 2019.

This double volumes LNCS 11229-11230 constitutes the refereed proceedings of the Confederated International Conferences: Cooperative Information Systems, CoopIS 2018, Ontologies, Databases, and Applications of Semantics, ODBASE 2018, and Cloud and Trusted Computing, C&TC, held as part of OTM 2018 in October 2018 in Valletta, Malta.

This book constitutes the thoroughly refereed papers of the workshops held at the 8th International Conference on New Trends in Model and Data Engineering, MEDI 2018, in Marrakesh, Morocco, in October 2018.

This book provides a comprehensive collection of methods and approaches for using formal methods within Human-Computer Interaction (HCI) research, the use of which is a prerequisite for usability and user-experience (UX) when engineering interactive systems.

This book constitutes the proceedings of the 6th International Workshopon Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy2016, held in conjunction with ESWeek 2016, in Pittsburgh, PA, USA, inOctober 2016.

This book constitutes the refereed proceedings of the 21st IFIP WG 5.

This book constitutes the refereed proceedings of the 43rd International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2017, held in Limerick, Ireland, in January 2017.

This book constitutes the thoroughly revised selected papers from the 16th International Conference on Formal Aspects of Component Software, FACS 2019, held in Amsterdam, The Netherlands, in October 2019.

This book constitutes the revised post-conference proceedings of the 17th European Conference on Multi-Agent Systems, EUMAS 2020, and the 7th International Conference on Agreement Technologies, AT 2020, which were originally planned to be held as a joint event in Thessaloniki, Greece, in April 2020.

Leverage existing free open source software to build an identity and access management (IAM) platform that can serve your organization for the long term.

Get a thorough and practical introduction to Unity development for Android devices with no previous experience with game development needed.

This edited book captures salient global security challenges and presents 'design' solutions in dealing with wicked problems.

This book constitutes the revised selected papers from the 11th International Conference on Risk and Security of Internet and Systems, CRISIS 2016, held in Roscoff, France, in September 2016.

The two-volume set LNCS 10777 and 10778 constitutes revised selected papers from the 12th International Conference on Parallel Processing and Applied Mathematics, PPAM 2017, held in Lublin, Poland, in September 2017.

This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Fundamentals of Software Engineering, FSEN 2019, held in Tehran, Iran, in May 2019.

This book constitutes revised selected papers from the 3rd International Conference on Lean and Agile Software Development, LASD 2019, and the 7th Conference on Multimedia, Interaction, Design and Innovation, MIDI 2019, which took place under the umbrella of the 14th Federated Conferences on Computer Science and Information Systems, FedCSIS, in Leipzig, Germany, in September 2019.

Drawing on research conducted over the last 3 years in Cornwall, UK, this new book explores the impact of the EU/BT funded introduction of fibre broadband on rural SMEs.

This festschrift was written in honor of Andrew William (Bill) Roscoe on the occasion of his 60th birthday, and features tributes by Sir Tony Hoare, Stephen Brookes, and Michael Wooldridge.

The seven-volume set of LNCS 11301-11307, constitutes the proceedings of the 25th International Conference on Neural Information Processing, ICONIP 2018, held in Siem Reap, Cambodia, in December 2018.

This monograph discusses software reuse and how it can be applied at different stages of the software development process, on different types of data and at different levels of granularity.

This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Workshop on Multi-Agent-Based Simulation, MABS 2017, held in Sao Paulo, Brazil, in May 2017.