NASA Formal Methods : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings
Aaron Dutle
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 BasketInductive Logic Programming : 27th International Conference, ILP 2017, Orleans, France, September 4-6, 2017, Revised Selected Papers
Nicolas Lachiche
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 BasketUnderstanding Control Flow : Concurrent Programming Using µC++
Peter A. Buhr
Out of stock
Format: Book (Paperback / softback)
An Introduction to Statistics with Python : With Applications in the Life Sciences
Thomas Haslwanter
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£44.99
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketFundamental Approaches to Software Engineering : 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki,
Alessandra Russo
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 BasketService-Oriented Computing – ICSOC 2017 Workshops : ASOCA, ISyCC, WESOACS, and Satellite Events, Malaga, Spain, November 13–16, 2017, Revised Selected Papers
Lars Braubach
Out of stock
Format: Book (Paperback / softback)
Graph Transformation : 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings
Leen Lambers
Out of stock
Format: Book (Paperback / softback)
Tests and Proofs : 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings
Catherine Dubois
Out of stock
Format: Book (Paperback / softback)
Modelling Foundations and Applications : 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings
Alfonso Pierantonio
Out of stock
Format: Book (Paperback / softback)
Theory and Practice of Model Transformation : 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings
Arend Rensink
Out of stock
Format: Book (Paperback / softback)
Model Checking Software : 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
Maria del Mar Gallardo
Out of stock
Format: Book (Paperback / softback)
Automated Reasoning : 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings
Didier Galmiche
Out of stock
Format: Book (Paperback / softback)
Logic-Based Program Synthesis and Transformation : 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers
Fabio Fioravanti
Out of stock
Format: Book (Paperback / softback)
Principles of Modeling : Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday
Marten Lohstroh
Out of stock
Format: Book (Paperback / softback)
Intelligent Computer Mathematics : 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings
Florian Rabe
Out of stock
Format: Book (Paperback / softback)
Integrated Formal Methods : 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings
Carlo A. Furia
Out of stock
Format: Book (Paperback / softback)
Reversible Computation : 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings
Jarkko Kari
Out of stock
Format: Book (Paperback / softback)
Static Analysis : 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings
Andreas Podelski
Out of stock
Format: Book (Paperback / softback)
Rules and Reasoning : Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings
Christoph Benzmuller
Out of stock
Format: Book (Paperback / softback)
Design Patterns with Java : An Introduction
Olaf Musch
In Stock - usually despatched within 24 hours
Format: Book (Paperback / softback)
£49.99
£40.55
In Stock - usually despatched within 24 hours
Book (Paperback / softback)
Add to BasketLLVM Techniques, Tips, and Best Practices Clang and Middle-End Libraries : Design powerful and reliable compilers using the latest libraries and tools from LLVM
Min-Yih Hsu
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£35.99
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketLearn LLVM 12 : A beginner's guide to learning LLVM compiler tools and core libraries with C++
Kai Nacke
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£41.99
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket