1
Verified Software: Theories, Tools, Experiments [E-Book] : Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings /
2
Image and Video Retrieval [E-Book] : Third International Conference, CIVR 2004, Dublin, Ireland, July 21-23, 2004, Proceedings /