Mathematical theory of computation books

This book gives an introduction to the programming language Scala. The book explains with detail functional programming...  Read More >>

Digital information and communication technologies can be seen as a threat to privacy, a step forward for freedom...  Read More >>

This book constitutes the joint refereed proceedings of the 16th International Conference on Next Generation Wired/Wireless...  Read More >>

The 18 revised full papers presented together with 4 short papers, 3 tool papers, 2 tool demonstration papers, and...  Read More >>

The volume analyses and develops David Makinson’s efforts to make classical logic useful outside its most obvious...  Read More >>

This volume is the first systematic and thorough attempt to investigate the relation and the possible applications...  Read More >>

Based on practical experience as a data analyst and on theoretical studies as a researcher, the author explains...  Read More >>

 Read More >>

This book details advances and developments in reduced order methods for modeling and computational reduction of...  Read More >>

This book provides readers with modern computational techniques for solving variety of problems from electrical,...  Read More >>

Initial training in pure and applied sciences tends to present problem-solving as the process of elaborating explicit...  Read More >>

This book brings together research on numerical methods adapted for Graphics Processing Units (GPUs). This book...  Read More >>

This book presents recent trends and advances in the theory of directly computable error estimates (error indicators)....  Read More >>

This book combines, in a novel and general way, an extensive development of the theory of families of commuting...  Read More >>

This book constitutes revised papers of the proceedings of the 9th International Workshop on System Analysis and...  Read More >>

This book constitutes the refereed proceedings of the 10th International Workshop on Reachability Problems, RP 2016,...  Read More >>

This book discusses recent developments and contemporary research in mathematics, statistics and their applications...  Read More >>

This book constitutes the refereed proceedings of the 8th IFIP TC 12 International Conference on Intelligent Information...  Read More >>

How do we model uncertainty? How do we use uncertainty theory? In order to answer these questions, this stimulating...  Read More >>

This is the principle puzzle explored in this book where ideas behind systems that behave intelligently are described...  Read More >>

This book reveals the historical context and the evolution of the technically complex Allied Signals Intelligence...  Read More >>

 Read More >>

A subclass of Petri nets, augmented marked graphs possess a structure that is especially desirable for the modelling...  Read More >>

In this thesis, the author develops for the first time an implementation methodology for arbitrary Gaussian operations...  Read More >>

Autonomy in space helps to increase the amount of science data returned from missions, perform new science, and...  Read More >>