Maths for computer scientists books

Chance is uncanny to us. We thought it didn't exist, that God or a reasonable explanation was behind everything....  Read More >>

 Read More >>

 Read More >>

Using a novel integration of mathematics and Python codes, this book illustrates the fundamental concepts that link...  Read More >>

 Read More >>

 Read More >>

explains the fundamentals of automata theory, matrices, graph theory, cryptography, coding theory, language theory,...  Read More >>

By examining and comparing different languages, the book is also helpful for mathematicians and practitioners in...  Read More >>

This book describes some basic principles that allow developers of computer programs (computer scientists, software...  Read More >>

This book constitutes the proceedings of the Second IAPR International Conference on Discrete Geometry and Mathematical...  Read More >>

This book constitutes revised selected papers from the thoroughly refereed workshop proceedings of the 20th International...  Read More >>

The two-volume Proceedings set CCIS 1637 and 1638 constitutes the refereed proceedings of the Third International...  Read More >>

This book constitutes the proceedings of the 9th International Conference on Algebraic Informatics, CAI 2022, held...  Read More >>

This textbook introduces graph algorithms on an intuitive basis followed by a detailed exposition using structured...  Read More >>

 Read More >>

 Read More >>

This LNCS 13453 constitutes the thoroughly refereed proceedings of the 48th International Workshop on Graph-Theoretic...  Read More >>

This book gathers papers presented at the Workshop on Computational Diffusion MRI, CDMRI 2020, held under the auspices...  Read More >>

This book constitutes refereed proceedings of the 21st International Conference on Mathematical Optimization Theory...  Read More >>

Readers will learn how to automatically prove or disprove new results in combinatorics and number theory in milliseconds...  Read More >>

The focus of these conference proceedings is on research, development, and applications in the fields of numerical...  Read More >>

 Read More >>

This primer on mathematics formalisation provides a rapid, hands-on introduction to proof verification in Lean....  Read More >>

This book constitutes refereed proceedings of the 2nd International Conference on Computer and Communication Engineering,...  Read More >>

This book constitutes the proceedings of the 16th International Conference on Algorithmic Aspects in Information...  Read More >>