Topological Duality for Distributive Lattices : Theory and Applications
Mai 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)
Universal Logic, Ethics, and Truth : Essays in Honor of John Corcoran (1937-2021)
Timothy J. Madigan
Download Now
Format: eBook (EPUB)
Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction
Antonio Piccolomini d'Aragona
Download Now
Format: eBook (EPUB)
Mathematical Logic : On Numbers, Sets, Structures, and Symmetry
Roman Kossak
Download Now
Format: eBook (EPUB)
Tale Of Discrete Mathematics, A: A Journey Through Logic, Reasoning, Structures And Graph Theory
Khoury Joseph Khoury
Download Now
Format: eBook (EPUB)
Mathematical Foundations Of Information Sciences
Haghverdi Esfandiar Haghverdi
Download Now
Format: eBook (EPUB)
Multiagent Systems : Algorithmic, Game-Theoretic, and Logical Foundations
Yoav Shoham
Download Now
Format: eBook (PDF)
Interactive Theorem Proving and Program Development : Coq'Art: The Calculus of Inductive Constructions
Yves Bertot
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)
DDoS Attacks : Evolution, Detection, Prevention, Reaction, and Tolerance
Dhruba Kumar (Tezpur University, Assam, India) Bhattacharyya
Download Now
Format: eBook (PDF)
From Computing to Computational Thinking
Paul S. (Kent State University, OH, USA) Wang
Download Now
Format: eBook (PDF)
Practical Cryptography : Algorithms and Implementations Using C++
Saiful Azad
Download Now
Format: eBook (PDF)