Publisher: Springer

There are several theories of programming. The first usable theory, often called "Hoare's Logic", is still probably the most widely known. In it, a specification is a pair of predicates:...

Now available in Open Access, this best-selling textbook for a second course in linear algebra is aimed at undergraduate math majors and graduate students. The fourth edition gives an expanded...

This book guides its audience—which can range from novice users to experts— though a 55-chapter tour of Google Earth Engine. A sequenced and diverse set of lab materials, this is...

This open access book presents a rich set of innovative solutions for artificial intelligence (AI) in manufacturing. The various chapters of the book provide a broad coverage of AI systems...

This course-based open access textbook delves into percolation theory, examining the physical properties of random media—materials characterized by varying sizes of holes and pores. The focus is on both the...

This leading textbook provides a comprehensive introduction to the fields of pattern recognition and machine learning. It is aimed at advanced undergraduates or first-year PhD students, as well as researchers...

Organisms, or organized, living, systems. What's their origin? Why and how did they evolve? The Amazing Journey of Reason analyses the evolution of  complex structures in the universe -from the...

An Introduction to Statistical Learning provides an accessible overview of the field of statistical learning, an essential toolset for making sense of the vast and complex data sets that have emerged...

An Introduction to Statistical Learning provides an accessible overview of the field of statistical learning, an essential toolset for making sense of the vast and complex data sets that have emerged...