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 - 3 (of 3)
Refine
Bridging the Gap Between AI and Reality : First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings - Book

Bridging the Gap Between AI and Reality : First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings

Bernhard Steffen

Out of stock

Format: Book (Paperback / softback)

£59.99

£53.35

Out of stock

Book (Paperback / softback)

Add to Basket
Leveraging Applications of Formal Methods, Verification and Validation : 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17–29, 2021, Pro - Book

Leveraging Applications of Formal Methods, Verification and Validation : 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17–29, 2021, Pro

Tiziana Margaria

Available to Order - This title is available to order, with delivery expected within 2 weeks

Format: Book (Paperback / softback)

£59.99

£53.35

Available to Order - This title is available to order, with delivery expected within 2 weeks

Book (Paperback / softback)

Add to Basket
Correct System Design : Recent Insights and Advances - eBook

Correct System Design : Recent Insights and Advances

Ernst-Rudiger Olderog

Download - Immediately Available

Format: eBook (PDF)

£44.99

£38.24

Download - Immediately Available

eBook (PDF)

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