Model Checking Software : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings
Ezio Bartocci
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£44.99
£33.84
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Automata, Languages, and Programming : 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II
Fedor V. Fomin
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£44.99
£33.84
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Structured Object-Oriented Formal Language and Method : Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers
Shaoying Liu
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£39.99
£30.12
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Computational Science and Its Applications -- ICCSA 2013 : 13th International Conference, ICCSA 2013, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part IV
Beniamino Murgante
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£44.99
£33.84
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Logic, Language, Information, and Computation : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings
Leonid Libkin
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£39.99
£30.12
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Computational Linguistics and Intelligent Text Processing : 17th International Conference, CICLing 2016, Konya, Turkey, April 3-9, 2016, Revised Selected Papers, Part I
Alexander Gelbukh
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£44.99
£33.84
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Language and Automata Theory and Applications : 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings
Shmuel Tomi Klein
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£44.99
£33.84
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Applications of Evolutionary Computation : 21st International Conference, EvoApplications 2018, Parma, Italy, April 4-6, 2018, Proceedings
Kevin Sim
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£44.99
£33.84
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Genetic Programming : 21st European Conference, EuroGP 2018, Parma, Italy, April 4-6, 2018, Proceedings
Mauro Castelli
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£44.99
£33.84
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Architecture of Computing Systems – ARCS 2018 : 31st International Conference, Braunschweig, Germany, April 9–12, 2018, Proceedings
Mladen Berekovic
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£44.99
£33.84
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Parallel Processing and Applied Mathematics : 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I
Roman Wyrzykowski
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£44.99
£33.84
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Parallel Processing and Applied Mathematics : 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II
Roman Wyrzykowski
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£44.99
£33.84
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Artificial Evolution : 13th International Conference, Evolution Artificielle, EA 2017, Paris, France, October 25–27, 2017, Revised Selected Papers
Evelyne Lutton
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£44.99
£33.84
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Fundamental 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
£33.84
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Foundations of Software Science and Computation Structures : 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018,
Christel Baier
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£44.99
£33.84
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Interactive Theorem Proving : 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings
Jeremy Avigad
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£79.99
£57.48
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Adventures Between Lower Bounds and Higher Altitudes : Essays Dedicated to Juraj Hromkovic on the Occasion of His 60th Birthday
Hans-Joachim Bockenhauer
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£44.99
£33.84
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Computer Algebra in Scientific Computing : 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings
Vladimir P. Gerdt
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
Logical Aspects of Computational Linguistics : 8th International Conference, LACL 2014, Toulouse, France, June 18-24, 2014. Proceedings
Nicholas Asher
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£39.99
£30.12
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Automata, Languages, and Programming : 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I
Javier Esparza
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£44.99
£33.84
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Logic, Language, Information, and Computation : 21st International Workshop, WoLLIC 2014, Valparaiso, Chile, September 1-4, 2014. Proceedings
Ulrich Kohlenbach
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£39.99
£30.12
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 : 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April
Jan Vitek
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£89.99
£63.97
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Fundamental Approaches to Software Engineering : 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, Ap
Alexander Egyed
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£44.99
£33.84
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Cellular Automata and Discrete Complex Systems : 21st IFIP WG 1.5 International Workshop, AUTOMATA 2015, Turku, Finland, June 8-10, 2015. Proceedings
Jarkko Kari
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£24.99
£19.86
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket