Software Engineering

This book constitutes the refereed post proceedings of the XIXth International Conference of the Italian Association for Artificial Intelligence, AIxIA 2020, held in Milano, Italy, in November 2020.

This book constitutes the refereed proceedings of the 8th International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2017, held in Lyon, France, in August 2017.

This book constitutes the refereed proceedings of the 35th International Conference on Conceptual Modeling, ER 2017, held in Valencia, Spain, in November 2017.

This book constitutes the refereed proceedings of the 43rd German Conference on Artificial Intelligence, KI 2020, held in Bamberg, Germany, in September 2020.

This book constitutes the refereed proceedings of the 22nd International Conference on Implementation and Application of Automata, CIAA 2017,held in Marne-la-Vallee, France, in June 2017.

This book constitutes the refereed proceedings of the 19th International Conference on Information and Communications Security, ICICS 2017, held in Beijing, China, in December 2017.

This book constitutes the refereed proceedings of the Software Engineering and Algorithms section of the 10th Computer Science On-line Conference 2021 (CSOC 2021), held on-line in April 2021.

This book constitutes the refereed proceedings of the 28th International Symposium on Static Analysis, SAS 2021, held in Chicago, IL, USA, in October 2021.

This volume constitutes the refereed proceedings of the 24th EuroSPI conference, held in Ostrava, Czech Republic, in September 2017.

This book constitutes the refereed proceedings of five International Workshops held as parallel events of the 18th IFIP WG 12.

This book contains revised selected papers from the 17th International Conference on Membrane Computing, CMC 2017, held in Milan, Italy, in July 2016.

This book constitutes the refereed post-conference proceedings of the 3rd EAI International Conference on Sustainable Energy for Smart Cities, SESC 2021, held in November 2021.

The two-volume set LNCS 10677 and LNCS 10678 constitutes the refereed proceedings of the 15th International Conference on Theory of Cryptography, TCC 2017, held in Baltimore, MD, USA, in November 2017.

The six-volume set LNCS 10404-10409 constitutes the refereed proceedings of the 17th International Conference on Computational Science and Its Applications, ICCSA 2017, held in Trieste, Italy, in July 2017.

This book constitutes the refereed proceedings of the 21st International Conference on Product-Focused Software Process Improvement, PROFES 2020, held in Turin, Italy, in November 2020.

This volume constitutes selected papers presented at the First International Conference on Engineering Software for Modern Challenges, ESMoC 2021, held in Johor, Malaysia, in October 20-21, 2021.

This book constitutes the thoroughly revised selected papers from the 13th International Conference on Formal Aspects of Component Software, FACS 2016, held in Besancon, France, in October 2016.

This textbook introduces the concept of embedded systems with exercises using Arduino Uno.

This book constitutes the proceedings of the 16th International Conference on Theoretical Aspects of Software Engineering, TASE 2022, held in Cluj-Napoca, Romania, July 2022.

This book constitutes the refereed proceedings of the 11th International Conference on Software Business, ICSOB 2020, which was held during November 16-18, 2020.

This book constitutes the proceedings of the 5th International Conference on Interactive Collaborative Robotics, ICR 2020, held in St.

These transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the semantic Web, social networks, and multi-agent systems.

This book constitutes the revised selected papers of the 9th International Conference on Networked Systems, NETYS 2021, held virtually in May 2021.

The three-volume proceedings LNCS 10210-10212 constitute the thoroughly refereed proceedings of the 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, EUROCRYPT 2017, held in Paris, France, in April/May 2017.

This book constitutes the refereed proceedings of the 14th Software Quality Days Conference, SWQD 2022, held in Vienna, Austria, during May 17-19, 2022.

This book constitutes the refereed proceedings of the 34th International Conference on Advanced Information Systems Engineering, CAiSE 2022, which was held in Leuven, Belgium, during June 6-10, 2022.

The two-volume set LNCS 10350 and 10351 constitutes the thoroughly refereed proceedings of the 30th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, held in Arras, France, in June 2017.

This book constitutes the refereed proceedings of the tracks and workshops which complemented the 15th European Conference on Software Architecture, ECSA 2021, held in Vaxjo, Sweden*, in September 2021.

This book constitutes the proceedings of the 5th International Conference on Lean and Agile Software Development, LASD 2021, which was held online on January 23, 2021.

This book constitutes the proceedings of the 13th International Symposium on NASA Formal Methods, NFM 2021, held virtually in May 2021.

This book constitutes the proceedings papers of the 14th IFIP Working Conference on the Practice of Enterprise Modeling, held in Riga, Latvia, during November 24-26, 2021.

This book constitutes contributions of the ISoLA 2021 associated events.

This book constitutes the refereed proceedings of the 15th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017, held in Pune, India, in October 2017.

This book constitutes the refereed proceedings of the 15th International Conference on Reachability Problems, RP 2022, held in Kaiserslautern, Germany, in October 2022.

This book constitutes the refereed proceedings of the 26th Nordic Conference on Secure IT Systems, NordSec 2021, which was held online during November 2021.

This book constitutes the refereed proceedings of the 13th International Conference on Verified Software, VSTTE 2021, and the 14th International Workshop on Numerical Software Verification, NSV 2021, held online, in July/ October 2021.

This book constitutes the proceedings of the 16th IFIP WG 8.

This book constitutes the refereed proceedings of the 17th International Conference on Integrated Formal Methods, IFM 2022, held in Lugano, Switzerland, in June 2022.

This book constitutes the thoroughly refereed post-conference proceedings of the First International Conference on Mobile, Secure, and Programmable Networking, MSPN 2015, held in Paris, France, in June 2015.

This fourth Edition presents new examples on submodules, derived type i/o, object oriented programming, abstract interfaces and procedure pointers, C interop, sorting and searching, statistics and converting to more modern versions of Fortran.

This book constitutes the proceedings of the 14th International Conference on Applied Reconfigurable Computing, ARC 2018, held in Santorini, Greece, in May 2018.

This book constitutes revised selected papers from the 6th International Workshop on Structures Object-Oriented Formal Language and Method, SOFL+MSVL 2016, held in Tokyo, Japan, in November 2016.

This book constitutes the thoroughly refereedpost-conference proceedings of the 22nd International Workshop onAlgebraic Development Techniques, WADT 2014, held in September 2014 in Sinaia,Romania.

This Festschrift volume has been published to celebrate the lifelong scientific achievements of Farhad Arbab on the occasion of his retirement from the Centre of Mathematics and Computer Science (CWI).

This book constitutes the revised selected papers of the 8th International Conference on Networked Systems, NETYS 2020, held in Marrakech, Morocco, in June 2020.

Everyone expects the products and services they use to be secure, but 'building security in' at the earliest stages of a system's design also means designing for use as well.

The two-volume set LNAI 13067 and 13068 constitutes the proceedings of the 20th Mexican International Conference on Artificial Intelligence, MICAI 2021, held in Mexico City, Mexico, in October 2021.

This book constitutes the thoroughly revised selected papers from the 18th International Symposium, FACS 2022, which was held online in November 2022.

This book constitutes the refereed proceedings of the 6th International Symposium on Unifying Theories of Programming, UTP 2016, held in Reykjavik, Iceland, in June 2016, in conjunction with the 12th International Conference on Integrated Formal Methods, iFM 2016.

This book constitutes the refereed proceedings of the 11th International Conference on Scalable Uncertainty Management, SUM 2017, which was held in Granada, Spain, in October 2017.