Mathematical Theory of Computation

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

It is not always clear what computer programs mean in the various languages in which they can be written, yet a picture can be worth 1000 words, a ...

Search computing, which has evolved from service computing, focuses on building the answers to complex search queries by interacting with a constel...

Yuri Gurevich has played a major role in the discovery and development of - plications of mathematical logic to theoretical and practical computer ...

The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not...

This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on Automated Deduction in Geometry, ADG 2...

Euro-Par is an annual series of international conferences dedicated to the p- motion and advancementof allaspects of parallelcomputing. The major t...

Volume XII of the Transactions on Rough Sets (TRS) includes articles that are part of a special issue on Rough Set Structuring of Knowledge. These ...

This book teaches the fundamentals and mathematical formulas of reversible transformations (or transforms) that are used in many source coding and ...

Was sind Quantencomputer und was verspricht man sich von ihnen? Welche anderen Quantentechnologien stehen in den Startlöchern und wie können diese ...

The main focus of the book is solvability of cellular automata, that is, expressing the state of a given cell after a given number of steps by an e...

Mathematical logic is an important basis for mathematics, computer science and artificial intelligence alike. This book provides a comprehensive in...

This book introduces the properties of conservative extensions of First Order Logic (FOL) to new Intensional First Order Logic (IFOL). This extensi...

Starting with a Laurea in Ingegneria Elettronica and a PhD in Computer and Systems Engineering at the Politecnico di Torino, Tiziana has stayed fai...

This book illustrates how to achieve effective dimension reduction and data clustering. The authors explain how to accomplish this by utilizing the...

This book is an outcome of the interdisciplinary conference held at OP Jindal Global University (Quantum Decision-making and Complexity modeling, a...

Spiking neural P systems represent a significant advancement in the field of membrane computing, drawing inspiration from the communication pattern...

This book constitutes the refereed proceedings of the 25th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2024, ...

This book is a comprehensive guide that explores the intersection of artificial intelligence and forecasting, providing the latest insights and tre...

Software engineering has changed:  A software project today is likely to use large language models (LLMs) for some tasks and will employ some open-...

This book constitutes the refereed proceedings of the 24th International Conference on Runtime Verification, RV 2024, held in Istanbul, Turkey, dur...

This two-volume set on Mathematical Principles of the Internet provides a comprehensive overview of the mathematical principles of Internet enginee...

Fast Solvers for Mesh-Based Computations presents an alternative way of constructing multi-frontal direct solver algorithms for mesh-based computat...