Mathematical theory of computation books

This book constitutes the joint refereed proceedings of the 15th International Workshop on Approximation Algorithms...  Read More >>

In essence, Computing with Words (CWW) is a system of computation in which the objects of computation are predominantly...  Read More >>

In many cases, there is a recursive construction, so that the existence of a small number of ""starter"" designs...  Read More >>

Generic programming is about making programs more widely applicable via exotic kinds of parametrization---not just...  Read More >>

This book constitutes the refereed proceedings of the 4th International Workshop on the Arithmetic of Finite Field,...  Read More >>

The topics range from theoretical topics for classification, clustering, association rule and pattern mining to...  Read More >>

This two-volume-set (LNCS 7203 and 7204) constitutes the refereed proceedings of the 9th International Conference...  Read More >>

This book constitutes the refereed proceedings of the first Workshop on Applications of Discrete Geometry and Mathematical...  Read More >>

This book constitutes the refereed proceedings of the 15th and 16th International Conference on Formal Grammar 2010...  Read More >>

This book constitutes the thoroughly refereed proceedings of the Third International Conference on Interactive Theorem...  Read More >>

 Read More >>

This book constitutes the refereed proceedings of the 8th International Conference on Rough Sets and Current Trends...  Read More >>

The papers are organized in topical sections on AB grammars, Lambek’s syntactic calculus, Lambek calculus and montague...  Read More >>

The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association...  Read More >>

 Read More >>

This book constitutes the thoroughly refereed post-conference proceedings of the Second International Symposium...  Read More >>

This book contains the revised papers presented at the 8th Amsterdam Colloquium 2011, held in Amsterdam, The Netherlands,...  Read More >>

The concept of each toopic has been developed from primary to end stage with numerical illustrations in simple and...  Read More >>

The approximation of a continuous function by either an algebraic polynomial, a trigonometric polynomial, or a spline,...  Read More >>

 Read More >>

The two-volume set LNCS 7367 and 7368 constitutes the refereed proceedings of the 9th International Symposium on...  Read More >>

The two-volume set LNCS 7367 and 7368 constitutes the refereed proceedings of the 9th International Symposium on...  Read More >>

This book constitutes the refereed proceedings of the 24th International Conference on Computer Aided Verification,...  Read More >>

 Read More >>

These four volumes (CCIS 297, 298, 299, 300) constitute the proceedings of the 14th International Conference on...  Read More >>