Mathematical theory of computation books

This accessible introduction for undergraduates explains the cryptographic protocols for privacy and the use of...  Read More >>

Variational Regularization of 3D Data provides an introduction to variational methods for data modelling and its...  Read More >>

​Andreas Mang befasst sich mit der numerischen Simulation der Progression von primären Hirntumoren, im Speziellen...  Read More >>

 Read More >>

This book constitutes revised selected papers from the Third International Workshop on Structured Object-Oriented...  Read More >>

 Read More >>

Transactions on Rough Sets XVII  Read More >>

This book combines the materials from introductory numerical methods and introductory optimization courses into...  Read More >>

 Read More >>

This book treats bounded arithmetic and propositional proof complexity from the point of view of computational complexity....  Read More >>

This book constitutes the refereed proceedings of the 6th International Symposium on Engineering Secure Software...  Read More >>

This book constitutes the refereed proceedings of the 17th International GI/ITG Conference on Measurement, Modeling...  Read More >>

This book constitutes the proceedings of the First OpenSHMEM Workshop, held in Annapolis, MD, USA, in March 2014....  Read More >>

This is the first book to offer key theoretical topics and terminology concerning regulated grammars and automata....  Read More >>

 Read More >>

This vital new resource offers engineers and researchers a window on important new technology that will supersede...  Read More >>

To facilitate easy understanding of the models and analysis, the background information in terms of probability...  Read More >>

Computer Science: The Hardware, Software and Heart of It focuses on the deeper aspects of the two recognized subdivisions...  Read More >>

This book constitutes the refereed proceedings of the 11th Latin American Symposium on Theoretical Informatics,...  Read More >>

This book constitutes the refereed proceedings of the 8th International Conference on Language and Automata Theory...  Read More >>

This book provides foundations for software specification and formal software development from the perspective of...  Read More >>

This Festschrift volume, published in honor of Kokichi Futatsugi, contains 31 invited contributions from internationally...  Read More >>

 Read More >>

The first of these deals with least-square methods of problem solution, both for curve fitting and for general solution...  Read More >>

This book presents the state of the art in parallel numerical algorithms, applications, architectures, and system...  Read More >>