Mathematical theory of computation books

This book provides practical applications of doubly classified models by using R syntax to generate the models....  Read More >>

This book constitutes the proceedings of the 15th Asian Symposium on Programming Languages and Systems, APLAS 2017,...  Read More >>

 Read More >>

The three-volume set LNCS 10624, 10625, 10626 constitutes the refereed proceedings of the 23rd International Conference...  Read More >>

The three-volume set LNCS 10624, 10625, 10626 constitutes the refereed proceedings of the 23rd International Conference...  Read More >>

The two-volume set LNCS 10627 and 10628 constitutes the refereed proceedings of the 11th International Conference...  Read More >>

This book provides a frequentist semantics for conditionalization on partially known events, which is given as a...  Read More >>

Die Aufgaben zu den üblichen Themen der eindimensionalen Analysis werden abgerundet durch solche zu den mathematischen...  Read More >>

 Read More >>

This book constitutes the refereed proceedings of the 20th Brazilian Symposium on Formal Methods, SBMF 2017, which...  Read More >>

This book constitutes the refereed proceedings of the 13th International Haifa Verification Conference, HVC 2017,...  Read More >>

 Read More >>

 Read More >>

This book constitutes the refereed proceedings of the 16th International Conference of the Italian Association for...  Read More >>

This book constitutes the thoroughly refereed proceedings of the 7th Joint International Semantic Technology Conference,...  Read More >>

This book is intended to make recent results on the derivation of higher order numerical schemes for random ordinary...  Read More >>

This monograph gives a thorough treatment of the celebrated compositions of signature and encryption that allow...  Read More >>

This book presents recent research on Advanced Computing in Industrial Mathematics, which is one of the most prominent...  Read More >>

This graduate-level text covers theoretical and applied aspects of protecting digital data. Starting from the basics,...  Read More >>

 Read More >>

Stergios Papadimitriou and Lefteris Moussiades begin Chapter One by comparing and contrasting some aspects of ScalaLab...  Read More >>

This book presents a deep spectrum of musical, mathematical, physical, and philosophical perspectives that have...  Read More >>

This book constitutes the refereed proceedings of the Third International Conference on Geometric Science of Information,...  Read More >>

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

Mit deren Hilfe werden kundenorientierte Geschäftsmaßnahmen eingeleitet und ein stetiges Abwägen zwischen vollautomatisierten...  Read More >>