Software Engineering

This book proposes robust solutions for securing a network against intrusions for data privacy and safety. It includes theoretical models, commerci...

This book constitutes the refereed proceedings of the First International Symposium on Software Fault Prevention, Verification, and Validation, SFP...

This two-volume set, LNICST 601 and LNICST 602, constitutes the refereed post-conference proceedings of the 14th International Conference on Broadb...

International Conference on Computational Intelligence and Design Engineering (ICCIDE 2023) is a multidisciplinary conference focused on bringing t...

This book constitutes the refereed proceedings of the 30th International Conference on Cooperative Information Systems, CoopIS 2024, held in Porto,...

International Conference on Computational Intelligence and Design Engineering (ICCIDE 2023) is a multidisciplinary conference focused on bringing t...

This book constitutes the refereed proceedings of the 10th International Symposium on Dependable Software Engineering. Theories, Tools, and Applica...

This book constitutes the proceedings of the 19th International Conference on Information and Communication Technologies in Education, Research, an...

This volume LNCS 15394 constitutes the refereed proceedings of 25th International Conference on Formal Engineering Methods, ICFEM 2024, in Hiroshim...

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

The two-volume set LNCS 15226 and 15227 constitutes the refereed proceedings of the 24th International Conference on Embedded Computer Systems: Arc...

This book constitutes the refereed proceedings of the 22nd International Conference on Software Engineering and Formal Methods, SEFM 2024, held in ...

This book is an overview of basics and other related fundamentals pertaining to software vulnerability discovery as a process. This collaboration o...

In the rapidly evolving domain of computational problem-solving, this book delves into the cutting-edge Automatic Generation of Algorithms (AGA) pa...

This open access book aims to provide the reader with some basic insight into the AI Act (REGULATION (EU) 2024/1689) and its relevance for the deve...

Python Programming for Mathematics focuses on the practical use of the Python language in a range of different areas of mathematics. Through fifty-...

This book constitutes the refereed proceedings of the 36th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2024, held i...

International Conference on Contemporary Trends In Multidisciplinary Research& Innovation (ICCTMRI- 2023) was conducted by Birla Institute of T...

International Conference on Contemporary Trends In Multidisciplinary Research& Innovation (ICCTMRI- 2023) was conducted by Birla Institute of T...

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 ...