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

Ítems similars

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