Mathematical theory of computation books

The book consists of research papers based on results presented at a conference held in Sweden to celebrate Hoang...  Read More >>

We are invited to deal with mathematical activity in a sys­ tematic way [ ... The field of automated deduction has...  Read More >>

rather the books present the concepts and methods now available in automated deduction in a form which can be...  Read More >>

Proceedings of the NATO Advanced Study Institute, Leuven, Belgium, August 3-14, 1992  Read More >>

Symbolic asymptotics has recently undergone considerable theoretical development, especially in areas where power...  Read More >>

Having in mind a mixed audience of students from different departments (Math­ ematics, Statistics, Economics, Engineering,...  Read More >>

 Read More >>

Spline functions entered Approximation Theory as solutions of natural extremal problems. The emphasis is given to...  Read More >>

Proceedings of the NATO Advanced Research Workshop, Grenoble, France, June 15-19, 1992  Read More >>

Some of these papers will be selected for publication in a special issue of the Journal of Combinatorial Optimization,...  Read More >>

Some of these papers will be selected for publication in a special issue of the Journal of Combinatorial Optimization,...  Read More >>

S-Cube’s Foundations for the Internet of Services Today’s Internet is standing at a crossroads. Services available...  Read More >>

Algorithmic design, especially for hard problems, is more essential for success in solving them than any standard...  Read More >>

The reason we saythat the semi-feasible sets showcase the contrasts among types of complexity is that it is well-known...  Read More >>

In March 2002, the Naval Research Laboratory brought together leading researchers and government sponsors for a...  Read More >>

Group cohomology has a rich history that goes back a century or more. Unlike the early applications which were primarily...  Read More >>

This volume presents state-of-the-art complementarity applications, algorithms, extensions and theory in the form...  Read More >>

Semi-infinite programming (SIP) deals with optimization problems in which either the number of decision variables...  Read More >>

As such, it tries to find a unified way of dealing with diverse topics in mathematics and theoretical com­ puter...  Read More >>

The main purpose of this work is construction of the mathematical theory of elastic plates and shells, by means...  Read More >>

Cellular automata can be viewed both as computational models and modelling systems of real processes. Their computational...  Read More >>

Proof theory and category theory were first drawn together by Lambek some 30 years ago but, until now, the most...  Read More >>

 Read More >>

This book presents the foundations of key problems in computational molecular biology and bioinformatics. It focuses...  Read More >>

Metaheuristics: Progress as Real Problem Solvers is a peer-reviewed volume of eighteen current, cutting-edge papers...  Read More >>