Software Engineering

This Festschrift is dedicated to Joost-Pieter Katoen in recognition of his outstanding research, teaching, and organizational successes. Joost-Piet...

This Festschrift is dedicated to Joost-Pieter Katoen in recognition of his outstanding research, teaching, and organizational successes. Joost-Piet...

This book constitutes the refereed proceedings of the XXIIIrd International Conference on AIxIA 2024 Advances in Artificial Intelligence, AIxIA 20...

This book offers a practical approach to modeling real-world discrete systems and performing analysis. The theory behind the book is the Colored Pe...

Since the first edition of Data Science and Analytics with Python we have witnessed an unprecedented explosion in the interest and development with...

Since the first edition of Data Science and Analytics with Python we have witnessed an unprecedented explosion in the interest and development with...

The creation of complex integrated systems is, in itself, complex. It requires immense planning and a large team of people with diverse backgrounds...

Fault tree analysis is key tool in risk analysis. It is a widely used industry standard with applications in amongst others, the aerospace, automot...

Soft Computing in Smart Manufacturing and Materials explains the role of soft computing in the manufacturing industries. It presents the techniques...

Role of Internet of Things and Machine Learning in Smart Healthcare, Volume 137 of the Advances in Computers series, presents detailed coverage of ...

Developed by the leading scientists in the field, Designing for Situation Awareness: An Approach to User-Centered Design, Third Edition offers a sy...

Developed by the leading scientists in the field, Designing for Situation Awareness: An Approach to User-Centered Design, Third Edition offers a sy...

This book aims to serve as an academic manual designed to aid in understanding and applying key concepts in process control using MATLAB and its as...

The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Symposium on Automated Technology for Verification an...

This book gives readers a deep insight into cryptography and discusses the various types of cryptography algorithms used for the encryption and dec...

The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Symposium on Automated Technology for Verification an...

This book constitutes the refereed post-conference proceedings of the 6th IFIP International Cross-Domain Conference on Internet of Things, IFIPIoT...

This book constitutes the refereed proceedings of the 21st International Conference on Virtual Reality and Mixed Reality, EuroXR 2024, held in Athe...

This volume constitutes revised selected papers of two workshops, the Doctoral Consortium, the Joint CBI-EDOC Forum and and other Joint CBI-EDOC ev...

This is book offers in-depth analysis of security vulnerabilities in different mobile operating systems. It provides methodology and solutions for ...

The text focuses on mathematical modeling and applications of advanced techniques of machine learning, and artificial intelligence, including artif...

This book takes readers on a captivating journey into the transformative role of Artificial Intelligence (AI) and AI of Things (AIoT) technologies ...