• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Ljudböcker
  • Pocketböcker
  • Spel & pussel

Upp till 25% på utvalda nyheter →

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Populära bokserier
    • Barnbokskaraktärer
    • Populära författare
    Logotyp för Bokus
    Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
    bokus @ CookiesAnpassa cookiesIntegritetspolicyKöpvillkor
    Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
    1. Data och IT
    2. Systemvetenskap och AI

    Graph Transformation

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

    AvFabio Gadducci,Timo Kehrer

    Häftad, Engelska, 2020

    Del 12150 i serien Lecture Notes in Computer Science

    547 kr

    Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

    Beskrivning

    This book constitutes the refereed proceedings of the 13th International Conference on Graph Transformation, ICGT 2020, in Bergen, Norway, in June 2020.*The 16 research papers and 4 tool paper presented in this book were carefully reviewed and selected from 40 submissions. One invited paper is also included. The papers deal with the following topics: theoretical advances; application domains; and tool presentations.*The conference was held virtually due to the COVID-19 pandemic.

    Produktinformation

    • Utgivningsdatum:2020-06-26
    • Mått:155 x 235 x 20 mm
    • Vikt:534 g
    • Format:Häftad
    • Språk:Engelska
    • Serie:Lecture Notes in Computer Science
    • Antal sidor:335
    • Förlag:Springer Nature Switzerland AG
    • ISBN:9783030513719

    Utforska kategorier

    • Systemvetenskap och AI inom Data och IT
    • Databaser inom Data och IT
    • Programmeringsböcker inom Data och IT

    Innehållsförteckning

    • 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.