Computer Science Logic [electronic resource] : 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007: Proceedings /

Схожие документы

• Stochastic Algorithms: Foundations and Applications [electronic resource] : 4th International Symposium, SAGA 2007, Zurich, Switzerland, September 13-14, 2007: Proceedings /
  по: SAGA 2007 (2007 : Zurich, Switzerland), и др.
  Опубликовано: (2007)
• Tests and Proofs [electronic resource] : First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers /
  по: TAP 2007 (2007 : Zurich, Switzerland), и др.
  Опубликовано: (2007)
• Architecture of Computing Systems - ARCS 2007 [electronic resource] : 20th International Conference, Zurich, Switzerland, March 12-15, 2007. Proceedings /
  по: ARCS 2007 (2007 : Zurich, Switzerland), и др.
  Опубликовано: (2007)
• Software Engineering Approaches for Offshore and Outsourced Development [electronic resource]: First International Conference, SEAFOOD 2007, Zurich, Switzerland, February 5-6, 2007. Revised Papers /
  по: SEAFOOD 2007 (2007 : Zurich, Switzerland), и др.
  Опубликовано: (2007)
• Detection of Intrusions and Malware, and Vulnerability Assessment [electronic resource] : 4th International Conference, DIMVA 2007 Lucerne, Switzerland, July 12-13, 2007 Proceedings /
  по: DIMVA 2007 (2007 : Lucerne, Switzerland), и др.
  Опубликовано: (2007)