Adapting Proofs-as-Programs : The Curry--Howard Protocol
Iman Poernomo
Item not Available
Format: Book (Hardback)
£132.00
£114.25
Item not Available
Book (Hardback)
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)
Abstraction, Refinement and Proof for Probabilistic Systems
Annabelle McIver
Item not Available
Format: Book (Hardback)
£139.99
£120.95
Item not Available
Book (Hardback)
Reverse Engineering of Object Oriented Code
Paolo Tonella
Item not Available
Format: Book (Hardback)
£119.99
£104.05
Item not Available
Book (Hardback)
Parsing Techniques : A Practical Guide
Dick Grune
Download - Immediately Available
Format: eBook (PDF)
Numerical Geometry of Non-rigid Shapes
Alexander M. Bronstein
Item not Available
Format: Book (Hardback)
£59.99
£49.55
Item not Available
Book (Hardback)
Numerical Geometry of Non-Rigid Shapes
Alexander M. Bronstein
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)
Mathematical Foundations of Computer Science : Sets, Relations, and Induction
Peter A. Fejer
Download - Immediately Available
Format: eBook (PDF)
Predicate Calculus and Program Semantics
Edsger W. Dijkstra
Download - Immediately Available
Format: eBook (PDF)
Object-Oriented Database Programming
Suad Alagic
Download - Immediately Available
Format: eBook (PDF)
The Design and Analysis of Algorithms
Dexter C. Kozen
Download - Immediately Available
Format: eBook (PDF)
