Free Delivery Over $100
3208 books were found.
This book constitutes the proceedings of the 19th International Conference on Quantitative Evaluation Systems, QEST... Read More >>
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 >>
This two-volume set LNCS 13398 and LNCS 13399 constitutes the refereed proceedings of the 17th International Conference... Read More >>
This book constitutes the proceedings of the 24th International Workshop on Computer Algebra in Scientific Computing,... Read More >>
Providing an introduction to MATLAB, this book describes the computational and visualization capabilities of MATLAB.... Read More >>
This textbook is designed for undergraduate students taking a course on the mathematical foundations of computer... Read More >>
This book constitutes the refereed post-conference proceedings of the 17th International Conference on Advances... Read More >>
This book includes extended and revised versions of selected papers from the 9th and 10th edition of the International... Read More >>
This book constitutes selected papers from the refereed proceedings of the 14th International Workshop on Rewriting... Read More >>
Reverse mathematics studies the complexity of proving mathematical theorems and solving mathematical problems. Read More >>
Lattice rules are a powerful and popular form of quasi-Monte Carlo rules based on multidimensional integration lattices.... Read More >>
This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Workshop on... Read More >>
This book constitutes the refereed proceedings of the Third International Conference on Next Generation Arithmetic,... Read More >>
This book provides a hands-on introduction to runtime verification which guides the reader from zero to sufficient... Read More >>
Presented using Mathematica code, the book is fully supported by downloadable sessions in Mathematica, Maple, and... Read More >>
This book constitutes the refereed proceedings of the 15th International Conference on Graph Transformation, ICGT... Read More >>