£49.99
£35.85
Item not Available
Book (Hardback)
£54.99
£40.29
Item not Available
Book (Hardback)
CMake Cookbook : Building, testing, and packaging modular software with modern CMake
Radovan Bast
Out of stock
Format: Book (Paperback / softback)
Introduction to Compiler Design : An Object-Oriented Approach Using Java(R)
John I Moore
Out of stock
Format: Book (Paperback / softback)
Compiler Design Using Java(R) : An Object-Oriented Approach
John I Moore
Out of stock
Format: Book (Paperback / softback)
Introduction to Compiler Design : An Object-Oriented Approach Using Kotlin(TM)
John I Moore
Out of stock
Format: Book (Paperback / softback)
Compiler Design Using Kotlin(TM) : An Object-Oriented Approach
John I Moore
Out of stock
Format: Book (Paperback / softback)
£54.99
£39.85
Item not Available
Book (Hardback)
High Performance Computing for Computational Science – VECPAR 2018 : 13th International Conference, Sao Pedro, Brazil, September 17-19, 2018, Revised Selected Papers
Hermes Senger
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 BasketFunctional and Constraint Logic Programming : 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers
Josep Silva
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 BasketAgreement Technologies : 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers
Marin Lujak
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 BasketReliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings
Simon Collart-Dutilleul
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£49.99
£40.39
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketFoundations of Security, Protocols, and Equational Reasoning : Essays Dedicated to Catherine A. Meadows
Joshua D. Guttman
Out of stock
Format: Book (Paperback / softback)
Integration of Constraint Programming, Artificial Intelligence, and Operations Research : 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4–7, 2019, Proceedings
Louis-Martin Rousseau
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 BasketModels, Languages, and Tools for Concurrent and Distributed Programming : Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday
Michele Boreale
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 BasketReversible Computation : 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings
Michael Kirkedal Thomsen
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£49.99
£40.39
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketAnswer Set Programming
Vladimir Lifschitz
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£52.99
£47.19
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketComputer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
Isil Dillig
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 BasketFormal Methods for Industrial Critical Systems : 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings
Kim Guldstrand Larsen
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 BasketSearch-Based Software Engineering : 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings
Shiva Nejati
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 BasketIntroduction to R for Terrestrial Ecology : Basics of Numerical Analysis, Mapping, Statistical Tests and Advanced Application of R
Milena Lakicevic
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£52.99
£47.45
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketSymbolic and Quantitative Approaches to Reasoning with Uncertainty : 15th European Conference, ECSQARU 2019, Belgrade, Serbia, September 18-20, 2019, Proceedings
Gabriele Kern-Isberner
Out of stock
Format: Book (Paperback / softback)
PRICAI 2019: Trends in Artificial Intelligence : 16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26–30, 2019, Proceedings, Part I
Abhaya C. Nayak
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 BasketGeographical Information Systems Theory, Applications and Management : 4th International Conference, GISTAM 2018, Funchal, Madeira, Portugal, March 17-19, 2018, Revised Selected Papers
Lemonia Ragia
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 Basket