Mathematical theory of computation books

Kompakt und leicht verständlich führt dieses Lehrbuch in die formalen Grundlagen der Programmierung ein. Von der...  Read More >>

 Read More >>

This book constitutes the refereed proceedings of the 50th International Conference on Objects, Models, Components,...  Read More >>

This book constitutes the thoroughly refereed post-conference proceedings of the Second International Conference...  Read More >>

Offers a source of mathematical illustrations by mathematicians as well as artists. This title presents examples...  Read More >>

""Incomplete Information System and Rough Set Theory: Models and Attribute Reductions"" covers theoretical study...  Read More >>

This book explores the adaptation of cognitive processes to limited resources. It deals with resource-bounded and...  Read More >>

 Read More >>

This book constitutes the refereed proceedings of the 11th International Symposium on Functional and Logic Programming,...  Read More >>

This book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on...  Read More >>

This book constitutes the refereed proceedings of the 9th International Conference on Theory and Applications of...  Read More >>

 Read More >>

Mathematical techniques pervade current research in computer networking, yet are not taught to most computer science...  Read More >>

The Festschrift includes several reminiscences and introductory essays describing Professor Sergot's achievements,...  Read More >>

This book presents intellectual innovative information (I3) technologies based on logical and probabilistic (LP)...  Read More >>

With a focus on Unbound Register Machines (URMs), this book introduces new ideas and topics using real computer-related...  Read More >>

This book constitutes the refereed proceedings of the 6th International Frontiers of Algorithmics Workshop, FAW...  Read More >>

This book constitutes the refereed proceedings of the 10th International Conference on Formal Concept Analysis,...  Read More >>

Constitutes the refereed proceedings of the International Symposium on Swarm Intelligence and Differential Evolution,...  Read More >>

Over the last 50 years there have been an increasing number of applications of algebraic tools to solve problems...  Read More >>

Topics addressed are: functional language for reversible computations, logic design, reversible circuits designed...  Read More >>

 Read More >>

 Read More >>

 Read More >>

What every computer scientist ought to know about cryptographic systems, security protocols, and secure information...  Read More >>