Verifiable Autonomous Systems : Using Rational Agents to Provide Assurance about Decisions Made by Machines
Louise A. Dennis
Download - Immediately Available
Format: eBook (PDF)
A Level Advancing Biology for OCR Year 1 and AS Student Book (OCR B)
Michael Fisher
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£40.25
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketA Level Advancing Biology for OCR B: Year 2
Michael Fisher
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£40.25
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketA Level Advancing Biology for OCR Student Book (OCR B)
Michael Fisher
Item not Available
Format: Book (Paperback / softback)
£55.00
Item not Available
Book (Paperback / softback)
An Introduction to Practical Formal Methods Using Temporal Logic
Michael Fisher
Download - Immediately Available
Format: eBook (EPUB)
An Introduction to Practical Formal Methods Using Temporal Logic
Michael Fisher
Download - Immediately Available
Format: eBook (PDF)
£85.00
£70.39
Item not Available
Book (Hardback)
The Present State of Ecclesiastical Architecture in England
Michael Fisher
Item not Available
Format: Book (Hardback)
£45.00
£36.65
Item not Available
Book (Hardback)
Contract Law in Hong Kong - An Introductory Guide
Michael Fisher
Item not Available
Format: Book (Hardback)
£74.00
£55.29
Item not Available
Book (Hardback)