Vor Ort
Merkzettel Warenkorb
  • Produktbild: Graph Transformation
  • Produktbild: Graph Transformation
Band 12150

Graph Transformation 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25–26, 2020, Proceedings

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

26.06.2020

Herausgeber

Fabio Gadducci + weitere

Verlag

Springer

Seitenzahl

335

Maße (L/B/H)

23,5/15,5/2 cm

Gewicht

534 g

Auflage

1st ed. 2020

Sprache

Englisch

ISBN

978-3-030-51371-9

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

26.06.2020

Herausgeber

Verlag

Springer

Seitenzahl

335

Maße (L/B/H)

23,5/15,5/2 cm

Gewicht

534 g

Auflage

1st ed. 2020

Sprache

Englisch

ISBN

978-3-030-51371-9

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Kundinnen und Kunden meinen

0 Bewertungen

Informationen zu Bewertungen

Zur Abgabe einer Bewertung ist eine Anmeldung im Konto notwendig. Die Authentizität der Bewertungen wird von uns nicht überprüft. Wir behalten uns vor, Bewertungstexte, die unseren Richtlinien widersprechen, entsprechend zu kürzen oder zu löschen.

Die Bewertungen sind nach Format, Anzahl Sterne und Datum sortiert.

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kund*innen durch Ihre Meinung

Kundinnen und Kunden meinen

0 Bewertungen filtern
  • Produktbild: Graph Transformation
  • Produktbild: Graph Transformation

  • Theoretical Advances.- Conditional Bigraphs.- Confluence up to Garbage.- Computing embeddings of directed bigraphs.- A Categorical Semantics for Guarded Petri Nets.- Unfolding Symbolic Attributed Graph Grammars.- Single Pushout Rewriting in Comprehensive Systems.- Initial Conflicts for Transformation Rules with Nested Application Conditions.- Patch Graph Rewriting.- Hypergraph basic categorial grammars.- Multilevel Typed Graph Transformations.- Application Domains.- Rewriting Theory for the Life Sciences: A Unifying Framework for CTMC Semantics.- Algebras for tree decomposable graphs.- Graph Parsing as Graph Transformation - Correctness of Predictive Top-Down Parsers.- Graph Consistency as a Graduated Property: Consistency-Sustaining and -Improving Graph Transformations.- Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions.- Optimistic and Pessimistic On-the- y Analysis for Metric Temporal Graph Logic.- Tool Presentations.- A Flexible and Easy-to-Use Library for the Rapid Development of Graph Tools in Java.- Multiscale graph grammars can generate Cayley graphs of groups and monoids.- The Glasgow Subgraph Solver: Using Constraint Programming to Tackle Hard Subgraph Isomorphism Problem Variants.- A Simulator for Probabilistic Timed Graph Transformation Systems with Complex Large-Scale Topologies.