Logics in Artificial Intelligence : 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings
Francesco Calimeri
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£84.99
£60.04
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
On the Move to Meaningful Internet Systems: OTM 2019 Conferences : Confederated International Conferences: CoopIS, ODBASE, C&TC 2019, Rhodes, Greece, October 21–25, 2019, Proceedings
Herve Panetto
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£79.99
£56.80
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
New Opportunities for Software Reuse : 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings
Rafael Capilla
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£109.99
£76.27
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Interactive Theorem Proving : 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings
Jeremy Avigad
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£79.99
£56.80
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Static Analysis : 30th International Symposium, SAS 2023, Cascais, Portugal, October 22–24, 2023, Proceedings
Manuel V. Hermenegildo
Unavailable
Format: Book (Paperback / softback)
£69.99
£50.26
Unavailable
Book (Paperback / softback)