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
Item not Available
Format: Book (Paperback / softback)
£54.99
£46.05
Item not Available
Book (Paperback / softback)
Software Configuration Management Using Vesta
Clark Allan Heydon
Item not Available
Format: Book (Hardback)
£104.00
£90.55
Item not Available
Book (Hardback)
Evolutionary Synthesis of Pattern Recognition Systems
Bir Bhanu
Item not Available
Format: Book (Hardback)
£139.99
£120.95
Item not Available
Book (Hardback)
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)