Mathematical theory of computation books

This Festschrift volume is published in honor of Dexter Kozen on the occasion of his 60th birthday. The volume includes...  Read More >>

Focusing on ways to bridge the gap between formal and more intuitive software programming, this carefully graded...  Read More >>

These papers cover the areas related to phonology, morphology and POS-Tagging, acquisition, language resources,...  Read More >>

Since the 1920s, ""risk assessments"" of various kinds have been used in parole hearings, but the current availability...  Read More >>

There are two aspects to the theory of Boolean algebras; Chapter...  Read More >>

Here, notation is not so much used in the sense of ""syntactic sugar"", but rather in the sense of abstract syntax,...  Read More >>

The book comprises an assembly of benchmarks and examples for porous media mechanics collected over the last twenty...  Read More >>

 Read More >>

This book constitutes the refereed proceedings of the 9th International Conference on Information in Cells and Tissues,...  Read More >>

The papers are organized in topical section on models of programs and systems, software specification, validation...  Read More >>

A collection of papers from Paul Hertz to Dov Gabbay - through Tarski, Gödel, Kripke - giving a general perspective...  Read More >>

This book constitutes the refereed proceedings of the International Conference on the Applications of Evolutionary...  Read More >>

 Read More >>

Constitutes the proceedings of the 10th Latin American Symposium on Theoretical Informatics, LATIN 2012, held in...  Read More >>

Constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on Approximation and Online...  Read More >>

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

 Read More >>

The present work originates in a course given by the authors during the last few years in various university departments...  Read More >>

 Read More >>

Prominent examples of metaheuristics are evolutionary algorithms, simulated annealing, tabu search, scatter search,...  Read More >>

This book constitutes the refereed proceedings of the First International Conference on Biologically Inspired Music,...  Read More >>

This book presents 12 papers on Petri nets and other models of concurrency, ranging from theoretical work to tool...  Read More >>

This book presents the NeOn Methodology Framework, which includes nine scenarios for collaboratively building ontologies...  Read More >>

Constitutes the thoroughly refereed post-conference proceedings of the 6th International Symposium on Parameterized...  Read More >>

This book deals with several topics in algebra useful for computer science applications and the symbolic treatment...  Read More >>