Proofs and Refutations : The Logic of Mathematical Discovery
Imre Lakatos
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)
Interactive Theorem Proving and Program Development : Coq'Art: The Calculus of Inductive Constructions
Yves Bertot
Download Now
Format: eBook (PDF)
DDoS Attacks : Evolution, Detection, Prevention, Reaction, and Tolerance
Dhruba Kumar (Tezpur University, Assam, India) Bhattacharyya
Download Now
Format: eBook (PDF)
Sheaves in Geometry and Logic : A First Introduction to Topos Theory
Saunders MacLane
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)
Games for Your Mind : The History and Future of Logic Puzzles
Jason Rosenhouse
Download Now
Format: eBook (EPUB)
Relational Mathematics
Gunther (Universitat der Bundeswehr Munchen) Schmidt
Download Now
Format: eBook (PDF)
Logical Approach to Automatic Sequences : Exploring Combinatorics on Words with Walnut
Jeffrey Shallit
Download Now
Format: eBook (PDF)
In Pursuit of the Traveling Salesman : Mathematics at the Limits of Computation
William J. Cook
Download Now
Format: eBook (EPUB)
Proofs and Refutations : The Logic of Mathematical Discovery
Imre Lakatos
Download Now
Format: eBook (EPUB)
Wahrheit, Beweis, Unendlichkeit : Eine mathematische Reise zu den vielseitigen Auswirkungen der Unendlichkeit
John Stillwell
Download Now
Format: eBook (EPUB)