03655nam 22008535 450 991048195600332120230329181516.03-319-09108-510.1007/978-3-319-09108-2(CKB)3710000000219405(SSID)ssj0001296961(PQKBManifestationID)11763973(PQKBTitleCode)TC0001296961(PQKBWorkID)11353592(PQKB)10375584(DE-He213)978-3-319-09108-2(MiAaPQ)EBC6288174(MiAaPQ)EBC5610949(Au-PeEL)EBL5610949(OCoLC)883660589(PPN)179925741(EXLCZ)99371000000021940520140704d2014 u| 0engurnn#008mamaatxtccrGraph Transformation 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings /edited by Holger Giese, Barbara König1st ed. 2014.Cham :Springer International Publishing :Imprint: Springer,2014.1 online resource (XII, 285 p. 110 illus.)Theoretical Computer Science and General Issues,2512-2029 ;8571Includes index.3-319-09107-7 Verification -- Meta-Modelling and Model Transformations -- Rewriting and Applications in Biology -- Graph Languages and Graph Transformation -- Applications. Meta-Modelling and Model Transformations -- Rewriting and Applications in Biology -- Graph Languages and Graph Transformation -- Applications.This book constitutes the proceedings of the 7th International Conference on Graph Transformations, ICGT 2014, held in York, UK, in July 2014. The 17 papers and 1 invited paper presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on verification, meta-modelling and model transformations, rewriting and applications in biology, graph languages and graph transformation, and applications.Theoretical Computer Science and General Issues,2512-2029 ;8571Computer science—MathematicsDiscrete mathematicsSoftware engineeringArtificial intelligence—Data processingComputer scienceAlgorithmsMachine theoryDiscrete Mathematics in Computer ScienceSoftware EngineeringData ScienceComputer Science Logic and Foundations of ProgrammingAlgorithmsFormal Languages and Automata TheoryComputer science—Mathematics.Discrete mathematics.Software engineering.Artificial intelligence—Data processing.Computer science.Algorithms.Machine theory.Discrete Mathematics in Computer Science.Software Engineering.Data Science.Computer Science Logic and Foundations of Programming.Algorithms.Formal Languages and Automata Theory.511.5Giese Holgeredthttp://id.loc.gov/vocabulary/relators/edtKönig Barbaraedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910481956003321Graph Transformation2896451UNINA