Mathematical theory of computation books

Design reuse is often seen as an add-on to normal design activity, or a special design task that is not an integrated...  Read More >>

 Read More >>

 Read More >>

This volume is dedicated to the memory of Rudolf Ahlswede, who passed away in December 2010. The Festschrift contains...  Read More >>

Algorithms for VLSI Physical Design Automation, Third Edition covers all aspects of physical design. Algorithms...  Read More >>

Here is a comprehensive presentation of methodology for the design and synthesis of an intelligent complex robotic...  Read More >>

Starting from the basic physical assumptions, this book methodically develops both the strong and weak forms of...  Read More >>

Generic programming is about making programs more adaptable by making them more general.  Read More >>

Welcome to the third International Conference on Management of Multimedia Networks and Services (MMNS'2000) in Fortaleza...  Read More >>

 Read More >>

This volume is a collation of original contributions from the key actors of a new trend in the contemporary theory...  Read More >>

Instead of just proving the existence of cut-free proofs, it focuses on the algorithmic methods transforming proofs...  Read More >>

Faced with the challenge of solving the hard optimization problems that abound in the real world, existing methods...  Read More >>

Das Buch dient als Einführung in die Mathematikprogramme MATHCAD und MATHCAD PRIME und als Handbuch beim praktischen...  Read More >>

 Read More >>

 Read More >>

This book constitutes the proceedings of the 19th International Conference on Tools and Algorithms for the Construction...  Read More >>

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

This volume constitutes the refereed proceedings of the 11th International Conference on Applied Parallel and Scientific...  Read More >>

This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Workshop on...  Read More >>

This book contains revised and significantly extended versions of selected papers from three workshops on Uncertainty...  Read More >>

This book constitutes the proceedings of the 16th International Conference on Integer Programming and Combinatorial...  Read More >>

This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Conference on...  Read More >>

This book constitutes the refereed proceedings of the 22nd European Symposium on Programming, ESOP 2013, held as...  Read More >>

This book constitutes the refereed proceedings of the 7th International Conference on Language and Automata Theory...  Read More >>