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 …
Starting from the premise that understanding the foundations of concurrent programming is key to developing distributed computing systems, this book …
Geotechnical Engineering Calculations Manual offers geotechnical, civil and structural engineers a concise, easy-to-understand approach the formulas and calculation methods used …
The third edition of this well known text continues to provide a solid foundation in mathematical analysis for undergraduate and …
This book is intended as the text for the introductory course of Soil Mechanics in the Department of Civil Engineering …
Logic is sometimes called the foundation of mathematics: the logician studies the kinds of reasoning used in the individual steps …
The core of Volume 3 consists of lecture notes for seven sets of lectures Hilbert gave (often in collaboration with …
Foundations and Applications of MIS presents a unique systems theory approach to management information system (MIS) development. It covers an …
Principia Mathematica was first published in 1910-1913; this is the fifth impression of the second edition of 1925-1927. The Principia …
The great three-volume Principia Mathematica (CUP 1927) is deservedly the most famous work ever written on the foundations of mathematics. …
This book is intended to give a serious and reasonably complete introduction to algebraic geometry, not just for (future) experts …
Foundational questions in logic, mathematics, computer science and physics are constant sources of epistemological debate in contemporary philosophy. To what …
How to reveal, characterize, and exploit the structure in data? Meeting this central challenge of modern data science requires the …
In elementary introductions to mathematical analysis, the treatment of the logical and algebraic foundations of the subject is necessarily rather …
Fascinating study considers the origins and nature of mathematics, its development and role in the history of scientific thinking, impact …
This book makes available to the English reader nearly all of the shorter philosophical works, published or unpublished, that Husserl …
This book offers a homogeneous presentation of the many faces of non-equilibrium thermodynamics. The first part is devoted to a …
Our time is characterized by an explosion of information and by an accel- ation of knowledge. A book cannot compete …
Mastering Cloud Computing is designed for undergraduate students learning to develop cloud computing applications. Tomorrows applications won’t live on a …
A Classical Introduction to Cryptography: Applications for Communications Security introduces fundamentals of information and communication security by providing appropriate mathematical …
A cryptographic scheme is constructed so as to maintain a desired functionality, even under malicious attempts aimed at making it …
This book presents the classic relative consistency proofs in set theory that are obtained by the device of 'inner models'. …
Set theory, logic and category theory lie at the foundations of mathematics, and have a dramatic effect on the mathematics …
