Verified Software: Theories, Tools, Experiments
Author/Editor: Leavens | Publication year: 2010
Victoria Symposium on Nonstandard Analysis
Author/Editor: Hurd | Publication year: 1974
Visual Informatics: Sustaining Research and Innovations
Author/Editor: Zaman | Publication year: 2011
Variational Problems in Materials Science
Author/Editor: Maso | Publication year: 2006
Vortex Methods in Two-Dimensional Fluid Dynamics
Author/Editor: Marchioro | Publication year: 1984
Video Analytics. Face and Facial Expression Recognition and Audience Measurement
Author/Editor: Nasrollahi | Publication year: 2017
Virtual Storytelling. Using Virtual RealityTechnologies for Storytelling
Author/Editor: Balet | Publication year: 2003
Virtual, Augmented and Mixed Reality: Applications in Education, Aviation and Industry
Author/Editor: Chen | Publication year: 2022