Mathematical theory of computation books

This book constitutes the refereed proceedings of the 12th International Workshop on Algorithms in Bioinformatics,...  Read More >>

The papers address all aspects of static analysis, including abstract domains, abstract interpretation, abstract...  Read More >>

This volume contains the lecture notes of the 8th Reasoning Web Summer School 2012, held in Vienna, Austria, in...  Read More >>

This book constitutes the refereed proceedings of the 20th Annual European Symposium on Algorithms, ESA 2012, held...  Read More >>

This book constitutes the refereed proceedings of the 7th International Conference on Rough Sets and Knowledge Technology,...  Read More >>

This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on Coalgebraic...  Read More >>

A new model-theoretic approach to universal algebra is offered...  Read More >>

This book constitutes the proceedings of the 12th International Conference on Simulation of Adaptive Behaviour,...  Read More >>

The book contains nice and relevant original papers, authored by some of the most outstanding researchers in the...  Read More >>

This book constitutes the proceedings of the 5th International Conference on Similarity Search and Applications,...  Read More >>

""Soft Computing and its Applications in Business and Economics,"" or SC-BE for short, is a work whose importance...  Read More >>

This book describes, predicts and explains information as a general phenomenon, probing the nature and output of...  Read More >>

The proceedings represent the state of knowledge in the area of algorithmic differentiation (AD). The 31 contributed...  Read More >>

This book constitutes the refereed proceedings of the Second International Workshop on Datalog 2.0, held in Vienna,...  Read More >>

This book constitutes the thoroughly refereed proceedings of the 23rd International Conference on Concurrency Theory,...  Read More >>

This book constitutes the proceedings of the 13th International Workshop on Computational Logic in Multi-Agent Systems,...  Read More >>

High Performance Computational Methods for Biological Sequence Analysis presents biological sequence analysis using...  Read More >>

The papers represent the diversity and vitality in present ILP research including ILP theory, implementations, probabilistic...  Read More >>

The first strand is the research on time-varying parameters (TVP), the second strand is the work on adaptive control...  Read More >>

Down-scaling of the supply voltage is not only the most effective way to reduce power dissipation in general it...  Read More >>

This book constitutes the proceedings of the 14th International Workshop on Computer Algebra in Scientific Computing,...  Read More >>

This book constitutes the refereed proceedings of the 6th International Conference, COCOA 2012, held in Banff, Alberta,...  Read More >>

Conference papers are organized in 4 technical sessions, covering topics of hypercomputation, chaos and dynamical...  Read More >>

The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association...  Read More >>

This book constitutes the thoroughly refereed papers of the 17th International Conference on Implementation and...  Read More >>