Mathematical theory of computation books

 Read More >>

Intuitionistic type theory can be described, somewhat boldly, as a partial fulfillment of the dream of a universal...  Read More >>

This valuable compendium of statistical methods features a unique combination of methodology, theory, algorithms...  Read More >>

This book gives a practical overview of Fractional Calculus as it relates to Signal Processing  Read More >>

Gli Automi sono modelli matematici di macchine digitali di grande interesse sia dal punto di vista teorico che applicativo....  Read More >>

 Read More >>

He won a number of prestigious science and technology awards, including a 2nd prize of Natural Science Award from...  Read More >>

The book constitutes the refereed proceedings of the 12th International Conference on Software Composition, SC 2013,...  Read More >>

The discrete Fourier transform (DFT) is an extremely useful tool that finds application in many different disciplines....  Read More >>

This engaging text presents the fundamental mathematics and modelling techniques for computing systems in a novel...  Read More >>

The project introduced a formal method, Event-B, into several industrial organisations and built on the lessons...  Read More >>

This book constitutes the joint refereed proceedings of the 20th Symposium on the Integration of Symbolic Computation...  Read More >>

 Read More >>

This book constitutes the refereed proceedings of the 12th European Conference on Symbolic and Quantitative Approaches...  Read More >>

The 21 regular papers, 5 short papers, and 5 tool papers presented together with 3 invited talks were carefully...  Read More >>

This book constitutes the refereed proceedings of the 15th International Workshop of Descriptional Complexity of...  Read More >>

This book constitutes the refereed proceedings of the 9th Conference on Computability in Europe, CiE 2013, held...  Read More >>

This book constitutes the refereed proceedings of the 20th International Symposium on Model Checking Software, SPIN...  Read More >>

This book constitutes the thoroughly refereed papers of the 18th International Conference on Implementation and...  Read More >>

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

This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verification Conference,...  Read More >>

The accepted papers address topics such as rule-based programming and rule-based systems including production rules...  Read More >>

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

This book presents 5 tutorial lectures by leading researchers given at the ICTAC 2013 Software Engineering School...  Read More >>

This book constitutes the refereed proceedings of the 6th International Conference on Artificial General Intelligence,...  Read More >>