Topological Duality for Distributive Lattices : Theory and Applications
Mai (Universite Cote d’Azur) Gehrke
Download - Immediately Available
Format: eBook (PDF)
Multiagent Systems : Algorithmic, Game-Theoretic, and Logical Foundations
Yoav Shoham
Download - Immediately Available
Format: eBook (PDF)
Introduction to Bisimulation and Coinduction
Davide Sangiorgi
Download - Immediately Available
Format: eBook (PDF)
Lambda-Calculus and Combinators : An Introduction
J. Roger Hindley
Download - Immediately Available
Format: eBook (PDF)
Logical Approach to Automatic Sequences : Exploring Combinatorics on Words with Walnut
Jeffrey Shallit
Download - Immediately Available
Format: eBook (PDF)
From Computing to Computational Thinking
Paul S. (Kent State University, OH, USA) Wang
Download - Immediately Available
Format: eBook (PDF)
Practical Cryptography : Algorithms and Implementations Using C++
Saiful Azad
Download - Immediately Available
Format: eBook (PDF)
DDoS Attacks : Evolution, Detection, Prevention, Reaction, and Tolerance
Dhruba Kumar (Tezpur University, Assam, India) Bhattacharyya
Download - Immediately Available
Format: eBook (PDF)
Sheaves in Geometry and Logic : A First Introduction to Topos Theory
Saunders MacLane
Download - Immediately Available
Format: eBook (PDF)
Interactive Theorem Proving and Program Development : Coq'Art: The Calculus of Inductive Constructions
Yves Bertot
Download - Immediately Available
Format: eBook (PDF)
None Syntacticism and Functional Completeness
Odysseus Makridis
Download - Immediately Available
Format: eBook (PDF)
Advancements in Cybercrime Investigation and Digital Forensics
A. Harisha
Download - Immediately Available
Format: eBook (PDF)
Advancements in Cybercrime Investigation and Digital Forensics
A. Harisha
Download - Immediately Available
Format: eBook (EPUB)
Cryptography for Payment Professionals
Ilya Dubinsky
Download - Immediately Available
Format: eBook (PDF)
Cryptography for Payment Professionals
Ilya Dubinsky
Download - Immediately Available
Format: eBook (EPUB)
Discrete Mathematics with Coding
Hugo D Junghenn
Download - Immediately Available
Format: eBook (PDF)
Discrete Mathematics with Coding
Hugo D Junghenn
Download - Immediately Available
Format: eBook (EPUB)
Philosophy of Mathematics in Antiquity and in Modern Times
Ulrich Felgner
Download - Immediately Available
Format: eBook (PDF)