Rigorous Software Development : An Introduction to Program Verification
Jose Bacelar Almeida
Download Now
Format: eBook (PDF)
Proofs and Algorithms : An Introduction to Logic and Computability
Gilles Dowek
Download Now
Format: eBook (PDF)
Core Concepts in Data Analysis: Summarization, Correlation and Visualization
Boris Mirkin
Download Now
Format: eBook (PDF)
Analysis for Computer Scientists : Foundations, Methods, and Algorithms
Michael Oberguggenberger
Download Now
Format: eBook (PDF)
Sensing and Systems in Pervasive Computing : Engineering Context Aware Systems
Dan Chalmers
Download Now
Format: eBook (PDF)
Introduction to Operating System Design and Implementation : The OSP 2 Approach
Michael Kifer
Download Now
Format: eBook (PDF)
Introduction to Computer Graphics : Using Java 2D and 3D
Frank Klawonn
Download Now
Format: eBook (PDF)
Principles of Digital Image Processing : Core Algorithms
Wilhelm Burger
Download Now
Format: eBook (PDF)
A Concise and Practical Introduction to Programming Algorithms in Java
Frank Nielsen
Download Now
Format: eBook (PDF)
Models of Computation : An Introduction to Computability Theory
Maribel Fernandez
Download Now
Format: eBook (PDF)
Principles of Digital Image Processing : Advanced Methods
Wilhelm Burger
Download Now
Format: eBook (PDF)