Please note: In order to keep Hive up to date and provide users with the best features, we are no longer able to fully support Internet Explorer. The site is still available to you, however some sections of the site may appear broken. We would encourage you to move to a more modern browser like Firefox, Edge or Chrome in order to experience the site fully.

Supporting your high street Find out how »
Showing 1 - 17 (of 17)
Refine
Type Theory and Formal Proof : An Introduction - Book

Type Theory and Formal Proof : An Introduction

Rob (Technische Universiteit Eindhoven, The Netherlands) Nederpelt

In Stock - usually despatched within 24 hours

Format: Book (Hardback)

£66.99

In Stock - usually despatched within 24 hours

Book (Hardback)

Add to Basket
Distributed Algorithms : An Intuitive Approach - Book

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)

£48.00

£36.25

In Stock - usually despatched within 24 hours

Book (Hardback)

Add to Basket
Trust Management in the Internet of Vehicles - Book

Trust Management in the Internet of Vehicles

Adnan (Macquarie University) Mahmood

In Stock - usually despatched within 24 hours

Format: Book (Hardback)

£48.99

£45.29

In Stock - usually despatched within 24 hours

Book (Hardback)

Add to Basket
Decision Support System and Automated Negotiations - Book

Decision Support System and Automated Negotiations

Debajyoti (WIDiCoReL Research Lab, Thane, Maharashtra, I Mukhopadhyay

In Stock - usually despatched within 24 hours

Format: Book (Hardback)

£89.99

£89.69

In Stock - usually despatched within 24 hours

Book (Hardback)

Add to Basket
Parallel and Distributed Processing Techniques and Applications - eBook

Parallel and Distributed Processing Techniques and Applications

Arabnia, Hamid R.

Download - Immediately Available

Format: eBook (PDF)

£127.00

£69.85

Download - Immediately Available

eBook (PDF)

Add to Basket
Modelling And Simulation Of Robot Manipulators: A Parallel Processing Approach - eBook

Modelling And Simulation Of Robot Manipulators: A Parallel Processing Approach

Husband Tom Husband

Download - Immediately Available

Format: eBook (PDF)

£28.00

£22.40

Download - Immediately Available

eBook (PDF)

Add to Basket
Quantitative Logic And Soft Computing - Proceedings Of The Ql&sc 2012 - eBook

Quantitative Logic And Soft Computing - Proceedings Of The Ql&sc 2012

Li Yongming Li

Download - Immediately Available

Format: eBook (PDF)

£78.00

£62.40

Download - Immediately Available

eBook (PDF)

Add to Basket
Fuzzy Decision Making In Modeling And Control - eBook

Fuzzy Decision Making In Modeling And Control

Sousa Joao M Costa Sousa

Download - Immediately Available

Format: eBook (PDF)

£37.00

£29.60

Download - Immediately Available

eBook (PDF)

Add to Basket
Obstacle Avoidance In Multi-robot Systems, Experiments In Parallel Genetic Algorithms - eBook

Obstacle Avoidance In Multi-robot Systems, Experiments In Parallel Genetic Algorithms

Gill Mark A C Gill

Download - Immediately Available

Format: eBook (PDF)

£19.00

£15.20

Download - Immediately Available

eBook (PDF)

Add to Basket
Non-deterministic Concurrent Logic Programming In Pandora - eBook

Non-deterministic Concurrent Logic Programming In Pandora

Bahgat Reem Bahgat

Download - Immediately Available

Format: eBook (PDF)

£33.00

£26.40

Download - Immediately Available

eBook (PDF)

Add to Basket
Language Architectures And Programming Environments - eBook

Language Architectures And Programming Environments

Baiardi F Baiardi

Download - Immediately Available

Format: eBook (PDF)

£33.00

£26.40

Download - Immediately Available

eBook (PDF)

Add to Basket
Mathematical Foundations Of Parallel Computing - eBook

Mathematical Foundations Of Parallel Computing

Voevodin V V Voevodin

Download - Immediately Available

Format: eBook (PDF)

£40.00

£32.00

Download - Immediately Available

eBook (PDF)

Add to Basket
The TOGAF (R) Standard, Version 9.2 - eBook

The TOGAF (R) Standard, Version 9.2

The Open Group

Download - Immediately Available

Format: eBook (PDF)

£82.79

£66.23

Download - Immediately Available

eBook (PDF)

Add to Basket
Type Theory and Formal Proof : An Introduction - eBook

Type Theory and Formal Proof : An Introduction

Rob (Technische Universiteit Eindhoven, The Netherlands) Nederpelt

Download - Immediately Available

Format: eBook (PDF)

£66.99

£56.94

Download - Immediately Available

eBook (PDF)

Add to Basket
How to Set Up Information Systems : A Non-specialist's Guide to the Multiview Approach - eBook

How to Set Up Information Systems : A Non-specialist's Guide to the Multiview Approach

Simon (Bayswater Institute, London, UK and the Open University, Bell

Download - Immediately Available

Format: eBook (PDF)

£54.99

£49.49

Download - Immediately Available

eBook (PDF)

Add to Basket
What Every Engineer Should Know About Modeling and Simulation - eBook

What Every Engineer Should Know About Modeling and Simulation

Raymond J. (Naval Postgraduate School, Monterey, California, Madachy

Download - Immediately Available

Format: eBook (EPUB)

£54.99

£49.49

Download - Immediately Available

eBook (EPUB)

Add to Basket
Applications of Machine Learning in Big-Data Analytics and Cloud Computing - Book

Applications 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)

£94.99

£94.35

In Stock - usually despatched within 24 hours

Book (Hardback)

Add to Basket
Showing 1 - 17 (of 17)
Refine