Programming Languages and Operational Semantics : A Concise Overview
Maribel Fernandez
Download Now
Format: eBook (PDF)
Designing Reliable Distributed Systems : A Formal Methods Approach Based on Executable Modeling in Maude
Peter Csaba Olveczky
Download Now
Format: eBook (EPUB)
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)