Mathematical theory of computation books

This book presents revised versions of the best papers selected from the symposium “Mathematical Progress in Expressive...  Read More >>

This book details key techniques in constraint networks, dealing in particular with constraint satisfaction, search,...  Read More >>

 Read More >>

The objectives of the book include presenting (i) the state of the art and (ii) the latest research results in ontology...  Read More >>

This book opens with a lucid explanation of the theory of reactive Kripke semantics, followed by chapters demonstrating...  Read More >>

The book contains a selection of high quality papers, chosen among the best presentations during the International...  Read More >>

This thesis demonstrates techniques that provide faster and more accurate solutions to a variety of problems in...  Read More >>

In addition to its coverage of Glushkov's major contributions in the field of computer science, this text details...  Read More >>

 Read More >>

This book presents the basics of quantum information, e.g., foundation of quantum theory, quantum algorithms, quantum...  Read More >>

The main goal of this book is to help organizations improve their effort estimates and effort estimation processes...  Read More >>

It provides guidelines on how to effectively structure research goals, how to analyze research problems concerning...  Read More >>

This book is a collection of thoroughly refereed papers presented at the 26th IFIP TC 7 Conference on System Modeling...  Read More >>

Clusters, Orders, and Trees: Methods and Applications  Read More >>

This book establishes, for the first time, the potential application of NCO implementations to cryptographic primitives...  Read More >>

This proceedings volume collects review articles that summarize research conducted at the Munich Centre of Advanced...  Read More >>

 Read More >>

This book summarizes research carried out in workshops of the SAGA project, an Initial Training Network exploring...  Read More >>

The book opens with a short introduction to Indian music, in particular classical Hindustani music, followed by...  Read More >>

 Read More >>

The book provides the first full length exploration of fuzzy computability. This text provides a glimpse into...  Read More >>

The implementation of state-transfer schemes and the engineering of quantum networks are discussed in the framework...  Read More >>

 Read More >>

it deals with some hot topics in sampling theory, such as calibration, quantile-regression and multiple frame surveys...  Read More >>

Towards Solid-State Quantum Repeaters: Ultrafast, Coherent Optical Control and Spin-Photon Entanglement in Charged...  Read More >>