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
Theory and Applications of Satisfiability Testing - SAT 2008 : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings - Book

Theory and Applications of Satisfiability Testing - SAT 2008 : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings

Hans Kleine Buning

Item not Available

Format: Book (Paperback / softback)

£62.99

£52.35

Item not Available

Book (Paperback / softback)

Item not Available
Theory and Applications of Satisfiability Testing - SAT 2008 : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings - eBook

Theory and Applications of Satisfiability Testing - SAT 2008 : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings

Hans Kleine Buning

Download - Immediately Available

Format: eBook (PDF)

£44.99

£38.24

Download - Immediately Available

eBook (PDF)

Add to Basket
Proceedings Of The 13th Asian Logic Conference - Book

Proceedings Of The 13th Asian Logic Conference

Xishun (Sun Yat-sen Univ, China) Zhao

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

Format: Book (Hardback)

£99.00

£94.35

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

Book (Hardback)

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