Software Engineering

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

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

With industrial systems becoming ever more mechanized and reliant on advanced technology, the complexity of equipment, especially in risky industri...

Recommender Systems: A Multi-Disciplinary Approach presents a multi-disciplinary approach for the development of recommender systems. It explains d...

The book provides an accessible, comprehensive introduction for beginners to machine learning, equipping them with the fundamental skills and techn...

The book provides an accessible, comprehensive introduction for beginners to machine learning, equipping them with the fundamental skills and techn...

These are the proceedings of the 8th International Workshop on Multi Agent Systems Technologies (MATES 2010), held during 27-29 September in Leipzi...

This book constitutes the proceedings of the 33rd International Conference on Software and Data Engineering, SEDE 2024, held in San Diego, Californ...

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

This textbook details the variety of number formats used by computers, thereby helping to ground readers in what can and cannot be represented accu...

Most applications today are distributed in some fashion. Monitoring the health and performance of these distributed architectures requires a new ap...

This book constitutes the proceedings of the 17th IFIP Working Conference on the Practice of Enterprise Modeling, PoEM 2024, which took place in St...

Cybersecurity incidents are often attributed to human error. The discipline of human factors recognises the importance of identifying organisationa...

This book constitutes the refereed proceedings of the 25th International Conference on Product-Focused Software Process Improvement, PROFES 2024, h...

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 25th International Conference on Product-Focused Software Process Improvement, PROFES 2024, h...

The two-volume set LNCS 15406 and 15407 constitutes the refereed proceedings of the 10th Russian Supercomputing Days International Conference, RuSC...

The two-volume set LNCS 15406 and 15407 constitutes the refereed proceedings of the 10th Russian Supercomputing Days International Conference, RuSC...

The rapid increase in IT infrastructure and presence in cyber space has given rise to enormous chances of security breach. Cybersecurity is one of ...

This book gathers recent research work on emerging Artificial Intelligence (AI) methods for processing and storing data generated by smart infrastr...

This book constitutes the refereed proceedings of the 27th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2024, held in ...

This open access book which is based on the authors dissertation in 2024 explores the challenges of metamodeling in the context of extended reality...

Unlock the power of data analytics in finance with this comprehensive guide. Data Analytics for Finance Using Python is your key to unlocking the s...

Unlock the power of data analytics in finance with this comprehensive guide. Data Analytics for Finance Using Python is your key to unlocking the s...

This book investigates the spaces where architecture and computer science share a common set of assumptions and goals, using methods and objectives...