Mathematical theory of computation books

Contains lecture notes on four topics at the forefront of research in computational mathematics. This book presents...  Read More >>

Collects papers that were presented at or inspired by the DIMACS workshop, Algebraic Coding Theory and Information...  Read More >>

This book is written for members of the scholarly research community, and for persons involved in research evaluation...  Read More >>

Introducing formal logic, this book provides insight into how a simple logic works. It concentrates on using logic...  Read More >>

 Read More >>

 Read More >>

They are implemented by embedding new sophisticated data structures in a classical programming model (API), by extending...  Read More >>

Examples are statistical time series models, cluster models, logic programs with high coverageor classi?cation models...  Read More >>

constitutes the refereed proceedings of the 6th International Symposium on Abstraction, Reformulation, and Approximation,...  Read More >>

Formal concept analysis has been developed as a field of applied mathematics based on the mathematization of concept...  Read More >>

Constitutes the refereed proceedings of the 20th International Conference on Automated Deduction, CADE-20, held...  Read More >>

Constitutes the refereed proceedings of the 7th International Conference on Theory and Applications of Satisfiability...  Read More >>

Machine learning and data mining are irreplaceable subjects and tools for the theory of pattern recognition and...  Read More >>

A collection of 10 papers presented together with an introductory survey and 4 invited papers by researchers that...  Read More >>

This volume contains the proceedings of Formal Methods 2005, the 13th InternationalSymposiumonFormalMethodsheldinNewcastleuponTyne,UK,...  Read More >>

A collection of papers that deal with the interdisciplinary topic of modeling and using context from various points...  Read More >>

These are the proceedings of the 8th European Conference on Symbolic and Quantitative Approaches to Reasoning with...  Read More >>

A collection of papers organized in topical sections on verification and analysis, theory and security, transformations,...  Read More >>

This volume contains the proceedings of the International Conference on Computer Aided Veri?cation (CAV), held in...  Read More >>

Amos provides a broad overview of the entire field of DNA computation, tracing its history and development. He gives...  Read More >>

It di?ers from the closely related disciplines like Computer Mathematics, Symbolic Computation and Automated Reasoning...  Read More >>

Constitutes the refereed proceedings of the 9th International Conference on Developments in Language Theory, DLT...  Read More >>

 Read More >>

Mesh Free Methods, Moving Beyond the Finite Element Method d by GR Liu (2002) provides a systematic discussion on...  Read More >>

Constitutes the refereed proceedings of the First International Conference on Algorithmic Applications in Management,...  Read More >>