Explainable and Transparent AI and Multi-Agent Systems : 5th International Workshop, EXTRAAMAS 2023, London, UK, May 29, 2023, Revised Selected Papers
Davide Calvaresi
Out of stock
Format: Book (Paperback / softback)
Formal Methods for Industrial Critical Systems : 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings
Alessandro Cimatti
Out of stock
Format: Book (Paperback / softback)
Pro Spring MVC with WebFlux : Web Development in Spring Framework 5 and Spring Boot 2
Marten Deinum
Out of stock
Format: Book (Paperback / softback)
£55.49
£46.55
Item not Available
Book (Paperback / softback)
Lazy Evaluation : From Natural Semantics to a Machine-checked Compiler Transformation
Joachim Breitner
Item not Available
Format: Book (Paperback / softback)
£47.70
Item not Available
Book (Paperback / softback)
LLVM 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 BasketFunctional and Logic Programming : 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings
Michael Codish
Out of stock
Format: Book (Paperback / softback)
Formal Aspects of Component Software : 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers
Jose Luiz Fiadeiro
Out of stock
Format: Book (Paperback / softback)
Theory and Practice of Model Transformations : 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedings
Davide Di Ruscio
Out of stock
Format: Book (Paperback / softback)
Tests and Proofs : 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings
Martina Seidl
Out of stock
Format: Book (Paperback / softback)
Theoretical Aspects of Computing – ICTAC 2014 : 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings
Gabriel Ciobanu
Out of stock
Format: Book (Paperback / softback)
Static Analysis : 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings
Markus Muller-Olm
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 BasketRuntime Verification : 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings
Borzoo Bonakdarpour
Out of stock
Format: Book (Paperback / softback)
Reachability Problems : 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings
Joel Ouaknine
Out of stock
Format: Book (Paperback / softback)
Using and Improving OpenMP for Devices, Tasks, and More : 10th International Workshop on OpenMP, IWOMP 2014, Salvador, Brazil, September 28-30, 2014. Proceedings
Luiz DeRose
Out of stock
Format: Book (Paperback / softback)
Verified Software: Theories, Tools and Experiments : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
Dimitra Giannakopoulou
Out of stock
Format: Book (Paperback / softback)
Model-Based Safety and Assessment : 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014, Proceedings
Frank Ortmeier
Out of stock
Format: Book (Paperback / softback)
Coordination Models and Languages : 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCo
Tom Holvoet
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 BasketApplication and Theory of Petri Nets and Concurrency : 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings
Raymond Devillers
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 BasketMathematics of Program Construction : 12th International Conference, MPC 2015, Konigswinter, Germany, June 29--July 1, 2015. Proceedings
Ralf Hinze
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