Free Delivery Over $100
11059 books were found.
This text for graduate students and researchers gives a complete coverage of the field with mathematical rigour,... Read More >>
Read More >>
This book constitutes the proceedings of the 24th International Conference on Formal Methods for Industrial Critical... Read More >>
This textbook is an introduction to the use of formal methods ranging from semantics of key programming constructs... Read More >>
Machine learning methods are now an important tool for scientists, researchers, engineers and students in a wide... Read More >>
This book constitutes the refereed proceedings of the 21st International Workshop on Computer Algebra in Scientific... Read More >>
This two-volume set of LNCS 11643 and LNCS 11644 constitutes - in conjunction with the volume LNAI 11645 - the refereed... Read More >>
They discuss different facets of decision processes in a broad sense and present research in data science, data... Read More >>
This thesis deals with topological orders from two different perspectives: from a condensed matter point of view,... Read More >>
This book constitutes the proceedings of the 25th International Conference on Computing and Combinatorics, COCOON... Read More >>
This book constitutes the refereed and revised post-conference proceedings of the 7th International Workshop on... Read More >>
The last of three volumes which examines the work of the mathematician A.N. Kolmogorov. This volume contains original... Read More >>
This two-volume set, LNCS 11641 and 11642, constitutes the thoroughly refereed proceedings of the Third International... Read More >>
This book investigates the characteristics of simple versus complex systems, and what the properties of a cyber-physical... Read More >>
Machine learning for beginner's book provides getting started knowledge about machine learning projects. Based on... Read More >>
This book constitutes the proceedings of the 15th International Conference on Parallel Computing Technologies, PaCT... Read More >>
This book presents an English translation of a classic Russian text on duality theory for Heyting algebras. Read More >>