Computer Systems : Theory, Technology, and Applications
Andrew James Herbert
Download - Immediately Available
Format: eBook (PDF)
Reverse Engineering of Object Oriented Code
Paolo Tonella
Download - Immediately Available
Format: eBook (PDF)
Evolutionary Synthesis of Pattern Recognition Systems
Bir Bhanu
Download - Immediately Available
Format: eBook (PDF)
Abstraction, Refinement and Proof for Probabilistic Systems
Annabelle McIver
Download - Immediately Available
Format: eBook (PDF)
Adapting Proofs-as-Programs : The Curry--Howard Protocol
Iman Poernomo
Download - Immediately Available
Format: eBook (PDF)
Software Configuration Management Using Vesta
Clark Allan Heydon
Download - Immediately Available
Format: eBook (PDF)
Parsing Techniques : A Practical Guide
Dick Grune
Download - Immediately Available
Format: eBook (PDF)
Numerical Geometry of Non-Rigid Shapes
Alexander M. Bronstein
Download - Immediately Available
Format: eBook (PDF)
First-Order Logic and Automated Theorem Proving
Melvin Fitting
Download - Immediately Available
Format: eBook (PDF)
A Discipline of Multiprogramming : Programming Theory for Distributed Applications
Jayadev Misra
Download - Immediately Available
Format: eBook (PDF)
A Practical Theory of Programming
Eric C.R. Hehner
Download - Immediately Available
Format: eBook (PDF)
Active Rules in Database Systems
Norman W. Paton
Download - Immediately Available
Format: eBook (PDF)
Computational Geometry : An Introduction
Franco P. Preparata
Download - Immediately Available
Format: eBook (PDF)
Expert Systems and Probabilistic Network Models
Enrique Castillo
Download - Immediately Available
Format: eBook (PDF)
ML with Concurrency : Design, Analysis, Implementation, and Application
Flemming Nielson
Download - Immediately Available
Format: eBook (PDF)
Larch: Languages and Tools for Formal Specification
John V. Guttag
Download - Immediately Available
Format: eBook (PDF)
What Computing Is All About
Jan L.A.van de Snepscheut
Download - Immediately Available
Format: eBook (PDF)