Foundations of Probabilistic Programming
Gilles Barthe
In Stock - usually despatched within 24 hours
Format: Book (Hardback)
Methods and Procedures for Building Sustainable Farming Systems : Application in the European Context
Ana Alexandra Marta-Costa
Download - Immediately Available
Format: eBook (PDF)
Intelligent Technologies for Interactive Entertainment : 9th International Conference, INTETAIN 2017, Funchal, Portugal, June 20-22, 2017, Proceedings
Yoram Chisik
Item not Available
Format: Book (Paperback / softback)
£37.99
£32.79
Item not Available
Book (Paperback / softback)
Foundations of Probabilistic Programming
Gilles Barthe
Download - Immediately Available
Format: eBook (PDF)
Creativity and HCI: From Experience to Design in Education : Selected Contributions from HCIEd 2007, March 29-30, 2007, Aveiro, Portugal
Paula Kotze
Item not Available
Format: Book (Hardback)
£99.99
£81.69
Item not Available
Book (Hardback)
Creativity and HCI: From Experience to Design in Education : Selected Contributions from HCIEd 2007, March 29-30, 2007, Aveiro, Portugal
Paula Kotze
Download - Immediately Available
Format: eBook (PDF)
Creativity and HCI: From Experience to Design in Education : Selected Contributions from HCIEd 2007, March 29-30, 2007, Aveiro, Portugal
Paula Kotze
Item not Available
Format: Book (Paperback / softback)
£99.00
£80.95
Item not Available
Book (Paperback / softback)
New Trends Towards Mediterranean Tourism Sustainability
Luis Miguel Rosalino
Item not Available
Format: Book (Hardback)
£152.99
£122.59
Item not Available
Book (Hardback)
New Trends Towards Mediterranean Tourism Sustainability
Luis Miguel Rosalino
Download - Immediately Available
Format: eBook (PDF)
Grid Electrified Vehicles : Performance, Design & Environmental Impacts
Carla Alexandra Monteiro da Silva
Out of stock
Format: Book (Hardback)
Grid Electrified Vehicles : Performance, Design and Environmental Impacts
Carla Alexandra Monteiro da Silva
Download - Immediately Available
Format: eBook (PDF)
Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I
Alexandra Silva
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£34.99
£28.59
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketComputer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II
Alexandra Silva
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£34.99
£28.59
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketLogic, Language, Information, and Computation : 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings
Alexandra Silva
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£64.99
£57.65
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketLogic and Program Semantics : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday
Robert L. Constable
Item not Available
Format: Book (Paperback / softback)
£54.99
£46.05
Item not Available
Book (Paperback / softback)
Logic and Program Semantics : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday
Robert L. Constable
Download - Immediately Available
Format: eBook (PDF)
Formal Techniques for Distributed Objects, Components, and Systems : 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed C
Ahmed Bouajjani
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£44.99
£37.09
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketMethods and Procedures for Building Sustainable Farming Systems : Application in the European Context
Ana Alexandra Marta-Costa
Item not Available
Format: Book (Hardback)
£119.99
£104.05
Item not Available
Book (Hardback)
Methods and Procedures for Building Sustainable Farming Systems : Application in the European Context
Ana Alexandra Marta-Costa
Item not Available
Format: Book (Paperback / softback)
£89.99
£73.75
Item not Available
Book (Paperback / softback)