Mathematical theory of computation books

"""A math-based guide for information security practitioners. Teaches how to use concepts from various fields of...  Read More >>

"""Neural Networks with Python"" serves as an introductory guide for those taking their first steps into neural...  Read More >>

This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Workshop on...  Read More >>

 Read More >>

This book collects a range of contributions on nonlinear dynamics and complexity, providing a systematic summary...  Read More >>

This book addresses the urgent issue of massive and inefficient energy consumption by data centers, which have become...  Read More >>

 Read More >>

 Read More >>

This book constitutes the refereed proceedings of the 33rd International Symposium on Logic-Based Program Synthesis...  Read More >>

Programming Languages is a self-contained approach to the topic, and differentiates between the design, implementation...  Read More >>

 Read More >>

Topics like the Talavera Manifesto for quantum software engineering, frameworks for hybrid systems, formal methods...  Read More >>

The symbiotic relationship between artificial Intelligence, supply chain and logistics transformed the way we are...  Read More >>

This book constitutes the refereed proceedings of the 22nd Asia Simulation Conference on Methods and Applications...  Read More >>

This book constitutes the refereed proceedings of the 22nd Asia Simulation Conference on Methods and Applications...  Read More >>

In this book, we have selected some of the most effective and renowned algorithms in the literature. Each chapter...  Read More >>

In this book, we have selected some of the most effective and renowned algorithms in the literature. Each chapter...  Read More >>

 Read More >>

This book constitutes the refereed proceedings of the 19th European Workshop on Computer Performance Engineering,...  Read More >>

Model Validation and Uncertainty Quantification, Volume 3: Proceedings of the 41st IMAC, A Conference and Exposition...  Read More >>

This book constitutes the refereed proceedings of the 17th International Conference on Reachability Problems, RP...  Read More >>

This book contains select papers presented at the 3rd International Conference on Engineering Mathematics and Computing...  Read More >>

This unique, accessible textbook gives a comprehensive introduction to software architecture, using ‘clean architecture’...  Read More >>

The book gives all interested in computer science, a deep review of relevant aspects of logic. In its scope are...  Read More >>

This book constitutes the refereed proceedings of the 23rd International Conference on Runtime Verification, RV...  Read More >>