國立虎尾科技大學 |

Graph Transformation = 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Graph Transformation/ edited by Leen Lambers, Jens Weber.
其他題名:	11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings /
其他作者:	Lambers, Leen.
面頁冊數:	XVI, 179 p. 60 illus.online resource. :
Contained By:	Springer Nature eBook
標題:	Computer science—Mathematics. -
電子資源:	https://doi.org/10.1007/978-3-319-92991-0
ISBN:	9783319929910

Graph Transformation = 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings /
Graph Transformation11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings /[electronic resource] :edited by Leen Lambers, Jens Weber. - 1st ed. 2018. - XVI, 179 p. 60 illus.online resource. - Theoretical Computer Science and General Issues ;10887. - Theoretical Computer Science and General Issues ;9163.

Graph languages -- Graph transformation formalisms -- Parallel independence and conflicts -- Graph conditions and verification.

This book constitutes the refereed proceedings of the 11th International Conference on Graph Transformation, ICGT 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 9 full papers, 2 short papers and 1 keynote presented in this book were carefully reviewed and selected from 16 submissions. The papers deal with the following topics: graph languages; graph transformation formalisms; parallel independence and conflicts; and graph conditions and verification.

ISBN: 9783319929910

Standard No.: 10.1007/978-3-319-92991-0doiSubjects--Topical Terms:

1253519
Computer science—Mathematics.

LC Class. No.: QA76.9.M35

Dewey Class. No.: 004.0151

Graph Transformation = 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings /
LDR:02117nam a22004215i 4500 001 994862
003 DE-He213
005 20200629114105.0
007 cr nn 008mamaa
008 201225s2018 gw | s |||| 0|eng d
020 $a 9783319929910 $9 978-3-319-92991-0
024 7 $a 10.1007/978-3-319-92991-0 $2 doi
035 $a 978-3-319-92991-0
050 4 $a QA76.9.M35
072 7 $a PBD $2 bicssc
072 7 $a COM018000 $2 bisacsh
072 7 $a PBD $2 thema
072 7 $a UYAM $2 thema
082 0 4 $a 004.0151 $2 23
245 1 0 $a Graph Transformation $h [electronic resource] : $b 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings / $c edited by Leen Lambers, Jens Weber.
250 $a 1st ed. 2018.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2018.
300 $a XVI, 179 p. 60 illus. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Theoretical Computer Science and General Issues ; $v 10887
505 0 $a Graph languages -- Graph transformation formalisms -- Parallel independence and conflicts -- Graph conditions and verification.
520 $a This book constitutes the refereed proceedings of the 11th International Conference on Graph Transformation, ICGT 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 9 full papers, 2 short papers and 1 keynote presented in this book were carefully reviewed and selected from 16 submissions. The papers deal with the following topics: graph languages; graph transformation formalisms; parallel independence and conflicts; and graph conditions and verification.
650 0 $a Computer science—Mathematics. $3 1253519
650 0 $a Algorithms. $3 527865
650 0 $a Mathematical logic. $2 bicssc $3 810627
650 0 $a Data structures (Computer science). $3 680370
650 0 $a Programming languages (Electronic computers). $3 1127615
650 0 $a Computer programming. $3 527822
650 1 4 $a Discrete Mathematics in Computer Science. $3 670123
650 2 4 $a Algorithm Analysis and Problem Complexity. $3 593923
650 2 4 $a Mathematical Logic and Formal Languages. $3 670059
650 2 4 $a Data Structures. $3 669824
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 669782
650 2 4 $a Programming Techniques. $3 669781
700 1 $a Lambers, Leen. $e editor. $1 https://orcid.org/0000-0001-6937-5167 $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1286033
700 1 $a Weber, Jens. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1077008
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783319929903
776 0 8 $i Printed edition: $z 9783319929927
830 0 $a Theoretical Computer Science and General Issues ; $v 9163 $3 1253524
856 4 0 $u https://doi.org/10.1007/978-3-319-92991-0
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
912 $a ZDB-2-LNC
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)