Andere Kunden interessierten sich auch für
![Verified Software. Theories, Tools, and Experiments]( "Verified Software. Theories, Tools, and Experiments")
Verified Software. Theories, Tools, and Experiments37,99 €![Requirements Engineering: Foundation for Software Quality]( "Requirements Engineering: Foundation for Software Quality")
Requirements Engineering: Foundation for Software Quality49,99 €![Logic-Based Program Synthesis and Transformation]( "Logic-Based Program Synthesis and Transformation")
Logic-Based Program Synthesis and Transformation37,99 €![Perspectives of System Informatics]( "Perspectives of System Informatics")
Perspectives of System Informatics37,99 €![Integrated Formal Methods]( "Integrated Formal Methods")
Integrated Formal Methods37,99 €![Interactive Theorem Proving]( "Interactive Theorem Proving")
Interactive Theorem Proving66,99 €![Conceptual Structures: Leveraging Semantic Technologies]( "Conceptual Structures: Leveraging Semantic Technologies")
Conceptual Structures: Leveraging Semantic Technologies38,99 €
This book constitutes the refereed proceedings of the 35th International Conference on Conceptual Modeling, ER 2017, held in Valencia, Spain, in November 2017.
The 28 full and 10 short papers presented together with 1 full 6 keynotes were carefully reviewed and selected from 153 submissions.
This events covers a wide range of following topics: Conceptual Modeling Methodology, Conceptual Modeling and Requirements, Foundations, Conceptual Modeling in Specifi c Context, Conceptual Modeling and Business Processes, Model Efficiency, and Ontologies.
The 28 full and 10 short papers presented together with 1 full 6 keynotes were carefully reviewed and selected from 153 submissions.
This events covers a wide range of following topics: Conceptual Modeling Methodology, Conceptual Modeling and Requirements, Foundations, Conceptual Modeling in Specifi c Context, Conceptual Modeling and Business Processes, Model Efficiency, and Ontologies.