Mathematical theory of computation books

This book constitutes the proceedings of the Second Annual International Conference on Computing and Combinatorics,...  Read More >>

In a competitive world, research in manufacturing systems plays an important role in creating, updating and improving...  Read More >>

This book is a guide to digital real-time signal processing techniques in the C language.  Read More >>

Presents work that evolved out of the Third Conference on Situation Theory and Its Applications, held at Oiso, Japan,...  Read More >>

This work is an overview of the primary techniques and models used in the mathematical analysis of algorithms. It...  Read More >>

Intends to bridge the gap between the theory of mathematical programming and the varied, real-world practices of...  Read More >>

This volume presents the proceedings of the Fifth Integer Programming and Combinatorial Optimization Conference,...  Read More >>

Describing the integration of genetic algorithms in pattern recognition and machine learning problems to build intelligent...  Read More >>

This book constitutes the refereed proceedings of the 7th Annual Symposium on Combinatorial Pattern Matching, CPM...  Read More >>

Presenting 14 papers from the Second International Workshop on Higher-Order Algebra, Logic and Term-Rewriting, this...  Read More >>

These selected conference papers cover the whole spectrum of methods and techniques for the investigation of the...  Read More >>

Quantum phenomena and methods are the core of this volume. It includes such topics as simulations of magnetic fields;...  Read More >>

The proceedings in this text cover all parts of the theory of formal languages, from pure theoretical investigations...  Read More >>

This volume covers a wide range of mathematical problems, including philosophical logic, logic in computer science,...  Read More >>

Quantum phenomena and methods are the core of this volume. It includes such topics as simulations of magnetic fields;...  Read More >>

This books presents the refereed proceedings of the Fifth International Workshop on Analytic Tableaux and Related...  Read More >>

This book is a comprehensive, modern reference source containing applications of computerized symbolic manipulations...  Read More >>

An introductory textbook for undergraduates studying mathematics, engineering, or computer science. It explains...  Read More >>

This introductory textbook for undergraduates studying mathematics, engineering or computer science explains how...  Read More >>

This volume presents a collection of revised refereed papers selected from the contributions presented at the European...  Read More >>

A guide to designing, implementing and analyzing distributed algorithms. It covers problems including resource allocation,...  Read More >>

 Read More >>

This book constitutes the refereed proceedings of the 21st International Colloquium on Trees in Algebra and Programming,...  Read More >>

 Read More >>

Prediction of traffic, its planning and control are counted among the great scientific and technological challenges....  Read More >>