Search by property

Jump to: navigation, search

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

Search by property

A list of all pages that have property "Title" with value "Verified Software: Theories, Tools, and Experiments 2008". Since there have been only a few results, also nearby values are displayed.

Showing below up to 26 results starting with #1.

View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)


    

List of results

  • VSTTE 2008  + (Verified Software: Theories, Tools, and Experiments 2008)
  • Victoria University of Wellington  + (Victoria University of Wellington)
  • VBIGA 2008  + (Virginia Bioinformatics Institute Genome Annotation Workshop)
  • GeNeMe 2008  + (Virtual Enterprises, Communities & Social Networks - Gemeinschaften in Neuen Medien)
  • GeNeMe 2009  + (Virtual Enterprises, Communities & Social Networks - Gemeinschaften in Neuen Medien)
  • VRCAI 2009  + (Virtual Reality Continuum and its applications in industry)
  • ITALICS: Virtual Worlds issue 2009  + (Virtual Worlds: play or education? - Special issue of ITALICS (November 2009))
  • Voila 2017  + (Visualization and Interaction for Ontologies and Linked Data)
  • VizSec 2016  + (VizSec 2016 : VizSec 2016)
  • WACV 2017 : IEEE Winter Conference on Applications of Computer Vision  + (WACV 2017 : IEEE Winter Conference on Applications of Computer Vision)
  • WADCE 2016  + (WADCE 2016 : 2016 International Workshop on Aircraft Design and Control Engineering (WADCE 2016))
  • WADCE-EI 2016  + (WADCE-EI 2016 : 2016 International Workshop on Aircraft Design and Control Engineering (WADCE 2016)--EI&Scopus;)
  • WALCOM 2017  + (WALCOM 2017 : 11th International Conference and Workshops on Algorithms & Computation)
  • WALCOM 2018 : The 12th International Conference and Workshop on Algorithms and Computation (WALCOM)  + (WALCOM 2018 : The 12th International Conference and Workshop on Algorithms and Computation (WALCOM))
  • WCETIS 2017  + (WCETIS 2017 : World Congress on Engineering and Technology; Innovation and its Sustainability)
  • WCICSS 2017  + (WCICSS 2017 : The World Congress on Industrial Control Systems Security)
  • WCM Conference 2017  + (WCM Conference 2017 : Warranty Chain Management Conference 2017)
  • WCNC 2017  + (WCNC 2017 : Wireless Communications and Networking Conference)
  • WCSE 2017  + (WCSE 2017 : 7th International Workshop on Computer Science and Engineering --Scopus & Ei compendex)
  • WCSNE 2017  + (WCSNE 2017 : World Congress on Special Needs Education (WCSNE-2017))
  • WCST 2017  + (WCST 2017 : World Congress on Sustainable Technologies)
  • SWAT 2011  + (WEBIST Special Session on Semantic Web Applications and Tools)
  • WSPA 2011  + (WEBIST Special Session on Web Services Principles and Applications)
  • WTM 2011  + (WEBIST Special Session on Web and Text Mining)
  • WF-IoT 2016  + (WF-IoT 2016 : Workshop on Ubiquitous Sensing and Actuation (UbSA) via the Internet of Things)
  • WICS 2017  + (WICS 2017 : 4th International Workshop on Information and Communication Security)