Computer Science

This book constitutes revised, selected, and invited papers from the First International Workshop on Agent Based Modelling of Urban Systems, ABMUS 2016, held in conjunction with AAMAS 2016 in Singapore in May 2016.
The 11 papers presented in this volume were carefully reviewed and selected from 20 submissions. They were organized in topical sections named: urban systems modeling; traffic simulation in urban modeling; and applications. 

This two-volume set constitutes the proceedings of the 5th Asian Conference on ACPR 2019, held in Auckland, New Zealand, in November 2019.
The 9 full papers presented in this volume were carefully reviewed and selected from 14 submissions. They cover topics such as: classification; action and video and motion; object detection and anomaly detection; segmentation, grouping and shape; face and body and biometrics; adversarial learning and networks; computational photography; learning theory and optimization; applications, medical and robotics; computer vision and robot vision; pattern recognition and machine learning; multi-media and signal processing and interaction.

The 27 full papers presented in this volume were carefully reviewed and selected from 50 submissions.

Euro-Par is an annual, international conference in Europe, covering all aspects of parallel and distributed processing. These range from theory to practice, from small to the largest parallel and distributed systems and infrastructures, from fundamental computational problems to full-edged applications, from architecture, compiler, language and interface design and implementation to tools, support infrastructures, and application performance aspects.

This book constitutes the proceedings of the satellite events held at the 19th Extended Semantic Web Conference, ESWC 2022, during May—June in Hersonissos, Greece, 2022.

The included satellite events are: the poster and demo session; the PhD symposium; industry track; project networking; workshops and tutorials.

During ESWC 2022, the following ten workshops took place:10th Linked Data in Architecture and Construction Workshop (LDAC 2022); 5th International Workshop on Geospatial Linked Data (GeoLD 2022); 5th Workshop on Semantic Web solutions for large-scale biomedical data analytics (SeMWeBMeDA 2022); 7th Natural Language Interfaces for the Web of Data (NLIWOD+QALD 2022); International Workshop on Knowledge Graph Generation from Text (Text2KG 2022); 3rd International Workshop on Deep Learning meets Ontologies and Natural Language Processing (DeepOntoNLP 2022); 1st Workshop on Modular Knowledge (ModularK 2022); Third International Workshop On Knowledge Graph Construction (KGCW 2022); Third International Workshop On Semantic Digital Twins (SeDIT 2022); and the 1st International Workshop on Semantic Industrial Information Modelling (SemIIM 2022).

This book presents a comprehensive guide to the design of playing robots and the related play experiences. Play is a natural activity for building and improving abilities, and it reveals important particularly for persons with disabilities. Many social, physical and cultural factors may hinder children with disabilities from fully enjoying play as their peers. Autonomous robots with specific characteristics can enhance the ludic experience, having implications for the character of the play and presenting opportunities related to autonomy and physical movement, the very nature of robots. Their introduction into play thus provides everybody, and in particular persons with disabilities, new possibilities for developing abilities, improving general status, participating in social contexts, as well as supporting professionals in monitoring progress.

The 28 full papers and 5 short papers presented were carefully reviewed and selected from 77 submissions. 

CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions.

This book is aimed at everyone preparing for the ISTQB® Certified Tester – Foundation Level exam based on the Foundation Level syllabus (version 4.0) published in 2023. It provides candidates with reliable knowledge based on this document and thus distinguishes itself from all the information about ISTQB® syllabi and exams on the Internet, which is often of rather poor quality and may even contain serious errors.

The book expands and details many issues that are described in the new 2023 version of the syllabus in a perfunctory or general way only. According to the ISTQB® guidelines for syllabus-based training, an exercise must be provided for each learning objective at the K3 level, and a practical example must be provided for each objective at the K2 or K3 level. In order to satisfy these requirements, the authors prepared numerous exercises and examples for all learning objectives at these levels. In addition, for each learning objective, one or more sample exam questions are presented which are similar to those that the candidate will see in the exam. This makes the book an excellent aid for studying and preparing for the exam and verifying acquired knowledge.

From facial recognition to self-driving cars, the applications of computer vision are vast and ever-expanding.  Geometry plays a fundamental role in this discipline, providing the necessary mathematical framework to understand the underlying principles of how we perceive and interpret visual information in the world around us.

 This text explores the theories and computational techniques used to determine the geometric properties of solid objects through images. It covers the basic concepts and provides the necessary mathematical background for more advanced studies.  The book is divided into clear and concise chapters covering a wide range of topics including image formation, camera models, feature detection and 3D reconstruction. Each chapter includes detailed explanations of the theory as well as practical examples to help the reader understand and apply the concepts presented.

This is the second edition of the first ever research monograph that explores the exciting field of augmented reality games and their enabling technologies. The new edition has been thoroughly revised and updated, with 6 new chapters included. As well as investigating augmented reality games in education, the book covers the gamification of medicine, healthcare, and art. It has been written by a team of 43 researchers, practitioners, and artists from 12 countries, pioneering in developing and researching the new type of computer games.

This book deals with a systematic analysis of educational augmented reality games, the gamification of elementary and secondary education, teachers’ novel key skills and new teaching methods in the classroom, creating immersive and playful reading experiences, augmented reality games for health promotion in old age and for transforming dental and physical education and practice, the gamification of augmented reality art, pervasive games, and gaming in public spaces, among other topics.

Intended as a starting point for exploring this new fascinating area of research and game development, it will be essential reading not only for researchers, practitioners, game developers, and artists, but also for students (graduates and undergraduates) and all those interested in the rapidly developing area of augmented reality games.

This book constitutes the refereed workshop proceedings from the 39th International conference on High Performance Computing, ISC High Performance 2024, held in Hamburg, Germany, in May 2024. 

The 34 full papers presented here were carefully reviewed and selected from 50 submissions. These proceedings include papers from the following workshops:-

• Compiler-Assisted Correctness Checking and Performance Optimization for HPC Workshop (C3PO 2024) 
• HPC on Heterogeneous Hardware Workshop (H3 2024)  
• Third Workshop on Communication, I/O, and Storage at Scale on Next-Generation Platforms – Scalable Infrastructures (ISC 2024 IXPUG)  
• HPC I/O in the Data Center Workshop (HPC-IODC 2024)  
• Third Combined Workshop on Interactive and Urgent Supercomputing (CW-IUS 2024) 
• 5th ISC HPC International Workshop on Monitoring & Operational Data Analytics (MODA24)  
• Fourth International Workshop on RISC-V for HPC 
• 2nd International Workshop on Sustainable Supercomputing 
• Second International Workshop on Converged Computing on Edge, Cloud, and HPC (WOCC’24)  

• 8th International Workshop on In Situ Visualization (WOIV’24)  

Chapter “Interactive in Situ Visualization” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

The two-volume set LNICST 587 + 588 constitutes the refereed proceedings of the EAI 15th International Conference on Africa Internet infrastructure and Services, AFRICOMM 2023, which took place in Bobo-Dioulasso, Burkina Faso, in November 2023.

The 59 full papers  presented in these two volumes were carefully reviewed and selected from 72 submissions.

The papers are organized in the following topical sections:

Part I: Digital economy, Digital transformation, e-Government and e-services; ICT infrastructures for critical environmental conditions; Wireless networks; E-health; Cybersecurity and Privacy.
Part II: Systems and cloud computing; Artificial Intelligence; Ontology, data preparation; Responsible Artificial Intelligence for Sustainable Development in Africa (workshop).

This text introduces the modern concepts relevant to system engineering design and manufacturing from a 4th Industrial Revolution perspective.

The book surveys the current status and cutting edge in Computer Aided Design and Computer Aided Manufacturing (CAD/CAM). This bridges the gaps between academic research and industry. It consists of seven parts and seventeen chapters that first structure the subject areas and later detail the main topics under consideration. Each part of the book and each chapter contains a prelude guiding the reader in a systematic way to the next part or topic.

The book explains concepts using state-of-the-art teaching methods, using objectives, learning outcomes and review questions. MS PowerPoint Slides and Solution Manual for instructors are available online as well as videos.

This two-volume set LNCS 15263 and LNCS 15264 constitutes the refereed proceedings of eleven International Workshops which were held in conjunction with the 29th European Symposium on Research in Computer Security, ESORICS 2024, held in Bydgoszcz, Poland, during September 16–20, 2024.
The papers included in these proceedings stem from the following workshops:
19th International Workshop on Data Privacy Management, DPM 2024, which accepted 7 full papers and 6 short papers out of 24 submissions;
8th International Workshop on Cryptocurrencies and Blockchain Technology, CBT 2024, which accepted 9 full papers out of 17 submissions;
10th Workshop on the Security of Industrial Control Systems and of Cyber-Physical Systems, CyberICPS 2024, which accepted 9 full papers out of 17 submissions;
International Workshop on Security and Artificial Intelligence, SECAI 2024, which accepted 10 full papers and 5 short papers out of 42 submissions;
Workshop on Computational Methods for Emerging Problems in Disinformation Analysis, DisA 2024, which accepted 4 full papers out of 8 submissions;
5th International Workshop on Cyber-Physical Security for Critical Infrastructures Protection, CPS4CIP 2024, which accepted 4 full papers out of 9 submissions;
3rd International Workshop on System Security Assurance, SecAssure 2024, which accepted 8 full papers out of 14 submissions.

This CCIS post conference volume constitutes the proceedings of the 16th International Conference on ICT Innovations, ICT Innovations 2024, held in Ohrid, North Macedonia, in September 2024.

The 21 full papers included in this book were carefully reviewed and selected from 61 submissions. The papers covered a wide range of topics, including machine learning, network science, digital transformation, natural language processing.

The five-volume set LNCS 15674-15678 constitutes the refereed proceedings of the 28th IACR International Conference on Practice and Theory of Public Key Cryptography, PKC 2025, held in Røros, Norway, during May 12–15, 2025.

The 60 papers included in these proceedings were carefully reviewed and selected from 199 submissions. They are grouped into these topical sections: MPC and friends; advanced PKE; security of post-quantum signatures; proofs and arguments; multi-signatures; protocols; foundations of lattices and LPN; threshold signatures; isogenies and group actions; secure computation; security against real-world attacks; batch arguments and decentralized encryption; and cryptography for blockchains.

The five-volume set LNCS 15674-15678 constitutes the refereed proceedings of the 28th IACR International Conference on Practice and Theory of Public Key Cryptography, PKC 2025, held in Røros, Norway, during May 12–15, 2025.
The 60 papers included in these proceedings were carefully reviewed and selected from 199 submissions. They are grouped into these topical sections: MPC and friends; advanced PKE; security of post-quantum signatures; proofs and arguments; multi-signatures; protocols; foundations of lattices and LPN; threshold signatures; isogenies and group actions; secure computation; security against real-world attacks; batch arguments and decentralized encryption; and cryptography for blockchains.

The five-volume set LNCS 15674-15678 constitutes the refereed proceedings of the 28th IACR International Conference on Practice and Theory of Public Key Cryptography, PKC 2025, held in Røros, Norway, during May 12–15, 2025.

The 60 papers included in these proceedings were carefully reviewed and selected from 199 submissions. They are grouped into these topical sections: MPC and friends; advanced PKE; security of post-quantum signatures; proofs and arguments; multi-signatures; protocols; foundations of lattices and LPN; threshold signatures; isogenies and group actions; secure computation; security against real-world attacks; batch arguments and decentralized encryption; and cryptography for blockchains.

This book constitutes the proceedings of the First WG 12.13 International Conference on Artificial Intelligence for Global Security, AI4GS 2024, which took place in Paris, France, on November 19, 2024. 

The 14 full papers included in these proceedings were carefully reviewed and selected from 45 submissions. They deal with artificial intelligence for global security focusing on defense, homeland security, cyber security, regulation, and financial security. 

This book constitutes revised selected papers from the thoroughly refereed conference proceedings of the 17th International Conference on Innovative Security Solutions for Information Technology and Communications, SecITC 2024, which took place in Bucharest, Romania, in November 2024. 

The 16 full papers presented in these proceedings were carefully reviewed and selected from 49 submissions. The book also contains two invited talks. This conference is focusing on all theoretical and practical aspects related to information technology and communications security.

This LNCS conference volume constitutes the proceedings of the 22nd International Symposium on Web and Wireless Geographical Information Systems, W2GIS 2025, in Mexico City, Mexico, held during September 8–9, 2025.

The 11 full papers presented in this volume were carefully reviewed and selected from 22 submissions. 

They are grouped into the following topics: Advances in Geospatial Artificial Intelligence: From Pixel-level Vision to Large-Language Models; Data-driven Urban Health & Safety: Environmental Exposure, Crime, and Disease Dynamics; Location Intelligence for Urban Resources, Mobility, and Commerce.

This book constitutes the proceedings of the satellite events held at the XXX Semantic Web Conference, ESWC 2025, held in Portoroz, Slovenia, during June 1–2, 2025.

The 31 Posters & Demos papers are presented together with 12 PhD Symposium papers and 7 Industry papers in this book were carefully reviewed and selected from 43 Posters& Demo papers, 15 PHD Symsposium papers and 14 Industry papers.

The theme of  the conference was “Empowering Knowledge through Semantics: From Knowledge Graphs to Neurosemantics”. The satellite events are an important aspect of facilitating the main conference discussion as well as fundamental questions about how we acquire, represent, use, and interact with knowledge and semantics.

The satellite events of ESWC 2025 include the poster and demo session, the PhD symposium, the industry track, project networking, and workshops and tutorials.

This LNCS volume constitutes the proceedings of the Second International Symposium, SAIV 2025, in Zagreb, Croatia, during July 2025.

The scope of the topics was broadly categorized into two groups. The first group, formal methods for artificial intelligence, comprised: formal specifications for systems with AI components; formal methods for analyzing systems with AI components; formal synthesis methods of AI components; testing approaches for systems with AI components; statistical approaches for analyzing systems with AI components; and approaches for enhancing the explainability of systems with AI components. The second group, artificial intelligence for formal methods, comprised: AI methods for formal verification; AI methods for formal
synthesis; AI methods for safe control; and AI methods for falsification.

This unique open access volume represents an interdisciplinary dialog with top-class researchers and practitioners on the Artificial Intelligence revolution. The contributions derive from structured interviews with community leaders who examine recent developments in AI and offer predictions about its impact on science, technology, business, and society. The interviewees, leading thinkers and practitioners from fields such as Computer Science, Software Engineering, Philosophy, Psychology, and Law, gathered at the multidisciplinary event AISoLA, where they discussed developments in AI technologies, tools, and research, and these exchanges were shaped into this coherent survey.

In the debates surrounding the rapid advancement of AI it’s clear that while there is much sharing of ideas, in fact true cooperation and alignment is rare, most fields still operate in silos. Given the pervasive nature of AI, it’s critical that we move forward carefully to ensure that our decisions and progress are well-considered. This book serves as a call to action, reminding us of our collective responsibility to shape the future. The authors offer points of agreement and contrast, the reader will better understand how we may still maintain control over technological progress in AI and its societal impact.

This volume constitutes the proceedings of 9th International Symposium on Cyber Security, Cryptology, and Machine Learning, CSCML 2025, in Be'er Sheva, Israel, during December 4–5, 2025.

The 17 regular papers and 9 short papers presented here were carefully reviewed and selected from 43 submissions. These papers focus on Cyber security design; secure software development methodologies; formal methods, semantics, and verification of secure systems; fault tolerance, reliability, and availability of distributed secure systems; game-theoretic approaches to secure computing; automatic recovery,
self-stabilizing, and self-organizing systems; communication, authentication, and identification security; cyber security for mobile systems and the Internet of Things; and much more. 

“Digital Health: A multidisciplinary approach” is a novel and unique book covering the main topics of health innovation focused on what computer science and technology have been applied in healthcare and what the perspectives for the future. This is a thought-provoking theme, covering a broad range of aspects of issues, from basic concepts that composes the known “4th industrial revolution” (artificial intelligence, cloud computing, internet of things, big data, robotics and computer systems), all of which has been used in different healthcare sectors, to more recent technologies applied to healthcare, such as smartphone applications, remote consulting, augmented reality, gamification and brain-machine interactions. All chapters cover detailed explanations of all these technologies and how are the possible uses and applications in healthcare in different contexts, with a multidisciplinary approach, including the vision of technology, health and social sciences researchers. The great difference of this book is the coverage of updated topics, with the most advanced knowledge of all the technologies described in each chapter, covering virtually every innovation in healthcare, and the multidisciplinary approach, making the book accessible to researchers from different fields of knowledge.

Adopting an experimental learning approach, this book describes a practical forensic process to acquire and analyze databases from a given device and/or application. Databases hold important, sensitive, and/or confidential information and are a crucial source of evidence in any digital investigation. This also reinforces the importance of keeping up to date on the cyber-threat landscape as well as any associated database forensic challenges and approaches. The book also guides cyber-forensic researchers, educators, and practitioners through the process of conducting database forensics and investigations on mobile devices, Internet of Things (IoT) devices, web browsers, and end-to-end encrypted instant messaging applications. Given the fast-changing database forensics landscape, this book will be of interest to researchers, educators, and practitioners in the field, as well as students who want to learn about the database investigation.

The 11 reviewed full papers and 4 short papers were selected from 35 submissions and are grouped in topical sections on digital forensics; cyber-physical system Forensics; event reconstruction in digital forensics; emerging topics in forensics; cybersecurity and digital forensics.

The 33 full papers were selected from 61 submissions and focus on security and privacy in new computing environments. The theme of SPNCE 2021 was “Secure Wireless Communication Systems: Infrastructure, Algorithms, and Management”.

Critical Infrastructure Protection XV describes original research results and innovative applications in the interdisciplinary field of critical infrastructure protection.  Also, it highlights the importance of weaving science, technology and policy in crafting sophisticated, yet practical, solutions that willhelp secure information, computer and network assets in the various critical infrastructure sectors.  Areas of coverage include: Industrial Control Systems Security; Telecommunications Systems Security; Infrastructure Security.

This book is the fourteenth volume in the annual series produced by the International Federation for Information Processing (IFIP) Working Group 11.10 on Critical Infrastructure Protection, an international community of scientists, engineers, practitioners and policy makers dedicated to advancing research, development and implementation efforts focused on infrastructure protection.  The book contains a selection of 13 edited papers from the Fifteenth Annual IFIP WG 11.10 International Conference on Critical Infrastructure Protection, held as a virtual event during the spring of 2021.

Critical Infrastructure Protection XV is an important resource for researchers, faculty members and graduate students, as well as for policy makers, practitioners and other individuals with interests in homeland security.

Advances in Digital Forensics XVIII describes original research results and innovative applications in the discipline of digital forensics.  In addition, it highlights some of the major technical and legal issues related to digital evidence and electronic crime investigations.  The areas of coverage include:

This book is the eighteenth volume in the annual series produced by the International Federation for Information Processing (IFIP) Working Group 11.9 on Digital Forensics, an international community of scientists, engineers and practitioners dedicated to advancing the state of the art of research and practice in digital forensics.  The book contains a selection of eleven edited papers from the Eighteenth Annual IFIP WG 11.9 International Conference on Digital Forensics, a fully-virtual event held in the winter of 2022. 

This book constitutes the refereed proceedings of the 15th International Conference on Network and System Security, NSS 2021, held in Tianjin, China, on October 23, 2021.

The 16 full and 8 short papers presented in this book were carefully reviewed and selected from 62 submissions. They focus on theoretical and practical aspects of network and system security, such as authentication, access control, availability, integrity, privacy, confidentiality, dependability and sustainability of computer networks and systems.

This book constitutes the revised selected papers of the 14th International Symposium on Foundations and Practice of Security, FPS 2021, held in Paris, France, in December 2021.

The 18 full papers and 9 short paper presented in this book were carefully reviewed and selected from 62 submissions. They cover a range of topics such as Analysis and Detection; Prevention and Efficiency; and Privacy by Design.

Chapters “A Quantile-based Watermarking Approach for Distortion Minimization”, “Choosing Wordlists for Password Guessing: An Adaptive Multi-Armed Bandit Approach” and “A Comparative Analysis of Machine Learning Techniques for IoT Intrusion Detection” are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

This open access book presents the main scientific results from the H2020 GUARD project. The GUARD project aims at filling the current technological gap between software management paradigms and cybersecurity models, the latter still lacking orchestration and agility to effectively address the dynamicity of the former. This book provides a comprehensive review of the main concepts, architectures, algorithms, and non-technical aspects developed during three years of investigation; the description of the Smart Mobility use case developed at the end of the project gives a practical example of how the GUARD platform and related technologies can be deployed in practical scenarios.

The 77 regular papers presented in these volumes were selected from 132 submissions. For regular tracks of the conference, 33 papers were selected from 62 submissions.

The papers were organized in topical sections named as follows:

Part I: numerical algorithms and parallel scientific computing; parallel non-numerical algorithms; GPU computing; performance analysis and prediction in HPC systems; scheduling for parallel computing; environments and frameworks for parallel/cloud computing; applications of parallel and distributed computing; soft computing with applications and special session on parallel EVD/SVD and its application in matrix computations.

Part II: 9th Workshop on Language-Based Parallel Programming (WLPP 2022); 6th Workshop on Models, Algorithms and Methodologies for Hybrid Parallelism in New HPC Systems (MAMHYP 2022); first workshop on quantum computing and communication; First Workshop on Applications of Machine Learning and Artificial Intelligence in High Performance Computing (WAML 2022); 4th workshop on applied high performance numerical algorithms for PDEs; 5th minisymposium on HPC applications in physical sciences; 8th minisymposium on high performance computing interval methods; 7th workshop on complex collective systems.

The 13 full papers and 3 short papers included in these proceedings were carefully reviewed and selected from 46 submissions. They focus on all aspects of theoretical advances; novel technologies; innovative applications; knowledge representation; reasoning with rules; and research, development, applications of rule-based systems.

The four-volume set LNCS 14344-14347 constitutes the refereed proceedings of the 28th European Symposium on Research in Computer Security, ESORICS 2023, which took place in The Hague, The Netherlands, during September 25-29, 2023.

The 93 full papers presented in these proceedings were carefully reviewed and selected from 478 submissions. They were organized in topical sections as follows:

Part II: Network, web and internet; privacy; and remote.

Part III: Attacks; blockchain; and miscellaneous.

This book constitutes the refereed proceedings of the 16th International Symposium on Foundations and Practice of Security, FPS 2023, held in Bordeaux, France, during December 11–13, 2023.

This book constitutes the refereed proceedings of the 16th International Symposium on Foundations and Practice of Security, FPS 2023, held in Bordeaux, France, during December 11–13, 2023.

The 27 regular and 8 short papers presented in this book were carefully reviewed and selected from 80 submissions. The papers have been organized in the following topical sections:

This book constitutes the refereed proceedings of the 15th International Workshop on Constructive Side-Channel Analysis and Secure Design, COSADE 2024, held in  Gardanne, France, during April 9–10, 2024. 

The 14 full papers included in this book were carefully reviewed and selected from 42 submissions. They were organized in topical sections as follows: Analyses and Tools; Attack Methods; Deep-Learning-Based Side-Channel Attacks; PUF/RNG; and Cryptographic Implementations.