Mathematical theory of computation books

This book constitutes the refereed proceedings of the 4th International Symposium on Unifying Theories of Programming,...  Read More >>

This book constitutes the refereed proceedings of the 4th International Workshop on Reversible Computation, RC 2012,...  Read More >>

 Read More >>

Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware...  Read More >>

This tutorial volume includes revised and extended lecture notes of six long tutorials, five short tutorials, and...  Read More >>

Case-based reasoning (CBR) has received a great deal of attention in recent years and has established itself as...  Read More >>

Set Theory has experienced a rapid development in recent years, with major advances in forcing, inner models, large...  Read More >>

Discrete mathematics and theoretical computer science are closely linked research areas with strong impacts on applications...  Read More >>

 Read More >>

Bioinspired computation methods such as evolutionary algorithms and ant colony optimization are being applied successfully...  Read More >>

Providing a reference for researchers and students, this volume presents the fundamental concepts of dual tableaux,...  Read More >>

In the present book we demonstrate that hybrid-logical proof-theory remedies these deficiencies by giving a spectrum...  Read More >>

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the...  Read More >>

The M8.0 Wenchuan Earthquake occurred in China on May 12, 2008, killing over 69,000 people and displacing millions...  Read More >>

MATHEMATICS FOR INFORMATION TECHNOLOGY 1E delivers easy-to-understand and balanced mathematical instruction. Each...  Read More >>

This book surveys state-of-the-art optimization modeling for design, analysis, and management of wireless networks,...  Read More >>

The design and optimization of electronic systems often requires appraisal an of the electrical noise generated...  Read More >>

This second edition presents up-to-date material on the theory of weak convergance of convolution products of probability...  Read More >>

Presents a range of computational algorithms for fingerprint recognition. These include feature extraction, indexing,...  Read More >>

This book contains 33 papers from among the 41 papers presented at the Eighth International Conference on Fibonacci...  Read More >>

This monograph studies the logical aspects of domains as used in de­ notational semantics of programming languages....  Read More >>

 Read More >>

 Read More >>

In 1994 Peter Shor [65] published a factoring algorithm for a quantum computer that finds the prime factors of a...  Read More >>

This book pays homage to Professor Lotfi A. Zadeh, the ""father of fuzzy logic"" gathering accounts of personal...  Read More >>