Mathematical theory of computation books

This book constitutes the refereed proceedings of the 6th International Conference on Evolutionary Multi-Criterion...  Read More >>

Constitutes the refereed proceedings of the First International ICST Conference on Theory and Practice of Algorithms...  Read More >>

Triangular arrays are a unifying thread throughout various areas of discrete mathematics such as number theory and...  Read More >>

 Read More >>

This book constitutes the thoroughly refereed post-proceedings of the 23rd International Workshop on Languages and...  Read More >>

The growing capabilities in generating and collecting data has risen an urgent need of new techniques and tools...  Read More >>

The papers address the following topics: internet applications and services, artificial intelligence, bioinformatics,...  Read More >>

Addresses various ways computability and theoretical computer science enable scientists and philosophers to deal...  Read More >>

This book constitutes the refereed proceedings of the International Conference on Information Systems for Indian...  Read More >>

This book constitutes the thoroughly refereed proceedings of the 14th International Conference on Practice and Theory...  Read More >>

Scientific computing is about developing mathematical models, numerical methods and computer implementations to...  Read More >>

The main theme of this book deals with fundamental concepts underlying stochastic signal or linear stochastic systems,...  Read More >>

Der Band liefert eine Einfuhrung in die numerische Stroemungssimulation im Bau- und Wasserwesen. In Teil 2 werden...  Read More >>

This book constitutes the thoroughly refereed post-conferenceproceedings of the 9th International Conference on...  Read More >>

This book constitutes the thoroughly refereed post-proceedings of the Third International Conference on Software...  Read More >>

the articles shed light on the role of Ludics in the study of speech acts, inferential semantics, game-theoretical...  Read More >>

Filling the gap between introductory and encyclopedic treatments, this book provides rich and appealing material...  Read More >>

 Read More >>

 Read More >>

 Read More >>

We are very pleased to introduce Open Source Development, Communities and Quality. The International Conference...  Read More >>

This book constitutes the proceedings of the 5th International Workshop on Algorithms and Computation, WALCOM 2011,...  Read More >>

The main claim is that the model identification process involves several equally important steps: finding the model...  Read More >>

Christian Herde deals with the development of decision procedures as needed, e.g., for automatic verification of...  Read More >>

The papers address all current issues, challenges and future directions of verification for hardware, software,...  Read More >>