Mathematical theory of computation books

This book is a collection of thoroughly refereed papers presented at the 27th IFIP TC 7 Conference on System Modeling...  Read More >>

This volume constitutes the refereed proceedings of the Confederated International  International Workshop on Enterprise...  Read More >>

 Read More >>

This book constitutes the proceedings of the 20th International Conference on Fundamental Approaches to Software...  Read More >>

This book constitutes the refereed proceedings of the 6th International Conference on Evolutionary Computation in...  Read More >>

This book presents new research results in multidisciplinary fields of mathematical and numerical modelling in mechanics....  Read More >>

This book constitutes the refereed proceedings of the 14th Annual Conference on Theory and Applications of Models...  Read More >>

Partition functions arise in combinatorics and related problems of statistical physics as they encode in a succinct...  Read More >>

This book constitutes the proceedings of the 26th European Symposium on Programming, ESOP 2017, which took place...  Read More >>

This book constitutes the proceedings of the 20th International Conference on Foundations of Software Science and...  Read More >>

This book constitutes the refereed proceedings of the 20th European Conference on Genetic Programming, EuroGP 2017,...  Read More >>

This book constitutes the refereed proceedings of the Second Russian Supercomputing Days, RuSCDays 2016, held in...  Read More >>

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

This book constitutes the refereed proceedings of the 17th European Conference on Evolutionary Computation in Combinatorial...  Read More >>

This book takes a foundational approach to the semantics of probabilistic programming. It elaborates a rigorous...  Read More >>

This book discusses major milestones in Rohit Jivanlal Parikh’s scholarly work. Highlighting the transition in Parikh’s...  Read More >>

As computers increasingly control the systems and services we depend upon within our daily lives like transport,...  Read More >>

This book constitutes the proceedings of the Second International Conference on Codes, Cryptology and Information...  Read More >>

 Read More >>

An introduction to recursion theory that will prepare the reader for the study of advanced monographs and the current...  Read More >>

The proceedings of the conference 'Logical Foundations of Mathematics, Computer Science, and Physics - Kurt Gödel's...  Read More >>

 Read More >>

This book provides a survey on different kinds of Feistel ciphers, with their definitions and mathematical/computational...  Read More >>

Introducing the features of Mathematica(R), this book continues with more complex material, including many examples...  Read More >>

This volume contains some lecture notes of the 12th Reasoning Web Summer School (RW 2016), held in Aberdeen, UK,...  Read More >>