Mathematical theory of computation books

This book constitutes the proceedings of the 11th International Symposium on Frontiers of Combining Systems, FroCoS...  Read More >>

This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods,...  Read More >>

This book starts by introducing the fundamental concepts of mathematical continuum mechanics for fluids and solids...  Read More >>

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

This invaluable textbook/reference provides an easy-to-read guide to the fundamentals of formal methods, highlighting...  Read More >>

This book constitutes the refereed proceedings of the 23th International Conference on DNA Computing and Molecular...  Read More >>

The focus of the workshop is on following topics: Agency, Argumentation and Agreement, Belief Revision and Belief...  Read More >>

The papers cover relevant research areas in modern coding theory, including codes and combinatorial structures,...  Read More >>

This book constitutes the refereed conference proceedings of the 23nd International Conference on Principles and...  Read More >>

This book constitutes the refereed proceedings of the 8th International Conference on Interactive Theorem Proving,...  Read More >>

This book constitutes the refereed proceedings of the 24th International Static Analysis Symposium, SAS 2017, held...  Read More >>

This volume constitutes the refereed post-conference proceedings of the International Conference on Theoretical...  Read More >>

This groundbreaking, yet accessible book contains original results on the interaction between graph theory and computational...  Read More >>

This book constitutes the refereed proceedings of the 11th International Conference on Combinatorics on Words, WORDS...  Read More >>

This book constitutes the refereed proceedings of the 14th EuropeanWorkshop on Computer Performance Engineering,...  Read More >>

Adaptive Mobile Computing: Advances in Processing Mobile Data Sets explores the latest advancements in producing,...  Read More >>

Packed with new material and research, this second edition of George Friedman’s bestselling Constraint Theory remains...  Read More >>

This book constitutes the proceedings of the 14th International Conference on Quantitative Evaluation Systems,...  Read More >>

This book constitutes the refereed proceedings of the 20th International Conference on Theory and Applications of...  Read More >>

Recent results on non-convex multi-objective optimization problems and methods are presented in this book, with...  Read More >>

This volume of selected and peer-reviewed contributions on the latest developments in time series analysis and forecasting...  Read More >>

The work presented here is generally intended for engineers, educators at all levels, industrialists, managers,...  Read More >>

​This book constitutes the proceedings of the 5th International Symposium on Model-Based Safety and Assessment,...  Read More >>

The information age owes its existence to a little-known but crucial development, the theoretical study of logic...  Read More >>

This book provides the foundations of both linear and nonlinear analysis necessary for understanding and working...  Read More >>