Maths for computer scientists books

This book constitutes the proceedings of the Second IAPR International Conference on Discrete Geometry and Mathematical...  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 >>

This book constitutes the refereed proceedings of the 15th International Conference on Reachability Problems, RP...  Read More >>

 Read More >>

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

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

This book gathers papers presented at the Workshop on Computational Diffusion MRI, CDMRI 2020, held under the auspices...  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 >>

Dieses Lehrbuch liefert eine verständliche, aber dennoch kompakte Einführung in die Theoretische Informatik. Die...  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 >>

This book constitutes the refereed proceedings of the 45th German Conference on Artificial Intelligence, KI 2022,...  Read More >>

Unlike similar texts, it treats the MDA problems as optimization problems on matrix manifolds defined by the MDA...  Read More >>

This proceedings volume gathers selected, revised papers presented at the 51st Southeastern International Conference...  Read More >>

This book constitutes the proceedings of the 19th International Conference on Quantitative Evaluation Systems, QEST...  Read More >>

This monograph uses the Julia language to guide the reader through an exploration of the fundamental concepts of...  Read More >>

Collecting a set of classical and emerging methods that otherwise would not be available in a single treatment,...  Read More >>

It focuses on two aspects – one focuses on architecting a choice process to lead users on the certain choice path...  Read More >>

This volume explores the connections between mathematical modeling, computational methods, and high performance...  Read More >>

Part 3 (Chapters 11-16) introduces some advanced topics, covering feature selection and sparse learning, computational...  Read More >>

This book provides an up-to-date account of current research in quantum information theory, at the intersection...  Read More >>

These techniques are unique for the discretisation of first-kind integral equations since the resulting systems...  Read More >>