Optimisation, or mathematical programming, is a fundamental subject within decision science and operations research, in which mathematical decision models are …
AIPython contains runnable code for the book Artificial Intelligence, foundations of computational agents, 3rd Edition[Poole and Mackworth, 2023]. It has …
Selected as a Doody's Core Title for 2022!Build your Foundation of Basic Science – from Research to Clinical Application and …
The remarkable progress in computer vision over the last few years is, by and large, attributed to deep learning, fueled …
This book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, …
This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in …
This book constitutes the refereed proceedings of the 20th Brazilian Symposium on Formal Methods, SBMF 2017, which took place in …
This book constitutes the refereed proceedings of the 21st Brazilian Symposium on Formal Methods, SBMF 2018, which took place in …
This book constitutes the refereed proceedings of the 23rd Brazilian Symposium on Formal Methods, SBMF 2020, which was supposed to …
This book constitutes the refereed proceedings of the 25th Brazilian Symposium on Formal Methods, SBMF 2022, which was held virtually …
This book constitutes the refereed proceedings of the 24rd Brazilian Symposium on Formal Methods, SBMF 2021, which was held in …
Models of Time and Space from Astrophysics and World Cultures explores how our conceptions of time, space, and the physical …
Michael Potter presents a comprehensive new philosophical introduction to set theory. Anyone wishing to work on the logical foundations of …
