Reversible 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
£37.08
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Answer 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
£39.02
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Introduction 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
£39.32
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
OpenMP: Conquering the Full Hardware Spectrum : 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings
Xing Fan
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£59.99
£43.86
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Quality of Information and Communications Technology : 12th International Conference, QUATIC 2019, Ciudad Real, Spain, September 11-13, 2019, Proceedings
Mario Piattini
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£64.99
£47.40
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Runtime Verification : 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings
Bernd Finkbeiner
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£54.99
£40.62
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Automated Reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II
Nicolas Peltier
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£64.99
£47.40
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
OpenMP: Enabling Massive Node-Level Parallelism : 17th International Workshop on OpenMP, IWOMP 2021, Bristol, UK, September 14–16, 2021, Proceedings
Simon McIntosh-Smith
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£59.99
£43.86
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Android for Java Programmers
Abdul-Rahman Mawlood-Yunis
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£59.99
£43.86
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Leveraging Applications of Formal Methods, Verification and Validation : 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17–29, 2021, Pro
Tiziana Margaria
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£59.99
£43.86
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Chatbot Research and Design : 5th International Workshop, CONVERSATIONS 2021, Virtual Event, November 23–24, 2021, Revised Selected Papers
Asbjørn Følstad
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£54.99
£40.62
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
ICT Education : 50th Annual Conference of the Southern African Computer Lecturers' Association, SACLA 2021, Johannesburg, South Africa, July 16, 2021, Revised Selected Papers
Wai Sze Leung
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£54.99
£40.62
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Software Verification : 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised
Roderick Bloem
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£49.99
£37.08
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Graph Transformation : 15th International Conference, ICGT 2022, Held as Part of STAF 2022, Nantes, France, July 7-8, 2022, Proceedings
Nicolas Behr
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£49.99
£37.08
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Formal Methods for Industrial Critical Systems : 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings
Jan Friso Groote
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£54.99
£40.62
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to Basket
Diagrammatic Representation and Inference : 13th International Conference, Diagrams 2022, Rome, Italy, September 14–16, 2022, Proceedings
Valeria Giardino
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£49.99
£37.08
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Logic Programming and Nonmonotonic Reasoning : 16th International Conference, LPNMR 2022, Genova, Italy, September 5–9, 2022, Proceedings
Georg Gottlob
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£64.99
£47.40
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Programming Languages and Systems : 20th Asian Symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022, Proceedings
Ilya Sergey
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£54.99
£40.62
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Static Analysis : 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5-7, 2022, Proceedings
Gagandeep Singh
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£59.99
£43.86
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Transactions on Modularity and Composition I
Shigeru Chiba
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£64.99
£47.40
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Artificial Intelligence in Medicine : 16th Conference on Artificial Intelligence in Medicine, AIME 2017, Vienna, Austria, June 21-24, 2017, Proceedings
Annette ten Teije
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£54.99
£40.62
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Das C++ Kompendium : STL, Objektfabriken, Exceptions
Gilbert Brands
In StockFree UK DeliveryEstimated delivery 2-3 working days
Format: Book (Paperback / softback)
£29.99
£12.85
In StockFree UK DeliveryEstimated delivery 2-3 working days
Book (Paperback / softback)
Add to Basket
OpenMP: Portable Multi-Level Parallelism on Modern Systems : 16th International Workshop on OpenMP, IWOMP 2020, Austin, TX, USA, September 22–24, 2020, Proceedings
Kent Milfeld
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£64.99
£47.40
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Rigorous State-Based Methods : 8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings
Alexander Raschke
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£54.99
£40.62
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket