Mathematical theory of computation books

Constitutes the refereed proceedings of the 4th International Conference on Formal Concept Analysis, held in February...  Read More >>

 Read More >>

The 17 revised full papers presented here cover all current issues of formal reasoning and computer programming...  Read More >>

Presents the refereed post-proceedings of the 5th International Workshop on Automated Deduction in Geometry, ADG...  Read More >>

I was attracted then by a gap between vector optimization used to serve as a formal model for multiple objective...  Read More >>

Vague concepts are intrinsic to human communication. This goal, however, requires a formal model of vague concepts...  Read More >>

 Read More >>

Contains articles reflecting the invited talks given by leading mathematicians at the International Conference on...  Read More >>

Contains the proceedings of the AMS-IMS-SIAM Joint Summer Research Conference on Modeling the Dynamics of Human...  Read More >>

Based on the lectures in the Short Course The Radon Transform and Applications to Inverse Problems at the American...  Read More >>

Presents a collection of articles that grew out of an expository and tutorial conference on public-key cryptography...  Read More >>

Logic, Sets, and Recursion, Second Edition provides a comprehensive introduction to logic, the basic ideas of set...  Read More >>

Covers the principles and theoretical models of parallel computing, and the design, analysis, and application of...  Read More >>

The simple reason is that it is easier for us to think about sequential, rather than concurrent, systems. Over a...  Read More >>

Predicting the future for financial gain is a difficult, sometimes profitable activity. This book focuses on the...  Read More >>

Constitutes the post-proceedings of a workshop that aims to unite theory and practice by demonstrating how graph-theoretic...  Read More >>

By mapping algorithms directly into programmable logic, FPGA accelerators offer and deliver 10X-100X performance...  Read More >>

Constitutes the refereed proceedings of the 10th IMA International Conference on Cryptography and Coding, held in...  Read More >>

Constitutes the refereed proceedings of the 16th International Symposium on Algorithms and Computation, ISAAC 2005....  Read More >>

'Computer-Aided Design and Manufacturing' (CAD/CAM) is concerned with various aspects of the process of designing,...  Read More >>

Written as a self-learning guide, this book deals with the treatment of the Variational Bayes (VB) approximation...  Read More >>

Contributions to the Science of Text and Language  Read More >>

Focuses on several aspects of mobile computing. Following an analysis of fundamental algorithms and protocols, this...  Read More >>

Constitutes the proceedings of the 5th International Conference on Integrated Formal Methods, IFM 2005, held in...  Read More >>

 Read More >>