Computer Information Systems and Industrial Management : 11th IFIP TC 8 International Conference, CISIM 2012, Venice, Italy, September 26-28, 2012, Proceedings /

Documenti analoghi

• Computer Information Systems and Industrial Management : 12th IFIP TC 8 International Conference, CISIM 2013, Krakow, Poland, September 25-27, 2013, Proceedings /
  di: Khalid Saeed, Rituparna Chaki, Agostino Cortesi, S.awomir Wierzcho
  Pubblicazione: (2013, c2013)
• Computer Information Systems - Analysis and Technologies : 10th International Conference, CISIM 2011, Held in Kolkata, India, December 14-16, 2011. Proceedings /
  di: Nabendu Chaki, Agostino Cortesi
  Pubblicazione: (2011, c2011)
• Verification, Model Checking, and Abstract Interpretation : Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers /
  di: Agostino Cortesi
  Pubblicazione: (2002, c2002)
• Computer Information Systems and Industrial Management : 13th IFIP TC8 International Conference, CISIM 2014, Ho Chi Minh City, Vietnam, November 5-7, 2014 : Proceedings /
  Pubblicazione: (2014, c2014)
• Static Analysis : 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings /
  di: Agostino Cortesi, Gilberto Filé
  Pubblicazione: (1999, c1999)