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
£57.65
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketOpenMP: 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
£57.65
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketNovel Techniques in Recovering, Embedding, and Enforcing Policies for Control-Flow Integrity
Yan Lin
Out of stock
Format: Book (Paperback / softback)
AIxIA 2020 – Advances in Artificial Intelligence : XIXth International Conference of the Italian Association for Artificial Intelligence, Virtual Event, November 25–27, 2020, Revised Selected Papers
Matteo Baldoni
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£79.99
£70.35
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketOpenMP: 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
£53.35
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketEuro-Par 2021: Parallel Processing : 27th International Conference on Parallel and Distributed Computing, Lisbon, Portugal, September 1–3, 2021, Proceedings
Leonel Sousa
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£109.99
£104.49
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketAndroid 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
£53.35
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketArtificial Intelligence and Soft Computing : 20th International Conference, ICAISC 2021, Virtual Event, June 21–23, 2021, Proceedings, Part II
Leszek Rutkowski
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£109.99
£104.49
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketProgramming Languages and Systems : 19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17-18, 2021, Proceedings
Hakjoo Oh
Out of stock
Format: Book (Paperback / softback)
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
£53.35
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketDatabase Systems for Advanced Applications. DASFAA 2022 International Workshops : BDMS, BDQM, GDMA, IWBT, MAQTDS, and PMBD, Virtual Event, April 11-14, 2022, Proceedings
Uday Kiran Rage
Out of stock
Format: Book (Paperback / softback)
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
£57.65
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketStatic 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
£53.35
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketCompiler Construction : 12th International Conference, CC 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceed
Goerel Hedin
Item not Available
Format: Book (Paperback / softback)
£62.99
£52.35
Item not Available
Book (Paperback / softback)
Compiler Construction : 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedin
Rastislav Bodik
Item not Available
Format: Book (Paperback / softback)
£67.99
£56.35
Item not Available
Book (Paperback / softback)
UML 2000 - The Unified Modeling Language: Advancing the Standard : Third International Conference York, UK, October 2-6, 2000 Proceedings
Andy Evans
Item not Available
Format: Book (Paperback / softback)
£99.00
£80.95
Item not Available
Book (Paperback / softback)
£72.00
£59.55
Item not Available
Book (Paperback / softback)
Compiler Construction : 10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings
Reinhard Wilhelm
Item not Available
Format: Book (Paperback / softback)
£72.00
£59.55
Item not Available
Book (Paperback / softback)
Programming Languages and Systems : 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April
David Sands
Item not Available
Format: Book (Paperback / softback)
£81.00
£66.65
Item not Available
Book (Paperback / softback)
UML 2001 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools : 4th International Conference, Toronto, Canada, October 1-5, 2001. Proceedings
Martin Gogolla
Item not Available
Format: Book (Paperback / softback)
£81.00
£66.65
Item not Available
Book (Paperback / softback)
Perspectives of System Informatics : 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers
Dines Bjorner
Item not Available
Format: Book (Paperback / softback)
£90.00
£73.79
Item not Available
Book (Paperback / softback)
Practical Aspects of Declarative Languages : 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002. Proceedings
Shriram Krishnamurthi
Item not Available
Format: Book (Paperback / softback)
£67.99
£56.35
Item not Available
Book (Paperback / softback)
Types for Proofs and Programs : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers
Paul Callaghan
Item not Available
Format: Book (Paperback / softback)
£62.99
£52.35
Item not Available
Book (Paperback / softback)