Mathematical theory of computation books

Besides presenting recent research outcomes in probabilistic concurrency theory, the book exemplifies the use of...  Read More >>

The essays in this book look at the question of whether physics can be based on information, or – as John Wheeler...  Read More >>

This volume presents the latest advances and trends in stochastic models and related statistical procedures. Selected...  Read More >>

This volume focuses on recursion and reveals a host of new theoretical arguments, philosophical perspectives, formal...  Read More >>

The text first surveys a few popular homology detection methods, such as Position-Specific Scoring Matrix (PSSM)...  Read More >>

 Read More >>

In this research, parametric software cost estimation models and their related calibration methods have been analyzed,...  Read More >>

This book constitutes revised selected papers from the workshops collocated with the SEFM 2014 conference on Software...  Read More >>

Grundbegriffe - Formale Grammatiken - Endliche Automaten - Regulare Ausdrucke - Kellerautomaten - LL(k)- und LR(k)-Sprachen...  Read More >>

This book constitutes revised selected papers from the International Symposium on Formal Aspects of Component Software,...  Read More >>

This book describes recent theoretical findings relevant to bilevel programming in general, and in mixed-integer...  Read More >>

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

Speech is the most natural mode of communication and yet attempts to build systems which support robust habitable...  Read More >>

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

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

 Read More >>

The papers are organized in topical sections on approximation algorithms, data structures and algorithms, computational...  Read More >>

The Future of Numerical Computing Written by one of the foremost experts in high-performance computing and the...  Read More >>

The second covers fuzzy sets, fuzzy groups and fuzzy polygroups. The following two chapters are concerned with the...  Read More >>

This book is dedicated to Professor Martin Wirsing on the occasion of his emeritation from Ludwig-Maximilians-Universität...  Read More >>

This book constitutes the refereed proceedings of the 5th International Symposium on Unifying Theories of Programming,...  Read More >>

Algebra and number theory have always been counted among the most beautiful mathematical areas with deep proofs...  Read More >>

This mathematically-based introduction to the fascinating topic of Fuzzy Sets and Fuzzy Logic presents a theoretical...  Read More >>

 Read More >>

 Read More >>