Mathematical theory of computation books

Contains sections on models and languages for Web services, verification, term rewriting, language based security,...  Read More >>

Intends to commemorates the life and work of Zdzislaw Pawlak (1926-2006). This title presents papers that reflect...  Read More >>

Network participants are required to observe predefined steps called security protocols, whose proof of correctness...  Read More >>

Learning about cryptography requires examining fundamental issues about information security. This book offers a...  Read More >>

Summarizes results achieved in solving the circle packing problem. This work provides the reader with a comprehensive...  Read More >>

 Read More >>

Eine Einführung in Erkenntnisse und Konzepte der Algebra, die für die Informatik von Bedeutung sind. In Form von...  Read More >>

This was the fourth international conference dedicated entirely to this important topic, following the successful...  Read More >>

This book constitutes the refereed proceedings of the 8th International Conference on Computational Linguistics...  Read More >>

 Read More >>

Presents the findings on one of the most intensely investigated subjects in computational mathematics - the travelling...  Read More >>

Constitutes the refereed proceedings of the 5th International Conference on Formal Concept Analysis, ICFCA 2007,...  Read More >>

Introduces and motivates the problem of list decoding, and discusses the central algorithmic results of the subject,...  Read More >>

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

 Read More >>

 Read More >>

Addresses four critical software development aspects for the engineering and execution of applications on parallel...  Read More >>

Consists of contributions by speakers at a Conference on Algebra and Its Applications that took place in Athens,...  Read More >>

Algorithmic number theory is a branch of number theory, which, in addition to its mathematical importance, has substantial...  Read More >>

This interdisciplinary book presents numerical techniques needed for chemical and biological engineers using MATLAB....  Read More >>

 Read More >>

Linear Genetic Programming presents a variant of genetic programming (GP) that evolves imperative computer programs...  Read More >>

Proceedings of the Seventh SIAM International Conference on Data Mining  Read More >>

 Read More >>

Publishes a collection of scientific research articles that address using partial differential equations for image...  Read More >>