Mathematical theory of computation

This book offers a comprehensive analysis of intersection of significant domains, including information security, 6G technology, and cybersecurity.

This book constitutes the refereed proceedings of the 22nd International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2022, which was held in October 2022.

This book constitutes the refereed proceedings of the 18th International Conference on Green, Pervasive, and Cloud Computing, GPC 2023, held in Harbin, China, during September 23-24, 2023.

This book constitutes the refereed proceedings of the 20th International Symposium on Algorithmics of Wireless Networks, ALGOWIN 2024, held in Egham, UK, in September 2024.

The five-volume set constitutes the thoroughly refereed proceedings of the 8th International Conference on Life System Modeling and Simulation, LSMS 2024, and of the 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, which were held during September 13-15, in Suzhou, China.

This 2-volume set constitutes the refereed proceedings of 1st International Conference on Robotics and Rehabilitation Intelligence, ICRRI 2020, held in Fushun, China, in September 2020.

The algorithmic problems of real algebraic geometry such as real root counting, deciding the existence of solutions of systems of polynomial equations and inequalities, finding global maxima or deciding whether two points belong in the same connected component of a semi-algebraic set appear frequently in many areas of science and engineering.

This book covers extensively the physical implementation of qubits and quantum architecture.

This book constitutes the refereed proceedings of the 15th International Symposium on Search-Based Software Engineering, SSBSE 2023, which took place in San Francisco, CA, USA, during December 8, 2023.

The 7-volume set LNCS 14487-14493 constitutes the proceedings of the 23rd International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2023, which took place in Tianjin, China, during October, 2023.

The innovative progress in the development oflarge-and small-scale parallel computing systems and their increasing availability have caused a sharp rise in interest in the scientific principles that underlie parallel computation and parallel programming.

This book constitutes the refereed proceedings of the 13th IAPR-TC-15 International Workshop on Graph-Based Representations in Pattern Recognition, GbRPR 2023, which took place in Vietri sul Mare, Italy, in September 2023.

This Festschrift, dedicated to Manuel Hermenegildo on the occasion of his 60th birthday, contains papers written by many of his closest collaborators.

This volume constitutes the revised selected papers of the 15th International Conference on Bio-inspired Computing: Theories and Applications, BIC-TA 2020, held in Qingdao, China, in October  2020.

This book constitutes the proceedings of the 29th IFIP WG 1.

This volume has a dual significance to the ESPRIT Basic Research efforts towards forging strong links between European academic and industrial teams carrying out research, often interdisciplinary, at the forefront of Information Technology.

This book constitutes the refereed proceedings of the 11th Indian Conference on Logic and Its Applications, ICLA 2025, held in Kolkata, India, during February 3–5, 2025.

One of the challenges facing professionals working in computer animation is keeping abreast of the latest developments and future trends - some of which are determined by industry where the state-of-the-art is continuously being re-defined by the latest computer-generated film special effects, while others arise from research projects whose results are quickly taken on board by programmers and animators working in industry.

This book presents various theories and algorithms to create a quantum computer.

The five-volume set, LNAI 158710 - 15874 constitutes the proceedings of the 29th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2025, held in Sydney, New South Wales, Australia, during June 10–13, 2025.

This book presents the state-of-the-art in supercomputer simulation.

This easy-to-read textbook/reference presents an essential guide to object-oriented C++ programming for scientific computing.

This book constitutes the refereed proceedings of the 25th International Conference on Parallel and Distributed Computing, Applications and Technologies, PDCAT 2024, held in Hong Kong, China, during December 14–16, 2024.

This book constitutes revised selected papers from the workshops of the 6th Asia-Pacific Web and Web-Age Information Management International Joint Conference on Web and Big Data, APWeb-WAIM 2022: The Fifth International Workshop on Knowledge Graph Management and Applications, KGMA 2022, The Fourth International Workshop on Semi-structured Big Data Management and Applications, SemiBDMA 2022, and The Third International Workshop on Deep Learning in Large-scale Unstructured Data Analytics, DeepLUDA 2022, held in Nanjing, China, in August 2022.

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024.

This three-volume set, LNCS 13421, 13422 and 13423, constitutes the thoroughly refereed proceedings of the 6th International Joint Conference, APWeb-WAIM 2022, held in Nanjing, China, in August 2022.

Overview The objective of this book is to provide an introduction into some of the key topics in the history of computing.

This book constitutes the refereed proceedings of the 24th International Conference on Runtime Verification, RV 2024, held in Istanbul, Turkey, during October 15-17, 2024.

This book constitutes selected papers of the ?

This book constitutes the refereed proceedings of the 12th International Conference on Computers and Games, CG 2024, held as a virtual event, during November 25-29, 2024.

One of the main benefits of this book is that it presents a comprehensive and innovative eHealth framework that leverages deep learning and IoT wearable devices for the evaluation of Parkinson's disease patients.

In recent years, Artificial Intelligence researchers have largely focused their efforts on solving specific problems, with less emphasis on 'the big picture' - automating large scale tasks which require human-level intelligence to undertake.

The five-volume set, LNAI 158710 - 15874 constitutes the proceedings of the 29th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2025, held in Sydney, New South Wales, Australia, during June 10–13, 2025.

This book constitutes the proceedings of the 17th International Conference and Workshops on Algorithms and Computation, WALCOM 2023, which took place in Hsinchu, Taiwan, in March 2023.

The 7-volume set LNCS 14832 - 14838 constitutes the proceedings of the 24th International Conference on Computational Science, ICCS 2024, which took place in Malaga, Spain, during July 2-4, 2024.

This volume contains a collection of studies in the areas of complexity theory and local algorithms.

This book constitutes the refereed post-conference proceedings of the 4th International Conference on Number-Theoretic Methods in Cryptology, NuTMiC 2024, held in Szczecin, Poland, during June 24–26, 2024.

The three-volume set CCIS 1467, CCIS 1468, and CCIS 1469 constitutes the thoroughly refereed proceedings of the 7th International Conference on Life System Modeling and Simulation, LSMS 2021, and of the 7th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2021, held in Hangzhou, China, in October 2021.

Presenting the first definitive study of the subject, this Handbook of Biometric Anti-Spoofing reviews the state of the art in covert attacks against biometric systems and in deriving countermeasures to these attacks.

This book constitutes the refereed proceedings of the 5th International Conference on Neural Computing for Advanced Applications, NCAA 2024, held in Guilin, China, during July 5-7, 2024.

This 4-volume set of LNCS 14495-14498 constitutes the proceedings of the 40th Computer Graphics International Conference, CGI 2023, held in Shanghai, China, August 28 - September 1, 2023.

The two-volume set CCIS 2061 and 2062 constitutes the refereed post-conference proceedings of the 18th International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2023, held in Changsha, China, during December 15-17, 2023.

This book constitutes the refereed proceedings of the 18th International Conference on Graph Transformation, ICGT 2025, held in Koblenz, Germany, during  June 11-12, 2025.

A Theory and Practice of Program Development provides a comprehensive introduction to a software development method based on VDM-SL.

Now in its second edition, R by Example is an example-based introduction to the statistical computing environment that does not assume any previous familiarity with R or other software packages.

The 7-volume set LNCS 14832 - 14838 constitutes the proceedings of the 24th International Conference on Computational Science, ICCS 2024, which took place in Malaga, Spain, during July 2-4, 2024.

This book defines and studies a combinatorial object called the pedigree and develops the theory for optimising a linear function over the convex hull of pedigrees (the Pedigree polytope).

The 7-volume set LNCS 14832 - 14838 constitutes the proceedings of the 24th International Conference on Computational Science, ICCS 2024, which took place in Malaga, Spain, during July 2-4, 2024.