Mathematical theory of computation books

An international authorship of contributors from acknowledged experts in their field, this book provides a clear...  Read More >>

 Read More >>

This book constitutes the refereed proceedings of the Third International Conference on Artificial Intelligence...  Read More >>

This book constitutes the refereed proceedings of the Fifth International Conference on Algebraic and Logic Programming,...  Read More >>

This book constitutes the refereed proceedings of the Eighth International Symposium on Programming Languages, Implementations,...  Read More >>

This book constitutes the refereed proceedings of the International Conference on Evolutionary Computation held...  Read More >>

This text contains four invited contributions surveying the state of the art in a particular subfield or pointing...  Read More >>

This book contains a strictly refereed selection of revised full papers chosen from the papers accepted for presentation...  Read More >>

This book introduces a new unifying framework for logics which makes it particularly suitable for applications....  Read More >>

This volume presents an algebraic specification approach to language prototyping, and is centred around the ASF+SDF...  Read More >>

This volume is about perfect, amicable and social numbers, with an emphasis on amicable numbers, from mathematical...  Read More >>

Parallel-Algorithms for Regular Architectures is the first book to concentrate exclusively on algorithms and paradigms...  Read More >>

 Read More >>

Dieser Band enthält die Beiträge einer Ringvorlesung Highlights aus der Informatik an der Universität Dortmund,...  Read More >>

An introduction to the design and analysis of algorithms for problems from the theory of numbers, is presented in...  Read More >>

REA's Essentials provide quick and easy access to critical information in a variety of different fields, ranging...  Read More >>

This compendium of Fortran algorithms for numerical mathematics includes: methods for solving nonlinear equations;...  Read More >>

This book develops a theory of objects as a foundation for object- oriented languages and programming. It shows...  Read More >>

 Read More >>

This book constitutes the refereed post-conference proceedings of the Second International Algorithmic Number Theory...  Read More >>

 Read More >>

All young computer scientists who aspire to write programs must learn something about algorithms and data structures....  Read More >>

 Read More >>

Maple is easy-to-use software that performs numerical and symbolic analysis to solve complex mathematical problems....  Read More >>

This book constitutes the refereed proceedings of the Third International Workshop on Parallel Algorithms for Irregularly...  Read More >>