Mathematical Theory of Computation

This book constitutes the refereed proceedings of the 22nd International Conference on Business Process Management, BPM 2024, which took place in K...

This book provides an accessible yet rigorous first reference for readers interested in learning how to model and analyze cellular network performa...

This book constitutes the refereed proceedings of the 28th International Conference on Analytical and Stochastic Modelling Techniques and Applicati...

This volume comprises the thoroughly reviewed and revised papers of the First International Conference on New Trends in Applied Mathematics, ICNTAM...

This book collects a selection of the articles presented at the virtual conference Game Theory and Applications, organized in St. Petersburg in the...

This textbook details the variety of number formats used by computers, thereby helping to ground readers in what can and cannot be represented accu...

This book summarizes the main research results and preliminaries of quantum obfuscation and systematically introduces quantum obfuscation methods. ...

This introductory textbook covers all the mathematical concepts necessary for a computing degree, limiting coverage only to the material needed for...

This unique book offers an introductory course on category theory, which became a working language in algebraic geometry and number theory in the 1...

This two-volume set LNCS 14788 and 14789 constitutes the refereed post-conference proceedings of the 15th International Conference on Advances in S...

This two-volume set LNCS 14788 and 14789 constitutes the refereed post-conference proceedings of the 15th International Conference on Advances in S...

This book constitutes the refereed proceedings of the 5th International Conference on Neural Computing for Advanced Applications, NCAA 2024, held i...

TOOLympics 2023 was the third edition of a series of events to showcase competitions in the area of formal methods, colocated with the European Joi...

An original contribution to the foundations of mathematics, with emphasis on the role of set existence axioms, this book gives particular attention...

This book constitutes the refereed proceedings of the 5th International Conference on Neural Computing for Advanced Applications, NCAA 2024, held i...

This book constitutes the refereed proceedings of the 5th International Conference on Neural Computing for Advanced Applications, NCAA 2024, held i...

This textbook addresses and introduces new developments in the field of quantum information and computing (QIC) for a primary audience of undergrad...

This sixth volume of the book series applies finite injury priority method to R-calculi and obtain (in)completeness theorem for binary-valued, Post...

This reference discusses how automata and language theory can be used to understand solutions to solving equations in groups and word problems in ...

This book concentrates on mining networks, a subfield within data science. Data science uses scientific and computational tools to extract valuable...