Mathematical Theory of Computation

This book constitutes the proceedings of the 29th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2024, held in M...

This book constitutes the refereed proceedings of the 21st International Conference, RAMiCS 2024, held in Prague, Czech Republic, during August 192...

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

This book presents a thoughtful compilation of chapters derived from the proceedings of the 8th International Arab Conference on Mathematics and Co...

Providing an in-depth treatment of an exciting research area, this text's central topics are initial algebras and terminal coalgebras, primary obje...

This open access book explains the state of the art in quantum software engineering and design, independent from a specific hardware. It deals with...

This book constitutes the refereed proceedings of the Third Southwest Data Science Conference, on Recent advances in next-generation data science, ...

This book presents the Proceedings from the Second International Workshop GLOW 2024 held in conjunction with the International Joint Conference on ...

This book covers extensively the physical implementation of qubits and quantum architecture. The author demonstrates how quantum computing is imple...

This text presents selected applications of discrete-time stochastic processes that involve random interactions and algorithms, and revolve around ...

This book introduces probabilistic modelling and explores its role in solving a broad spectrum of engineering problems that arise in Information Te...

Given their tremendous success in commercial applications, machine learning (ML) models are increasingly being considered as alternatives to scienc...

This book is based on the best papers accepted for presentation during the International Conference on Current Problems of Applied Mathematics and ...

Introduction to Python for Science and Engineering offers a quick and incisive introduction to the Python programming language for use in any scien...

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

This book constitutes the refereed proceedings of the 2nd International Conference, ITMM 2023 and 14th International Workshop, WRQ 2023, held in To...

This book constitutes revised selected papers from the refereed proceedings of the 15th International Workshop on Rewriting Logic and Its Applicati...

This book constitutes the proceedings from the 30th IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems, AUTOMATA ...