Formal methods for components and objects : 9th international symposium, FMCO 2010 Graz, Austria, November 29-December 1, 2010 : revised papers / Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue, (eds.)

Water and related land resource systems: IFAC symposium, Cleveland, Ohio, USA 28-31 May 1980/Editor: Y. Haimes

Artificial immune systems : 11th international conference, ICARIS 2012, Taormina, Italy, August 28-31, 2012 : proceedings

ISTFA 2010: conference proceedings from the 36th International Symposium for Testing and Failure Analysis, November 14-18, 2010, InterContinental Hotel Dallas, Dallas, Texas, USA

ISTFA 2008: conference proceedings from the 34th International Symposium for Testing and Failure Analysis, November 2-6, 2008, Oregon Convention Center, Portland, Oregon, USA