Mathematical theory of computation books

It is a follow-up to the first two volumes on mathematics for cognitive scientists, and includes the mathematics...  Read More >>

This book shows how mathematics, computer science and science can be usefully and seamlessly intertwined. It introduces...  Read More >>

Digitalism is a philosophical strategy that uses new computational ways of thinking to develop naturalistic but...  Read More >>

 Read More >>

 Read More >>

This book offers a self-study program on how mathematics, computer science and science can be profitably and seamlessly...  Read More >>

This book collects the refereed proceedingsof the Second International Conference on Algorithms and Discrete AppliedMathematics,...  Read More >>

This book provides a self-study program on how mathematics, computer science and science can be usefully and seamlessly...  Read More >>

This is the first comprehensive book on information geometry, written by the founder of the field. An intuitive...  Read More >>

This book provides an introduction to elementary probability and to Bayesian statistics using de Finetti's subjectivist...  Read More >>

It is in realization that such huge amount of data requires efficient and robust mathematical solutions that this...  Read More >>

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

This bookconstitutes revised selected papers from the 11th International Symposium onAlgorithms and Experiments...  Read More >>

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

This book constitutes revised selected papers from the workshopscollocated with the SEFM 2015 conference on Software...  Read More >>

This book constitutes the thoroughly refereedpost-workshop proceedings of the 16th Chinese Lexical Semantics Workshop,...  Read More >>

Medicine and health care are currently faced with a significant rise in their complexity. This is partly due to...  Read More >>

This book constitutes the refereed proceedings of the Third International Workshop on the Theory and Applications...  Read More >>

This book constitutes revised selected papers from the International Conference on Membrane Computing, CMC 2015,...  Read More >>

This book constitutes revised selected papers from the18th Brazilian Symposium on Formal Methods, SBMF 2015, which...  Read More >>

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

Since its inception in 2004, the LASER Summer Schoolhas focused on an important software engineering topic each...  Read More >>

This volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference...  Read More >>

The master thesis of Susanne Göbel generates the deep understanding of the Mobile Ambient (MA) calculus that is...  Read More >>

This book provides an overview of the confluence of ideas in Turing’s era and work and examines the impact of his...  Read More >>