Title: Virtual Clothing: Theory and Practice, Author: Pascal Volino
Title: Virtual and Augmented Reality Applications in Manufacturing, Author: S.K. Ong
Title: Virtual and Augmented Architecture (VAA'01): Proceedings of the International Symposium on Virtual and Augmented Architecture (VAA'01), Trinity College, Dublin, 21 -22 June 2001, Author: Bob Fisher
Title: Video Processing in the Cloud, Author: Rafael Silva Pereira
Title: Verified Software: Theories, Tools, and Experiments: 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers, Author: Arie Gurfinkel
Title: Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers, Author: Dimitra Giannakopoulou
Title: Verified Software: Theorie, Tools, Experiments: 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers, Author: Ernie Cohen
Title: Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers, Author: Andrei Paskevich
Title: Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers, Author: Sandrine Blazy
Title: Verified Software. Theories, Tools, and Experiments: 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers, Author: Supratik Chakraborty
Title: Verified Software. Theories, Tools, and Experiments: 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers, Author: Ruzica Piskac
Title: Verification, Model Checking, and Abstract Interpretation: 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings, Author: Radhia Cousot
Title: Verification and Validation in Systems Engineering: Assessing UML/SysML Design Models, Author: Mourad Debbabi
Title: VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings: Volume 2: Tutorials, Author: Soren Prehn
Title: VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings: Volume 1: Conference Contributions, Author: Soren Prehn
Title: VDM '88. VDM - The Way Ahead: 2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988. Proceedings, Author: Robin E. Bloomfield
Title: VDM '87. VDM - A Formal Method at Work: VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings, Author: Dines Bjïrner
Title: Variational Object-Oriented Programming Beyond Classes and Inheritance, Author: Mira Mezini
Title: Variable Domain-specific Software Languages with DjDSL: Design and Implementation, Author: Stefan Sobernig
Title: Value-Based Software Engineering, Author: Stefan Biffl

Pagination Links