Mathematical theory of computation books

This book presents recent results on positivity and optimization of polynomials in non-commuting variables. Researchers...  Read More >>

 Read More >>

The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th International Conference...  Read More >>

This book constitutes the refereed proceedings of the 9th International Conference on Intelligent Computer Mathematics,...  Read More >>

Marking the 30th anniversary of the European Conference on Modelling and Simulation (ECMS), this inspirational text/reference...  Read More >>

Der erste Ansatz zielt auf eine veränderte Architektur des Memorys mit dem Ziel einer überlappenden, nicht-interferierenden...  Read More >>

This book constitutes the refereed proceedings of the 21st InternationalConference on Implementation and Application...  Read More >>

This book constitutes the proceedings of the 5th International Conference on Mathematical Software, ICMS 2015, held...  Read More >>

 Read More >>

This book constitutes the refereed proceedings of the 13th International Symposium on Neural Networks, ISNN 2016,...  Read More >>

Neben einer Markteinschätzung und grundlegenden Konzepten (semantische Modellbildung, Anfragesprachen, Konsistenzgewährung...  Read More >>

This book constitutes the refereed proceedings of the 8th International Conference on Reversible Computation, RC...  Read More >>

Taking the Lasso method as its starting point, this book describes the main ingredients needed to study general...  Read More >>

his book constitutes the refereed proceedings of the 18th International Conference on Descriptional Complexity...  Read More >>

These transactions publish research in computer-based methods of computational collective intelligence (CCI) and...  Read More >>

It is devoted to rule-based programming and rule-based systems including production rule systems, logic programming...  Read More >>

This book constitutes the refereed proceedings of the 10th International Andrei Ershov Informatics Conference, PSI...  Read More >>

Now in its second edition, this textbook serves as an introduction to probability and statistics for non-mathematics...  Read More >>

Turing's famous 1936 paper introduced a formal definition of a computing machine, a Turing machine. This book presents...  Read More >>

This volume constitutes the thoroughly refereed proceedings of the 22nd IFIP WG 1.5International Workshop on Cellular...  Read More >>

 Read More >>

 Read More >>

This book constitutes the proceedings of the 12th European Conference on Modelling Foundations and Applications,...  Read More >>

This book constitutes the proceedings of the 14th International Conference on Software Engineering and Formal Methods,...  Read More >>

This book constitutes the refereed proceedings of the 9th International Conference on Graph Transformation, ICGT...  Read More >>