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)
First-Order Logic and Automated Theorem Proving
Melvin Fitting
Download - Immediately Available
Format: eBook (PDF)
Set Theory for Computing : From Decision Procedures to Declarative Programming with Sets
Domenico Cantone
Download - Immediately Available
Format: eBook (PDF)
Panoramic Vision : Sensors, Theory, and Applications
Ryad Benosman
Download - Immediately Available
Format: eBook (PDF)
A Logical Approach to Discrete Math
David Gries
Download - Immediately Available
Format: eBook (PDF)
An Introduction to Kolmogorov Complexity and Its Applications
Ming Li
Download - Immediately Available
Format: eBook (PDF)
High Performance Discovery In Time Series : Techniques and Case Studies
New York University
Download - Immediately Available
Format: eBook (PDF)
Verification of Sequential and Concurrent Programs
Krzysztof R. Apt
Download - Immediately Available
Format: eBook (PDF)
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)