Mathematical theory of computation books

The 14 contributed chapters in this book survey the most recent developments in high-performance algorithms for...  Read More >>

This book takes a formal approach to teaching software engineering, using not only UML, but also Object Constraint...  Read More >>

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

This Festschrift volume has been published in honor of Ed Brinksma, on the occasion of his 60th birthday. The contributions...  Read More >>

This book presents the latest research advances in complex network structure analytics based on computational intelligence...  Read More >>

Growth curve models in longitudinal studies are widely used to model population size, body height, biomass, fungal...  Read More >>

These methods do not require the agents to have the full information about the system, but instead allow them to...  Read More >>

This book constitutes the conference proceedings of the 5th International Conference on Algorithmic Decision Theory...  Read More >>

This book constitutes the refereed proceedings of the 40th Annual German Conference on Artificial Intelligence,...  Read More >>

The special volume offers a global guide to new concepts and approaches concerning the following topics: reduced...  Read More >>

This book constitutes the refereed proceedings of the 14th International Colloquium on Theoretical Aspects of Computing,...  Read More >>

 Read More >>

Dieses Buch behandelt einfache Beweismuster wie Fallunterscheidung, Allbeweis, Implikationsbeweis, komplexe Beweismuster...  Read More >>

This book constitutes the refereed proceedings of the 11th International Conference on Scalable Uncertainty Management,...  Read More >>

This book constitutes the thoroughly revised selected papers from the 14th International Conference on Formal Aspects...  Read More >>

 Read More >>

 Read More >>

 Read More >>

This book provides a unified view on a new methodology for Machine Translation (MT). In this book, a detailed presentation...  Read More >>

 Read More >>

This book discusses modern approaches and challenges of computer-aided design (CAD) of quantum circuits with a view...  Read More >>

This book constitutes the refereed proceedings of the 15th International Conference on Computational Methods in...  Read More >>

This book contains the proceedings of the 26th International Conference on Automated Reasoning with Analytics Tableaux...  Read More >>

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

This book constitutes the refereed proceedings of the Third International Workshop on Patch-Based Techniques in...  Read More >>