KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

Gültig bis 21.10.2026 | Gültig für nicht preisgebundene fremdsprachige Bücher | Einzelne Artikel können ausgeschlossen sein | Online auf thalia.de und in der Thalia App einlösbar | Click & Collect nur mit Online-Zahlung (Paypal/Kreditkarte) vorab | Nicht kombinierbar mit anderen Gutscheinen oder Preisaktionen | Nur einmal pro Einkauf einlösbar | Gutschein wird auf max. 500€ Bestellwert angerechnet | Keine Barauszahlung | Nicht gültig für Versandkosten und Services
Produktbild: Graph Transformation
Band 12741

Graph Transformation 14th International Conference, ICGT 2021, Held as Part of STAF 2021, Virtual Event, June 24–25, 2021, Proceedings

Aus der Reihe Lecture Notes in Computer Science

53,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

18.06.2021

Abbildungen

XII, 303 p. 64 illus., 10 illus. in color.

Herausgeber

Fabio Gadducci + weitere

Verlag

Springer

Seitenzahl

303

Maße (L/B/H)

23,5/15,5/1,8 cm

Gewicht

482 g

Auflage

1st ed. 2021

Sprache

Englisch

ISBN

978-3-030-78945-9

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

18.06.2021

Abbildungen

XII, 303 p. 64 illus., 10 illus. in color.

Herausgeber

Verlag

Springer

Seitenzahl

303

Maße (L/B/H)

23,5/15,5/1,8 cm

Gewicht

482 g

Auflage

1st ed. 2021

Sprache

Englisch

ISBN

978-3-030-78945-9

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben und erhalten Sie dafür eine Thalia Geschenkkarte.

Jetzt verkaufen
Jetzt verkaufen

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Graph Transformation

  • Theoretical Advances.- Concurrency Theorems for Non-linear Rewriting Theories.- A Generalized Concurrent Rule Construction for Double-Pushout Rewriting.- Transformations of Reaction Systems over Categories by means of Epi-Mono Factorization and Functors.- Graph Rewriting and Relabeling with PBPO+.- Incorrectness Logic for Graph Programs.- Powerful and NP-Complete: Hypergraph Lambek Grammars.- Evaluation Diversity for Graph Conditions.- Application Domains.- Host-Graph-Sensitive RETE Nets for Incremental Graph Pattern Matching.- Rule-Based Top-Down Parsing for Acyclic Contextual Hyperedge Replacement Grammars.- Nets with Mana: A Framework for Chemical Reaction Modelling.- A Case Study on the Graph-transformational Modeling and Analysis of Puzzles.- Interval Probabilistic Timed Graph Transformation Systems.- Verifying Graph Programs with Monadic Second-Order Logic.- On the Complexity of Simulating Probabilistic Timed Graph Transformation Systems.- Tool Presentations.- Automated Checking and Completion of Backward Confluence for Hyperedge Replacement Grammars.- GrapePress - A Computational Notebook for Graph Transformations.