Type Theory and Formal Proof : An Introduction
Rob (Technische Universiteit Eindhoven, The Netherlands) Nederpelt
In Stock - usually despatched within 24 hours
Format: Book (Hardback)
Distributed Algorithms : An Intuitive Approach
Wan (Professor of theoretical computer science at the Vrije U Fokkink
In Stock - usually despatched within 24 hours
Format: Book (Hardback)
Intermediate C Programming
Yung-Hsiang (Purdue University, West Lafayette, IN) Lu
In Stock - usually despatched within 24 hours
Format: Book (Paperback / softback)
£44.99
£42.45
In Stock - usually despatched within 24 hours
Book (Paperback / softback)
Add to BasketTrust Management in the Internet of Vehicles
Adnan (Macquarie University) Mahmood
In Stock - usually despatched within 24 hours
Format: Book (Hardback)
Discoverability in Digital Repositories : Systems, Perspectives, and User Studies
Liz (Head of Cataloging and Metadata Services at Utah State Woolcott
In Stock - usually despatched within 24 hours
Format: Book (Paperback / softback)
£29.99
£27.65
In Stock - usually despatched within 24 hours
Book (Paperback / softback)
Add to BasketApplications of Machine Learning in Big-Data Analytics and Cloud Computing
Dr. Subhendu Kumar (Principal, Krupajal Computer Academy, India) Pani
In Stock - usually despatched within 24 hours
Format: Book (Hardback)