Maths for computer scientists books

This volume constitutes the refereed proceedings of the 37th International Symposium on Mathematical Foundations...  Read More >>

In this book, some fifteen well-known data mining professionals give their answers to such questions as What are...  Read More >>

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the...  Read More >>

This book constitutes the joint refereed proceedings of the 15th International Workshop on Approximation Algorithms...  Read More >>

In many cases, there is a recursive construction, so that the existence of a small number of ""starter"" designs...  Read More >>

This book constitutes the refereed proceedings of the 4th International Workshop on the Arithmetic of Finite Field,...  Read More >>

This book constitutes the refereed proceedings of the 15th and 16th International Conference on Formal Grammar 2010...  Read More >>

This book constitutes the refereed proceedings of the first Workshop on Applications of Discrete Geometry and Mathematical...  Read More >>

This book constitutes the refereed proceedings of the 13th International Scandinavian Symposium and Workshops on...  Read More >>

This book constitutes the refereed proceedings of the 23rd Annual Symposium on Combinatorial Pattern Matching, CPM...  Read More >>

This book constitutes the refereed proceedings of the 5th International Workshop on Biomedical Image Registration,...  Read More >>

The typical areas include distributed computing, communication networks, game theory, parallel computing, social...  Read More >>

Constitutes the refereed proceedings of the 6th International Joint Conference on Automated Reasoning, IJCAR 2012,...  Read More >>

This book constitutes the refereed proceedings of the 11th International Conference on Mathematics of Program Construction,...  Read More >>

This book constitutes the refereed proceedings of the 33rd International Conference on Applications and Theory of...  Read More >>

 Read More >>

describes algorithms for mesh smoothing, mesh parametrization, and mesh optimization and simplification; investigates...  Read More >>

This book constitutes the refereed proceedings of the Turing Centenary Conference and the 8th Conference on Computability...  Read More >>

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

Constitutes the joint refereed proceedings of the 11th International Conference on Artificial Intelligence and Symbolic...  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 >>

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

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

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

This book contains the refereed proceedings of the International Conference on Modeling and Simulation in Engineering,...  Read More >>