Free Delivery Over $100
3202 books were found.
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 >>
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 >>
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 >>
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 >>
