Search by property

Jump to navigation Jump to 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 "Mathematics of Program Construction". 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

  • MRPSL 2008  + (LREC 2008 Workshop on Methodologies and Resources for Processing Spatial Language)
  • MCPSLR 2008  + (LREC 2008 Workshop on Multilingual and Comparative Perspectives in Specialized Language Resources)
  • NLPRATAI 2008  + (LREC 2008 workshop on Natural Language Processing resources, algorithms and tools for authoring aids)
  • PaPa 2008  + (LREC 2008 Workshop on PARTIAL PARSING Between Chunking and Deep Parsing)
  • REIMEREM 2008  + (LREC 2008 Workshop on Resources and Evaluation for Identity Matching, Entity Resolution and Entity Management)
  • SPLT 2008  + (LREC 2008 Workshop on SEMANTIC PROCESSING OF LEGAL TEXTS)
  • MWE 2008  + (LREC 2008 workshop: Towards a Shared Task for Multiword Expressions)
  • LICM 2008  + (LUMS 2nd International Conference on Mathematics and its Applications in Information Technology)
  • RecShow 2008  + (M. East Waste & Environmental Management Congress)
  • MA3HMI 2016  + (MA3HMI 2016 : International Workshop on Multimodal Analyses enabling Artificial Agents in Human-Machine Interaction)
  • MACE 2017  + (MACE 2017 : 2017 International Conference on Mechanical Automations and Control Engineering (MACE 2017) รข EI & Scopus)
  • MACE 2018  + (MACE 2018: The Second International Conference on Mechanical Automation and Control Engineering(MACE 2018)--Ei Compendex & Scopus)
  • MT SUMMIT  + (Machine Translation Summit)
  • MACIS 2017 : 7th International Conference on Mathematical Aspects of Computer and Information Sciences  + (MACIS 2017 : 7th International Conference on Mathematical Aspects of Computer and Information Sciences)
  • Macquarie University, Sydney  + (Macquarie University, Sydney)
  • MAOS 2009  + (Maintenance of Aspect Oriented Systems)
  • IJWBC 2009  + (Making Meetings Work: Design and Evaluation of Online, Mobile and Physical Environments for Enhancing Collaborative Work)
  • MAMI 2017  + (MAMI 2017 : 2nd IEEE International Conference on Man And Machine Interfacing)
  • MAMLAKE 2017  + (MAMLAKE 2017 : Special Session on Modern Applications of Machine Learning for Actionable Knowledge Extraction)
  • MUD 2008  + (Management of Uncertain Data)
  • MW50.07  + (Many Worlds at 50)
  • MRS 2007  + (Maritime Reconnaissance & Surveillance 2007)
  • MPPOI  + (Massively Parallel Processing Using Optional Interconnections)
  • MIA 2008  + (Mathematical Inequalities and Applications 2008)
  • MTNS 2008  + (Mathematical Theory of Networks and Systems)
  • MPC  + (Mathematics of Program Construction)
  • MathSJ 2017 : Applied Mathematics and Sciences: An International Journal  + (MathSJ 2017 : Applied Mathematics and Sciences: An International Journal)
  • MAC 2008  + (MathWorks Automotive Conference 2008)
  • MIEF 2007  + (Maximizing IT Efficiency In Finance)
  • MCBIS 2017  + (MCBIS 2017 : Management Conclave on Business, Innovation & Sustainability)
  • MCG 2017  + (MCG 2017 : 10TH INTERNATIONAL CONFERENCE Mathematical Creativity and Giftedness)
  • MCLLM 2017  + (MCLLM 2017 : CFP - Midwestern Conference on Literature, Language, and Media (MCLLM))
  • MDPI Algorithms Journal 2016  + (MDPI Algorithms Journal 2016 : MDPI Algorithms Journal - Special Issue on Parallel Algorithms for Combinatorial Optimization Problems)
  • MLRBV 2008  + (Measuring Linguistic Relations Between Varieties)
  • M2VIP  + (Mechatronics and Machine Vision in Practice)
  • MECHE 2016  + (MECHE 2016 : Fourth International Conference on Mechanical Engineering)
  • MEDES 2016  + (MEDES 2016 : Special Track: Secure Cloud Computing)
  • Medhum 2017  + (medhum 2017 : 2017 International Conference on Medical Humanities)
  • MIT Munich 07  + (Media in Transition Conference 2007 / From Gutenberg to Google)
  • Mediating Multilingualism 2008  + (Mediating Multilingualism: Meanings and Modalities)
  • MICCAI  + (Medical Image Computing and Computer-Assisted Intervention)
  • MICCAI 2020  + (Medical Image Computing and Computer-Assisted Intervention)
  • MMVR  + (Medicine Meets Virtual Reality)
  • MED 2008  + (Mediterranean Conference on Control & Automation)
  • MEIJ 2017 : Mechanical Engineering: An International Journal  + (MEIJ 2017 : Mechanical Engineering: An International Journal)
  • MuC 2008  + (Mensch & Computer 2008)
  • MESOCA 2016  + (MESOCA 2016 : IEEE 10th Symposium on the Maintenance and Evolution of Service-Oriented Systems and Cloud-Based Environments)
  • META 2017  + (META 2017 : META'17, the 8th International Conference on Metamaterials, Photonic Crystals and Plasmonics)
  • META 2010  + (META'10, 2nd International Conference on Metamaterials, Photonic Crystals and Plasmonics)
  • MTSR  + (Metadata and Semantics Research Conference)
  • MTSR 2020  + (Metadata and Semantics Research Conference)
Retrieved from "https://confident.dbis.rwth-aachen.de/or/index.php?title=Special:SearchByProperty/:Title/Mathematics-20of-20Program-20Construction"