Formal Methods : Applications And Technology :11th International Workshop, FMICS 2006 And 5th International Workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papers /

مواد مشابهة

• Selected Areas in Cryptography [electronic resource] : 13th International Workshop, SAC 2006, Montreal, Canada, August 17-18, 2006 Revised Selected Papers /
  حسب: SAC 2006 (2006 : Montreal, Quebec), وآخرون
  منشور في: (2007)
• Information Security Applications [electronic resource] : 7th International Workshop, WISA 2006, Jeju Island, Korea, August 28-30, 2006, Revised Selected Papers /
  حسب: WISA 2006 (2006 : Cheju-do, Korea), وآخرون
  منشور في: (2007)
• Coordination, Organizations, Institutions, and Norms in Agent Systems. AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006. /
  حسب: COIN 2006 (2006 : Hakodate-shi, Japan and Riva, Italy), وآخرون
  منشور في: (2007)
• Medical imaging and augmented reality : third international workshop, Shanghai, China, August 17-18, 2006 : proceedings /
  حسب: Yang, Guang-Zhong
  منشور في: (2006)
• Formal aspects in security and trust : Fourth international workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006 : revised selected papers /
  حسب: FAST 2006 (2006 : Hamilton, Ont.), وآخرون
  منشور في: (2007)