1821
Verification, Model Checking, and Abstract Interpretation [E-Book] : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings /

Full text 
Favorites
Saved in:
1822
Verification of infinite-state systems with applications to security / [E-Book]

Full text 
Favorites
Saved in:
1823
Verification of systems and circuits using LOTOS, Petri Nets, and CCS / [E-Book]

Full text 
Favorites
Saved in:
1824
Video Processing and Computational Video [E-Book] : International Seminar, Dagstuhl Castle, Germany, October 10-15, 2010. Revised Papers /

Full text 
Favorites
Saved in:
1825
Vision Algorithms: Theory and Practice [E-Book] : International Workshop on Vision Algorithms Corfu, Greece, September 21–22, 1999 Proceedings /

Full text 
Favorites
Saved in:
1826
Visual Informatics: Bridging Research and Practice : First International Visual Informatics Conference, IVIC 2009 Kuala Lumpur, Malaysia, November 11-13, 2009 Proceedings [E-Book] /

Full text 
Favorites
Saved in:
1827
Visual Informatics: Sustaining Research and Innovations : Second International Visual Informatics Conference, IVIC 2011, Selangor, Malaysia, November 9-11, 2011, Proceedings, Part I [E-Book] /

Full text 
Favorites
Saved in:
1828
Visual Informatics: Sustaining Research and Innovations [E-Book] : Second International Visual Informatics Conference, IVIC 2011, Selangor, Malaysia, November 9-11, 2011, Proceedings, Part II /

Full text 
Favorites
Saved in:
1829
Visual usability : principles and practices for designing digital applications [E-Book] /

Full text 
Favorites
Saved in:
1830
VLSI-SoC: Design Methodologies for SoC and SiP [E-Book] : 16th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2008, Rhodes Island, Greece, October 13-15, 2008, Revised Selected Papers /

Full text 
Favorites
Saved in:
1831
VLSI-SoC: Technologies for Systems Integration [E-Book] : 17th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2009, Florianópolis, Brazil, October 12-14, 2009, Revised Selected Papers /

Full text 
Favorites
Saved in:
1832
VOCUS: A Visual Attention System for Object Detection and Goal-Directed Search [E-Book] /

Full text 
Favorites
Saved in:
1833
WALCOM: Algorithms and Computation [E-Book] : 4th International Workshop, WALCOM 2010, Dhaka, Bangladesh, February 10-12, 2010. Proceedings /

Full text 
Favorites
Saved in:
1834
WALCOM: Algorithms and Computation [E-Book] : 5th International Workshop, WALCOM 2011, New Delhi, India, February 18-20, 2011. Proceedings /

Full text 
Favorites
Saved in:
1835
WALCOM: Algorithms and Computation [E-Book] : Second International Workshop, WALCOM 2008, Dhaka, Bangladesh, February 7-8, 2008. Proceedings /

Full text 
Favorites
Saved in:
1836
WALCOM: Algorithms and Computation [E-Book] : Third International Workshop, WALCOM 2009, Kolkata, India, February 18-20, 2009. Proceedings /

Full text 
Favorites
Saved in:
1837
Web Application Security [E-Book] : Iberic Web Application Security Conference, IBWAS 2009, Madrid, Spain, December 10-11, 2009. Revised Selected Papers /

Full text 
Favorites
Saved in:
1838
What Kind of Information Society? Governance, Virtuality, Surveillance, Sustainability, Resilience [E-Book] : 9th IFIP TC 9 International Conference, HCC9 2010 and 1st IFIP TC 11 International Conference, CIP 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings /

Full text 
Favorites
Saved in:
1839
Wireless Algorithms, Systems, and Applications [E-Book] : 4th International Conference, WASA 2009, Boston, MA, USA, August 16-18, 2009. Proceedings /

Full text 
Favorites
Saved in:
1840
Wireless Algorithms, Systems, and Applications [E-Book] : 5th International Conference, WASA 2010, Beijing, China, August 15-17, 2010. Proceedings /

Full text 
Favorites
Saved in:

Narrow Search Results