Mathematical theory of computation books

This textbook presents analytic methods and results for exploring and understanding cellular automata and discrete...  Read More >>

This lab manual connects theory with application using MatLab and provides an appreciation for the underlying mathematics...  Read More >>

 Read More >>

The reasons for bypassing a Text portion of the text include: the subject is a special topic that will not be referenced...  Read More >>

This work focuses on the algorithmic and computational aspects of the combinatorial techniques of Lie superalgebras....  Read More >>

This text presents revised versions of tutorial lectures given during a School on Artificial Neural Networks. Theoretical...  Read More >>

In recent years, rapid advances in computer hardware technology including the development of specialised digital...  Read More >>

These selected papers discuss formal system specification, covering algebraic specification, temporal logic specification,...  Read More >>

Biology is at the beginning of a new era, promising significant discoveries that will be characterized by information-packed...  Read More >>

 Read More >>

Written with a minimum of technical jargon, this unique, easy-to-understand book strengthens your understanding...  Read More >>

This work represents a university text and professional/research reference on the finite-difference time-domain...  Read More >>

Dependable computerized systems are controlling bodies that ensure maximum security, reliability and safety in engineering...  Read More >>

 Read More >>

A collection of paper in modal logic and theoretical computer science.  Read More >>

This volume represents the proceedings of the Fourth International Conference on Integer Programming and Combinatorial...  Read More >>

This book presents a set of tools for solving basic numerical problems with verification of the results.  Read More >>

This book is concerned with the variational theories of liquid crystals, phrased in the language of modern continuum...  Read More >>

Robotics involves the combined application of numerous disciplines. Using algorithms as its consolidating theme,...  Read More >>

This handbook covers fundamental topics of semantic modelling in logic and computation. The chapters (some monographic...  Read More >>

 Read More >>

 Read More >>

The comprehensive introduction to the art and science of locating facilities to make your organization more efficient,...  Read More >>

This, the third volume in the successful series - Handbooks of Logic in Computer Science - covers the fundamental...  Read More >>

Constitutes the proceedings of the 4th International Workshop on Theorem Proving with Analytic Tableaux and Related...  Read More >>