Mathematical theory of computation

The two-volume set ICAISC 2024 15164, 15165 and 15166 constitutes the refereed proceedings of the 23rd International Conference on Artificial Intelligence and Soft Computing, ICAISC 2024, held in Zakopane, Poland, during June 16-20, 2024.

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 refereed proceedings of the 2nd International Conference, ITMM 2023 and 14th International Workshop, WRQ 2023, held in Tomsk, Russia, during December 4-9, 2023.

This book provides a complete round-up of developments concerned with the application of partial moments in system identification and data-driven modelling; it captures the essence of work carried out at the Laboratoire d'Informatique et d'Automatique pour les Systemes for more than 40 years.

This two-volume set LNCS 15718-15719 constitutes the refereed proceedings of the 22nd European Semantic Web Conference, ESWC 2025, held in Portoroz, Slovenia, during June 1–5, 2025.

This book introduces classical modal optics and discrete quantum systems using a common mathematical approach based on linear vector spaces.

The 6-volume set constitutes the worshop proceedings of the 25th International Conference on Computational Science, ICCS 2025, which took place in Singapore, Singapore, during July 7–9, 2025.

This handbook delves into the rapidly evolving field of artificial intelligence and optimization, focusing on the intersection of machine learning, combinatorial optimization, and real-world applications in transportation and network design.

This book collects selected contributions from the 10th Recurrence Plot Symposium, held at the University of Tsukuba, Japan (August 28-30, 2023).

This Festschrift celebrates the career of Vivek Sarkar, a pioneer who has influenced research into programming languages, compilers, runtime systems, and debugging and verification systems for high-performance computers.

This is a book about computation, something which is ubiquitous in the modern world.

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.

The two-volume set LNCS 14634 and 14635 constitutes the refereed proceedings of the 27th European Conference on Applications of Evolutionary Computation, EvoApplications 2024, held as part of EvoStar 2024, in Aberystwyth, UK, April 3-5, 2024, and co-located with the EvoStar events, EvoCOP, EvoMUSART, and EuroGP.

John Vince explains a wide range of mathematical techniques and problem-solving strategies associated with computer games, computer animation, virtual reality, CAD and other areas of computer graphics in this completely revised and expanded fifth edition.

This book focuses on the modelling and optimization aspects of the feature selection problem through computational intelligence methods in complex, high-dimensional supervised machine learning.

This book offers a comprehensive dive into the rapidly evolving world of autonomous vehicles and their pivotal role in modern data collection and mission-critical operations.

This Festschrift, dedicated to Wolfgang Reif on the occasion of his 65th birthday, collects contributions written by many of his closest research colleagues and many of his former students.

This Festschrift reflects Professor Wang Yi's contributions to the fields of formal methods, real-time systems and scheduling, and multicore systems.

The book starts with the basics of Quantum Computing, Biocomputing, Quantum Biology, Quantum-DNA Computing, and DNA-Quantum Computing.

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

John Vince explains a wide range of mathematical techniques and problem-solving strategies associated with computer games, computer animation, virtual reality, CAD and other areas of computer graphics in this completely revised and expanded fifth edition.

This book is concerned with the associated issues between the differing paradigms of academic and organizational computing infrastructures.

This accessible text/reference provides a general introduction to probabilistic graphical models (PGMs) from an engineering perspective.

This authoritative text/reference presents a review of the history, current status, and potential future directions of computational biology in molecular evolution.

This book presents a comprehensive review of key distributed graph algorithms for computer network applications, with a particular emphasis on practical implementation.

The discrete Fourier transform (DFT) is an extremely useful tool that finds application in many different disciplines.

How do we design a self-organizing system?

Data mining essentially relies on several mathematical disciplines, many of which are presented in this second edition of this book.

This book provides an introduction to the essential concepts in programming languages, using operational semantics techniques.

John Vince explains a wide range of mathematical techniques and problem-solving strategies associated with computer games, computer animation, virtual reality, CAD and other areas of computer graphics in this updated and expanded fourth edition.

The first book of its kind dedicated to the challenge of person re-identification, this text provides an in-depth, multidisciplinary discussion of recent developments and state-of-the-art methods.

This revised and expanded new edition elucidates the elegance and simplicity of the fundamental theory underlying formal languages and compilation.

The purpose of this book is to provide a sound introduction to the study of real-world phenomena that possess random variation.

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.

John Vince explains a comprehensive range of mathematical techniques and problem-solving strategies associated with computer games, computer animation, special effects, virtual reality, CAD and other areas of computer graphics in this completely revised and expanded sixth edition.

This classroom-tested textbook provides an accessible introduction to the design, formal modeling, and analysis of distributed computer systems.

In honor of the work of Professor Shunji Osaki, Stochastic Reliability and Maintenance Modeling provides a comprehensive study of the legacy of and ongoing research in stochastic reliability and maintenance modeling.

Speech is the most natural mode of communication and yet attempts to build systems which support robust habitable conversations between a human and a machine have so far had only limited success.

This clearly written and enlightening textbook provides a concise, introductory guide to the key mathematical concepts and techniques used by computer scientists.

Since the advent of the Semantic Web, interest in the dynamics of ontologies (ontology evolution) has grown significantly.

Polyhedral and Algebraic Methods in Computational Geometry provides a thorough introduction into algorithmic geometry and its applications.

Probabilistic Group Theory, Combinatorics and Computing is based on lecture courses held at the Fifth de Brun Workshop in Galway, Ireland in April 2011.

Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of students of computer science.

This textbook provides an engaging and motivational introduction to traditional topics in discrete mathematics, in a manner specifically designed to appeal to computer science students.

Description Logics (DLs) is a family of formalisms used to represent knowledge of a domain.

Constructing Correct Software - The Basics illustrates and explains the constructive approach to software development.

Iterative Methods for Queuing and Manufacturing Systems introduces the recent advances and developments in iterative methods for solving Markovian queuing and manufacturing problems.

The mathematical concepts and notational conventions we know of as Z were first proposed around 1981.

Increasingly, formal specification is being used by database researchers to describe and understand the systems they are designing and implementing.