Certifying Rule-Based Models using Graph Transformation: Extended, Improved and New Graph Transformation Analysis Techniques: Clearing the Way for a General Road Map to Certification - Image 1

£81.00

Südwestdeutscher Verlag für Hochschulschriften Certifying Rule-Based Models using Graph Transformation: Extended, Improved and New Graph Transformation Analysis Techniques: Clearing the Way for a General Road Map to Certification

Computing & Internet

Price data last checked 47 day(s) ago - refreshing...

View at Amazon

Price History & Forecast

Last 44 days • 44 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 44 days • 1 price levels

Days at Price

Price Analysis

Most common price: £81 (44 days, 100.0%)

Price range: £81 - £81

Price levels: 1 different prices over 44 days

Product Specifications

Brand: Südwestdeutscher Verlag für Hochschulschriften
Format: paperback
ASIN: 383811650X
Category: Books > Subjects > Computing & Internet
Domain: Amazon UK
Release Date: 08 June 2010
Listed Since: 12 June 2010

Barcode

No barcode data available

Südwestdeutscher Verlag für Hochschulschriften Certifying Rule-Based Models using Graph Transformation: Extended, Improved and New Graph Transformation Analysis Techniques: Clearing the Way for a General Road Map to Certification

Price History & Forecast

Price Distribution

Price Analysis

Product Specifications

Barcode

Similar Products You Might Like

Searching and Ranking in Entity-Relationship Graphs: From Web Pages to Knowledge

Improving Schema Mapping by Exploiting Domain Knowledge

Geometric, Feature- and Graph-based Analysis of Protein Structures: Novel Methods and Computational Analysis

Isomorphism Testing for Restricted Graph Classes: On the complexity of isomorphism testing and reachability problems for restricted graph classes

Voice Modeling Methods: for Automatic Speaker Recognition

Mining and Checking Object Behavior: Efficient Mining of Object Behavior Models

Mappings in the Web of Data: A Web-based Mapping Technique for Establishing Metadata Interoperability

Facilitating Ontology Reuse Using User-Based Ontology Evaluation: Employing an Advanced Topic-Specific Trust Open Rating System For Ontology Evaluation

Pattern Recognition for Feature-based and Comparative Visualization: Moment Invariants for Pattern Recognition in Flows

Runtime adaptation of technical systems: An architectural framework for self-configuration and self-improvement at runtime

Satisfiability: From Core Algorithms to Novel Application Domains

Business Documents for Inter-Organizational Business Processes: Bridging the interoperability-gap between enterprises using current state-of-the-art in business document modeling

A Distributed Platform for Integrated Modular Avionics: Insights on Future Avionics Systems and their Certification Requirements

Models and methods used in the analysis of microarray expression data: Towards the identi?cation of regulatory networks using statistical and ... methods on the mammalian transcriptome

Railway Track Allocation: Models and Algorithms

Interpretation of Behaviour Models at Runtime: Performance Benchmark and Case Studies

Time-Constrained Web Services for Industrial Automation

Integrated Management Framework for Dynamic Virtual Organisations: Concepts and their Application in the Data Centre

Enabling Techniques for Future Broadband Wireless Communications: Smart-RF Concept and System Design

Die Wirksamkeit hochschuldidaktischer Weiterbildung: Evaluation der Veränderung von Lehrkonzeptionen

Verification of Temporal Properties in Embedded Software: based on Assertion and Semiformal Verification Approaches

Scalable Analytical Query Processing

Using Weighted Constraints To Build Tutoring Systems: A Study Case in Logic Programming

Tropical intersection theory and gravitational descendants: Intersections of tropical cycles and applications to enumerative geometry