NASA Formal Methods : 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings
Julia M. Badger
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 BasketOpenMP: 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
£53.35
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketQuality 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
£57.65
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketOn the Move to Meaningful Internet Systems: OTM 2019 Conferences : Confederated International Conferences: CoopIS, ODBASE, C&TC 2019, Rhodes, Greece, October 21–25, 2019, Proceedings
Herve Panetto
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 BasketAutomated 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 BasketValue-Range Analysis of C Programs : Towards Proving the Absence of Buffer Overflow Vulnerabilities
Axel Simon
Out of stock
Format: Book (Paperback / softback)
Introduction to Programming with Fortran
Ian Chivers
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 BasketRequirements Engineering: Foundation for Software Quality : 25th International Working Conference, REFSQ 2019, Essen, Germany, March 18–21, 2019, Proceedings
Eric Knauss
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 BasketFoundations and Practice of Security : 11th International Symposium, FPS 2018, Montreal, QC, Canada, November 13–15, 2018, Revised Selected Papers
Nur Zincir-Heywood
Out of stock
Format: Book (Paperback / softback)
Semantics of the Probabilistic Typed Lambda Calculus : Markov Chain Semantics, Termination Behavior, and Denotational Semantics
Dirk Draheim
Out of stock
Format: Book (Paperback / softback)