Formal Techniques for Distributed Systems : Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009, Pro
David Lee
Download - Immediately Available
Format: eBook (PDF)
Model Checking Software : 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings
Antti Valmari
Download - Immediately Available
Format: eBook (PDF)
Self-Stabilizing Systems : 5th International Workshop, WSS 2001, Lisbon, Portugal, October 1-2, 2001 Proceedings
Ajoy K. Datta
Download - Immediately Available
Format: eBook (PDF)
Advances in Information Technology : Third International Conference, IAIT 2009, Bangkok, Thailand, December 1-5, 2009, Proceedings
Borworn Papasratorn
Download - Immediately Available
Format: eBook (PDF)
Tests and Proofs : 4th International Conference, TAP 2010, Malaga, Spain, July 1-2, 2010, Proceedings
Gordon Fraser
Download - Immediately Available
Format: eBook (PDF)
Software Composition : 10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011, Proceedings
Sven Apel
Item not Available
Format: Book (Paperback / softback)
£53.99
£45.25
Item not Available
Book (Paperback / softback)
Software Composition : 10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011, Proceedings
Sven Apel
Download - Immediately Available
Format: eBook (PDF)
ECOOP 2013 -- Object-Oriented Programming : 27th European Conference, Montpellier, France, July 1-5, 2013, Proceedings
Giuseppe Castagna
Out of stock
Format: Book (Paperback / softback)
ECOOP 2013 -- Object-Oriented Programming : 27th European Conference, Montpellier, France, July 1-5, 2013, Proceedings
Giuseppe Castagna
Download - Immediately Available
Format: eBook (PDF)
Interactive Systems: Design, Specification, and Verification : 1st Eurographics Workshop, Bocca di Magra, Italy, June 1994
Fabio Paterno
Download - Immediately Available
Format: eBook (PDF)
Trust Management : Second International Conference, iTrust 2004, Oxford, UK, March 29 - April 1, 2004, Proceedings
Christian Jensen
Download - Immediately Available
Format: eBook (PDF)
Integrated Formal Methods : Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings
Wolfgang Grieskamp
Download - Immediately Available
Format: eBook (PDF)
Parallel and Distributed Processing : 15 IPDPS 2000 Workshops Cancun, Mexico, May 1-5, 2000 Proceedings
Jose Rolim
Download - Immediately Available
Format: eBook (PDF)
Experimental Algorithms : 7th International Workshop, WEA 2008 Provincetown, MA, USA, May 30 - June 1, 2008 Proceedings
Catherine C. McGeoch
Download - Immediately Available
Format: eBook (PDF)
Theoretical Aspects of Computing - ICTAC 2008 : 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008, Proceedings
John S. Fitzgerald
Download - Immediately Available
Format: eBook (PDF)
Provable Security : 13th International Conference, ProvSec 2019, Cairns, QLD, Australia, October 1–4, 2019, Proceedings
Ron Steinfeld
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 BasketECOOP 2014 -- Object-Oriented Programming : 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings
Richard Jones
Download - Immediately Available
Format: eBook (PDF)
Logic and Its Applications : 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings
Md. Aquil Khan
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 BasketTests and Proofs : 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 - July 1, 2011, Proceedings
Martin Gogolla
Item not Available
Format: Book (Paperback / softback)
£53.99
£45.25
Item not Available
Book (Paperback / softback)
Tests and Proofs : 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 - July 1, 2011, Proceedings
Martin Gogolla
Download - Immediately Available
Format: eBook (PDF)
Modelling Foundations and Applications : 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013, Proceedings
Pieter Van Gorp
Out of stock
Format: Book (Paperback / softback)
Critical Code : Software Producibility for Defense
National Research Council
Download - Immediately Available
Format: eBook (EPUB)
Software Engineering and Formal Methods : 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings
Dimitra Giannakopoulou
Item not Available
Format: Book (Paperback / softback)
£54.99
£46.05
Item not Available
Book (Paperback / softback)
Software Engineering and Formal Methods : 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings
Dimitra Giannakopoulou
Download - Immediately Available
Format: eBook (PDF)