Mathematical theory of computation books

If different tools and users are to generate and read the same language then it is necessary that the same semantics...  Read More >>

The long-range transport of air pollutants and the reduction of air pollution to an acceptable level is an environmental...  Read More >>

The main search algorithms considered include best-first search, depth­ first branch-and-bound, iterative deepening,...  Read More >>

Examples of reactive systems are network protocols, air-traffic control systems, industrial-process control systems...  Read More >>

The study of the full abstraction problem for PCF and extensions of it has been enriched with a new full abstraction...  Read More >>

This text is a systematic treatment of algorithms and complexity in the related areas of matrix and polynomial computations....  Read More >>

'Et moi, ..., si j' avait su comment en revenir, One service mathematics has rendered the human race. It has put...  Read More >>

Fuzzy control theory is an emerging area of research. At the core of many engineering problems is the problem of...  Read More >>

 Read More >>

Multiple processor systems are an important class of parallel systems. These systems are called uniform memory access...  Read More >>

The main purpose of these lectures is first to briefly survey the fundamental con­ nection between the representation...  Read More >>

One service mathematics has rendered the tEL moi, ...si j'avait su comment en revenir. je n'y serais point alle'.'...  Read More >>

In a world of almost permanent and rapidly increasing electronic data availability, techniques of filtering, compressing,...  Read More >>

There are also articles concerned with the computability of aspects of familiar mathematical structures, and - a...  Read More >>

l 7 All recent books - devoted to the rheology of polymers do not answer the question of which constitutive equations...  Read More >>

This book constitutes the thoroughly refereed post-proceedings of the 15th International Workshop on Theoretic Foundations...  Read More >>

 Read More >>

This book constitutes the refereed proceedings of the Third International Conference on Simulation, Modeling, and...  Read More >>

This book constitutes the refereed proceedings of the 14th International Conference on Formal Engineering Methods,...  Read More >>

Reasoning and Unification over Conceptual Graphs is an exploration of automated reasoning and resolution in the...  Read More >>

This book contains the lectures given at the Conference on Dynamics and Randomness held at the Centro de Modelamiento...  Read More >>

Problems in Set Theory, Mathematical Logic and the Theory of Algorithms by I. It covers major classical topics in...  Read More >>

The coverage in this text is rigorous and practical, with many worked examples, exercises with solutions, pseudocode,...  Read More >>

This book constitutes the refereed proceedings of the 5th International Symposium on Algorithmic Game Theory, SAGT...  Read More >>

This book constitutes the refereed proceedings of the 23rd International Conference on Algorithmic Learning Theory,...  Read More >>