Interactive Theorem Proving and Program Development : Coq'Art: The Calculus of Inductive Constructions
Yves Bertot
Download Now
Format: eBook (PDF)
Introduction to Circuit Complexity : A Uniform Approach
Heribert Vollmer
Download Now
Format: eBook (PDF)
Algorithmics for Hard Problems : Introduction to Combinatorial Optimization, Randomization, Approximation, and Heuristics
Juraj Hromkovic
Download Now
Format: eBook (PDF)
Extremal Combinatorics : With Applications in Computer Science
Stasys Jukna
Download Now
Format: eBook (PDF)
Universal Artificial Intelligence : Sequential Decisions Based on Algorithmic Probability
Marcus Hutter
Download Now
Format: eBook (PDF)
Abstract Computing Machines : A Lambda Calculus Perspective
Werner Kluge
Download Now
Format: eBook (PDF)
Software Engineering 3 : Domains, Requirements, and Software Design
Dines Bjorner
Download Now
Format: eBook (PDF)
Graphs and Algorithms in Communication Networks : Studies in Broadband, Optical, Wireless and Ad Hoc Networks
Arie Koster
Download Now
Format: eBook (PDF)