LEADER 03655nam  22008535  450 
001 9910481956003321
005 20230329181516.0
010   $a3-319-09108-5
024 7 $a10.1007/978-3-319-09108-2
035   $a(CKB)3710000000219405
035   $a(SSID)ssj0001296961
035   $a(PQKBManifestationID)11763973
035   $a(PQKBTitleCode)TC0001296961
035   $a(PQKBWorkID)11353592
035   $a(PQKB)10375584
035   $a(DE-He213)978-3-319-09108-2
035   $a(MiAaPQ)EBC6288174
035   $a(MiAaPQ)EBC5610949
035   $a(Au-PeEL)EBL5610949
035   $a(OCoLC)883660589
035   $a(PPN)179925741
035   $a(EXLCZ)993710000000219405
100   $a20140704d2014      u|         0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aGraph Transformation $e7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings /$fedited by Holger Giese, Barbara König
205   $a1st ed. 2014.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2014.
215   $a1 online resource (XII, 285 p. 110 illus.)
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8571
300   $aIncludes index.
311   $a3-319-09107-7 
327   $aVerification -- 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.
330   $aThis 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.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8571
606   $aComputer science?Mathematics
606   $aDiscrete mathematics
606   $aSoftware engineering
606   $aArtificial intelligence?Data processing
606   $aComputer science
606   $aAlgorithms
606   $aMachine theory
606   $aDiscrete Mathematics in Computer Science
606   $aSoftware Engineering
606   $aData Science
606   $aComputer Science Logic and Foundations of Programming
606   $aAlgorithms
606   $aFormal Languages and Automata Theory
615  0$aComputer science?Mathematics.
615  0$aDiscrete mathematics.
615  0$aSoftware engineering.
615  0$aArtificial intelligence?Data processing.
615  0$aComputer science.
615  0$aAlgorithms.
615  0$aMachine theory.
615 14$aDiscrete Mathematics in Computer Science.
615 24$aSoftware Engineering.
615 24$aData Science.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aAlgorithms.
615 24$aFormal Languages and Automata Theory.
676   $a511.5
702   $aGiese$b Holger$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aKönig$b Barbara$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910481956003321
996   $aGraph Transformation$92896451
997   $aUNINA