Mathematical theory of computation books

Despite the fact that filtering theory is l'argely worked out (and its major issues such as the Wiener-Kolmogorov...  Read More >>

This book describes the rapidly developing field of interior point methods (IPMs). It is shown that all these...  Read More >>

One of these, explored by McNaughton and Papert in their 1971 monograph Counter-free Automata, was the characterization...  Read More >>

This book contains contributions by colleagues, former students and friends of Professor Eli Reshotko in celebration...  Read More >>

The Boundary Element Method is a simple, efficient and cost effective computational technique which provides numerical...  Read More >>

In this volume, I have collected several papers which were presented at the international conference called ""Venice-2/Symposium...  Read More >>

Error detecting codes are very popular for error control in practical systems for two reasons. The second part...  Read More >>

This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Haifa Verification...  Read More >>

The papers are organized in topical sections on testing in practice, test frameworks for distributed systems, testing...  Read More >>

For example, a large fraction of objects scanned in industrial CT (for the purpose of nonde­ structive testing or...  Read More >>

Our idea behind this book is to summarize such results which might otherwise not be easily accessible in the literature,...  Read More >>

These Transactions publish research in computer-based methods of computational collective intelligence (CCI) and...  Read More >>

 Read More >>

The idea for this book was conceived over the second bottle of Villa Maria's Caber­ net Medot '89, at the dinner...  Read More >>

Effective Polynomial Computation is an introduction to the algorithms of computer algebra. It discusses the basic...  Read More >>

The book introduces new techniques which imply rigorous lower bounds on the complexity of some number theoretic...  Read More >>

Conditional Monte Carlo: Gradient Estimation and Optimization Applications deals with various gradient estimation...  Read More >>

Venice-1 symposium on applied and industrial mathematics, 1989  Read More >>

Scheduling theory is an important branch of operations research. Many different models, the large number of new...  Read More >>

The central topic of the present text is the famous Normal Basis Theo­ rem, a classical result from field theory,...  Read More >>

This institute was organized and presented by an international group of scholars interested in the advancement of...  Read More >>

Workflow management systems (WFMS) are enjoying increasing popular­ ity due to their ability to coordinate and streamline...  Read More >>

In recent years they have been used in devising efficient algorithms for factoring integers and primality proving,...  Read More >>

 Read More >>

Recent technolog­ ical advances, however, such as the scaling of VLSI, the development of low-power circuit design...  Read More >>