Cantitate/Preț
Produs
Total produse
Vezi coșul
Graph Transformation de Russ Harmer

Graph Transformation: Lecture Notes in Computer Science, cartea 14774

Editat de Russ Harmer, Jens Kosiol
en Limba Engleză Paperback – 11 iul 2024
This book constitutes the refereed proceedings of the 17th International Conference on Graph Transformation, ICGT 2024, held in Enschede, The Netherlands, during  July 10–11, 2024.

The 10 full papers and 3 short papers included in this book were carefully reviewed and selected from 21 submissions. They were organized in topical sections as follows: Theoretical Advances; Application Domains; and Tool and Blue Skies Presentations.
Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 40201 lei

Preț vechi: 50251 lei
-20%

Puncte Express: 603
Preț estimativ în valută:
7108€ • 8215$ • 6141£

Carte disponibilă

Livrare economică 13-27 aprilie

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9783031642845
ISBN-10: 3031642848
Pagini: 252
Ilustrații: XII, 239 p. 82 illus., 36 illus. in color.
Dimensiuni: 155 x 235 x 14 mm
Greutate: 0.39 kg
Ediția:2024
Editura: Springer
Colecția Lecture Notes in Computer Science
Seria Lecture Notes in Computer Science

Locul publicării:Cham, Switzerland

Cuprins

.- Graphs, logics and transformations for effective risk analysis.
.- Theoretical Advances.
.- Linear-Time Graph Programs for Unbounded-Degree Graphs.
.- A Bigraph Paper of Sorts.
.- Generalized Weighted Type Graphs for Termination of Graph Transformation Systems.
.- Extension and Restriction of Derivations in Adhesive Categories.
.- Causal Graph Dynamics and Kan Extensions.
.- Application Domains.
.- The ‘Causality’ Quagmire for Formalised Bond Graphs.
.- Localized RETE for Incremental Graph Queries.
.- Using application conditions to rank graph transformations for graph repair.
.- Deriving Delay-Robust Timed Graph Transformation System Models.
.- Taint Analysis for Graph APIs Focusing on Broken Access Control.
.- Tool and Blue Skies Presentations.
.- Checking Transaction Isolation Violations with Graph Queries.
.- Can I teach graph rewriting to my chatbot?.
.- A Graph Transformation-Based Engine for the Automated Exploration of Constraint Models.