Mathematical theory of computation books

This book considers logical proof systems from the point of view of their space complexity.  Read More >>

Ziel des Buches ist es, Ingenieuren oder Naturwissenschaftlern die Programmierung als Schlüsselqualifikation mit...  Read More >>

Ershov Informatics Conference, PSI 2017, held in Moscow, Russia, in June 2017. The 31 full papers presented...  Read More >>

This book constitutes the proceedings of the 4th International Conference on Algorithms and Discrete Applied Mathematics,...  Read More >>

 Read More >>

 Read More >>

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

This book constitutes the proceedings of the First International Workshop on Dynamic Logic, DALI 2017, held in Brasilia,...  Read More >>

This book contains revised selected papers from the 18th International Conference on Membrane Computing, CMC 2017,...  Read More >>

This book focuses on the development of a theory of info-dynamics to support the theory of info-statics in the general...  Read More >>

""Artificial Intelligence, deep learning, machine learning - whatever you're doing if you don't understand it -...  Read More >>

This book constitutes the proceedings of the 20th International Symposium on Practical Aspects of Declarative Languages,...  Read More >>

This book constitutes the refereed proceedings of the First International Conference on Analytical and Computational...  Read More >>

This book constitutes the post-conference proceedings of the Third International Workshop on Machine Learning, Optimization,...  Read More >>

This book constitutes the refereed proceedings of the 7th International Conference on Mathematical Aspects of Computer...  Read More >>

Assess the quality of your prediction and classification models in ways that accurately reflect their real-world...  Read More >>

This is the proceedings of the Sixth Workshop on Computing: Theory and Practice, WCTP 2016 devoted to theoretical...  Read More >>

This interdisciplinary book covers a wide range of subjects, from pure mathematics (knots, braids, homotopy theory,...  Read More >>

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

This book provides a critical examination of how the choice of what to believe is represented in the standard model...  Read More >>

 Read More >>

This book presents task-scheduling techniques for emerging complex parallel architectures including heterogeneous...  Read More >>

 Read More >>

 Read More >>

 Read More >>