Mathematical theory of computation books

Provides the mathematical foundations of numerical methods, and analyzes their basic theoretical properties (stability,...  Read More >>

Soft computing is a unifying framework that combines techniques in neural networks, fuzzy theory, genetic algorithms,...  Read More >>

This book contains the papers presented at VisSym’00, the Second Joint Visualization Symposium organized by the...  Read More >>

Network Algebra considers the algebraic study of networks and...  Read More >>

Raskin explains why today's interface techniques lead straight to a dead end, and offers ideas for building systems....  Read More >>

This tremendous research activity has been prompted by the discovery of important applications in combinatorial...  Read More >>

Standard numerical methods are of little use in solving problems involving boundary layers. This volume presents...  Read More >>

This text addresses the study of compiler transformations for parallel aspects of sophisticated scheduling problems,...  Read More >>

Mathematical logic is an area of interest to workers in philosophy and computer science as well as mathematics....  Read More >>

 Read More >>

 Read More >>

 Read More >>

The papers und- went an additional refereeing process which yielded 33 papers presented here (out of 55 papers presented...  Read More >>

His main areas of research are represented in the three sections, `Numbers and Combinations', `Information Theory...  Read More >>

This book provides an introduction to elementary number theory and the modern algorithmic number theory, and their...  Read More >>

The finite - infinite interplay is central in human thinking, from ancient philosophers and mathematicians (Zeno,...  Read More >>

The organizers thank the sponsors of the conference, namely, The Institute of Educational Development of Tokai University,...  Read More >>

 Read More >>

An introduction to computational geometry, this is a textbook for high-level undergraduate and low-level graduate...  Read More >>

Labelling was used in many different areas such as resource labelling in relevance logics, prefix tableaux in modal...  Read More >>

 Read More >>

This book develops the idea that recurrent rules can produce rich and complicated behaviours. From this thesis it...  Read More >>

 Read More >>

This book offers complete, up-to-date coverage of computational complexity theory, an area that has grown dramatically...  Read More >>

Describes the design and implementation of high-performance feedback controllers for engineering systems. This book...  Read More >>