Mathematical theory of computation books

This book constitutes the refereed proceedings of the 14th International Conference on Coordination Models and Languages,...  Read More >>

Parameterized complexity is currently a thriving field in complexity theory and algorithm design.  Read More >>

Constitutes the proceedings of the 14th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based...  Read More >>

This festschrift volume, published in honor of Bernd Krämer on the occasion of his 65th birthday, contains 11 contributions...  Read More >>

Constitutes the joint refereed proceedings of the 11th International Conference on Artificial Intelligence and Symbolic...  Read More >>

Constitutes the refereed proceedings of the 7th International Conference on Logical Aspects of Computational Linguistics,...  Read More >>

7331 and 7332, constitute the proceedings of the Third International Conference on Swarm Intelligence, ICSI 2012,...  Read More >>

7331 and 7332, constitute the Proceedings of the Third International conference on Swarm Intelligence, ICSI 2012,...  Read More >>

This book is the first cohesive treatment of ITL algorithms to adapt linear or nonlinear learning machines both...  Read More >>

We know from many reviews and personal letters that the book is used in a wide range of ways: researchers use it...  Read More >>

 Read More >>

This book constitutes the refereed proceedings of the 26th European Conference on Object-Oriented Programming, ECOOP...  Read More >>

This book constitutes the refereed proceedings of the 17th Ada-Europe International Conference on Reliable Software...  Read More >>

This state-of-the-art survey features topics related to the impact of multicore, manycore, and coprocessor technologies...  Read More >>

This book constitutes revised and selected papers of the 9th European Workshop on Reinforcement Learning, EWRL 2011,...  Read More >>

This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on...  Read More >>

This book constitutes the refereed proceedings of the 19th International Conference on Analytical and Stochastic...  Read More >>

Consequently, the book can be read from various points of view: that of requiring an overview of theories and theoretical...  Read More >>

Knowledge representation systems based on description logics provide various inference capabilities that deduce...  Read More >>

Further, the kind and level of sophistication of mathematics applied in various sciences has changed drastically...  Read More >>

This book constitutes the refereed proceedings of the 9th International Conference on Integration of AI and OR Techniques...  Read More >>

The book constitutes the refereed proceedings of the 11th International Conference on Software Composition, SC 2012,...  Read More >>

This book constitutes the refereed proceedings of the 6th International Conference on Test and Proofs, TAP 2012,...  Read More >>

This book constitutes the refereed proceedings of the 5th International Conference, ICMT 2012, held in Prague, Czech...  Read More >>

This book constitutes the proceedings of the 7th International Computer Science Symposium in Russia, CSR 2012, held...  Read More >>