Mathematical theory of computation books

This book provides a comprehensive collection of methods and approaches for using formal methods within Human-Computer...  Read More >>

 Read More >>

50 Years of Integer Programming features talks and panel discussions from the Aussois workshop in 2008, commemorating...  Read More >>

This book constitutes the proceedings of the 16th International Conference on Unconventional Computation and Natural...  Read More >>

 Read More >>

This book constitutes the proceedings of the 4th InternationalConference on Algorithms for Computational Biology,...  Read More >>

This interdisciplinary reference and guide provides an introduction to modeling methodologies and models which form...  Read More >>

This book deals with the problem of finding suitable languages that can represent specific classes of Petri nets,...  Read More >>

They cover the following topics: evolutionary computation, bioinspired algorithms, genetic algorithms, bioinformatics...  Read More >>

This book constitutes thoroughly revised selected papers of the Second International Workshop on Conflict and Resolution...  Read More >>

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

This volume is a collection of papers on emerging concepts, approaches and ideas in information systems research....  Read More >>

 Read More >>

On August 20, 2015, a symposium at Lawrence Livermore National Laboratory was held in honor of Berni J. Alder's...  Read More >>

This book constitutes the proceedings of the Third International Conference on Mathematics and Computing, ICMC 2017,...  Read More >>

 Read More >>

This book constitutes thoroughly revised selected papers of the 6th International Conference on Numerical Analysis...  Read More >>

Dieses Lehrbuch behandelt die in Natur- und Ingenieurwissenschaften eine zentrale Rolle spielenden Rauschprozesse,...  Read More >>

This book presents in their basic form the most important models of computation, their basic programming paradigms,...  Read More >>

This unique volume explores cutting-edge management approaches to developing complex software that is efficient,...  Read More >>

This book constitutes the proceedings of the 9th International Symposium on NASA Formal Methods, NFM 2017, held...  Read More >>

There have been substantial developments in meshfree methods, particle methods, and generalized finite element methods...  Read More >>

A record of some of the lectures and seminars delivered at the Second International School on Engineering Trustworthy...  Read More >>

This book presents the first comprehensive overview of various verifiable computing techniques, which allow the...  Read More >>

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