Topological Duality for Distributive Lattices : Theory and Applications
Mai (Universite Cote d’Azur) Gehrke
Download Now
Format: eBook (PDF)
The New Mathematical Coloring Book : Mathematics of Coloring and the Colorful Life of Its Creators
Alexander Soifer
Download Now
Format: eBook (EPUB)
Handbook of the History and Philosophy of Mathematical Practice
Bharath Sriraman
Download Now
Format: eBook (EPUB)
Mathematical Olympiad In China (2021-2022): Problems And Solutions
Xiong Bin Xiong
Download Now
Format: eBook (PDF)
Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction
Antonio Piccolomini d'Aragona
Download Now
Format: eBook (EPUB)
Bidirectional Comparison of Nominal Sets : Asymmetry of Proximity
Grazyna Szkatula
Download Now
Format: eBook (EPUB)
Mathematical Logic : On Numbers, Sets, Structures, and Symmetry
Roman Kossak
Download Now
Format: eBook (EPUB)
Origami Design Secrets : Mathematical Methods for an Ancient Art, Second Edition
Robert J. Lang
Download Now
Format: eBook (PDF)
Formal Methods in Computer Science
Jiacun (Monmouth University, West Long Branch, New Jersey, USA) Wang
Download Now
Format: eBook (PDF)
Multiagent Systems : Algorithmic, Game-Theoretic, and Logical Foundations
Yoav Shoham
Download Now
Format: eBook (PDF)
Introduction to Bisimulation and Coinduction
Davide (Universita di Bologna) Sangiorgi
Download Now
Format: eBook (PDF)
Combinatorial Games : Tic-Tac-Toe Theory
Jozsef (Rutgers University, New Jersey) Beck
Download Now
Format: eBook (PDF)
Computer Arithmetic and Formal Proofs : Verifying Floating-point Algorithms with the Coq System
Sylvie Boldo
Download Now
Format: eBook (EPUB)