Formal Techniques for Distributed Systems : Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012,
Holger Giese
Download - Immediately Available
Format: eBook (PDF)
Algebraic Informatics : 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings
Andreas Maletti
Download - Immediately Available
Format: eBook (PDF)
Model Checking Software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings
Susanne Graf
Download - Immediately Available
Format: eBook (PDF)
Model Checking Software : 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings
Dragan Bosnacki
Download - Immediately Available
Format: eBook (PDF)
Software Architecture : Second International Conference, ECSA 2008 Paphos, Cyprus, September 29-October 1, 2008 Proceedings
Ronald Morrison
Download - Immediately Available
Format: eBook (PDF)
Software Composition : 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedings
Michel Baudry
Download - Immediately Available
Format: eBook (PDF)
Hybrid Metaheuristics : 7th International Workshop, HM 2010, Vienna, Austria, October 1-2, 2010, Proceedings
Maria Jose Blesa
Download - Immediately Available
Format: eBook (PDF)
Runtime Verification : First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
Howard Barringer
Download - Immediately Available
Format: eBook (PDF)
Software Architecture : 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013, Proceedings
Khalil Drira
Download - Immediately Available
Format: eBook (PDF)
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)
Integrated Formal Methods : 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings
Erika Abraham
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)
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)
Dependability Metrics : GI-Dagstuhl Research Seminar, Dagstuhl Castle, Germany, October 5 - November 1, 2005, Advanced Lectures
Irene Eusgeld
Download - Immediately Available
Format: eBook (PDF)
Business Process Management Workshops : BPM 2008 International Workshops, Milano, Italy, September 1-4, 2008, Revised Papers
Danilo Ardagna
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
Download - Immediately Available
Format: eBook (PDF)
ECOOP 2013 -- Object-Oriented Programming : 27th European Conference, Montpellier, France, July 1-5, 2013, Proceedings
Giuseppe Castagna
Download - Immediately Available
Format: eBook (PDF)
Methods for Designing Software to Fit Human Needs and Capabilities : Proceedings of the Workshop on Software Human Factors
National Research Council
Download - Immediately Available
Format: eBook (PDF)
Generic Programming : IFIP TC2 / WG2.1 Working Conference Programming July 11-12, 2002, Dagstuhl, Germany
Jeremy Gibbons
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)