Please use this identifier to cite or link to this item:
http://localhost/handle/Hannan/1218
Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Lambers, Leen. ; | en_US |
| dc.contributor.author | Weber, Jens. ; | en_US |
| dc.date.accessioned | 2013 | en_US |
| dc.date.accessioned | 2020-05-17T08:26:36Z | - |
| dc.date.available | 2020-05-17T08:26:36Z | - |
| dc.date.issued | 2018 | en_US |
| dc.identifier.isbn | 9783319929910 ; | en_US |
| dc.identifier.isbn | 9783319929903 (print) ; | en_US |
| dc.identifier.uri | http://localhost/handle/Hannan/1218 | - |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description | SpringerLink (Online service) ; | en_US |
| dc.description | Printed edition: ; 9783319929903. ; | en_US |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description.abstract | 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. ; | en_US |
| dc.description.statementofresponsibility | edited by Leen Lambers, Jens Weber. | en_US |
| dc.description.tableofcontents | Graph languages -- Graph transformation formalisms -- Parallel independence and conflicts -- Graph conditions and verification. ; | en_US |
| dc.format.extent | XVI, 179 p. 60 illus. ; online resource. ; | en_US |
| dc.publisher | Springer International Publishing : | en_US |
| dc.publisher | Imprint: Springer, | en_US |
| dc.relation.ispartofseries | Lecture Notes in Computer Science, ; 0302-9743 ; ; 10887. ; | en_US |
| dc.relation.ispartofseries | Lecture Notes in Computer Science, ; 0302-9743 ; ; 10887. ; | en_US |
| dc.relation.haspart | 9783319929903.pdf | en_US |
| dc.subject | Computer Science | en_US |
| dc.subject | Computer Programming | en_US |
| dc.subject | Programming Languages and Electronic Computers | en_US |
| dc.subject | Data structures (Computer science). ; | en_US |
| dc.subject | Algorithms | en_US |
| dc.subject | Mathematical logic. ; | en_US |
| dc.subject | Computer Science and Mathematics | en_US |
| dc.subject | Computer Science | en_US |
| dc.subject | Discrete Mathematics in Computer Science. ; | en_US |
| dc.subject | Algorithm Analysis and Problem Complexity. ; | en_US |
| dc.subject | Mathematical Logic and Formal Languages. ; | en_US |
| dc.subject | Data Structures. ; | en_US |
| dc.subject | Programming Languages and Compilers and Interpreters | en_US |
| dc.subject | Programming Techniques | en_US |
| dc.subject.ddc | 004.0151 ; 23 ; | en_US |
| dc.subject.lcc | QA76.9.M35 ; | en_US |
| dc.title | Graph Transformation | en_US |
| dc.title.alternative | 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25ee26, 2018, Proceedings / | en_US |
| dc.type | Book | en_US |
| dc.publisher.place | Cham : | en_US |
| Appears in Collections: | مدیریت فناوری اطلاعات | |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 9783319929903.pdf | 6.23 MB | Adobe PDF |  Preview File |
Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Lambers, Leen. ; | en_US |
| dc.contributor.author | Weber, Jens. ; | en_US |
| dc.date.accessioned | 2013 | en_US |
| dc.date.accessioned | 2020-05-17T08:26:36Z | - |
| dc.date.available | 2020-05-17T08:26:36Z | - |
| dc.date.issued | 2018 | en_US |
| dc.identifier.isbn | 9783319929910 ; | en_US |
| dc.identifier.isbn | 9783319929903 (print) ; | en_US |
| dc.identifier.uri | http://localhost/handle/Hannan/1218 | - |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description | SpringerLink (Online service) ; | en_US |
| dc.description | Printed edition: ; 9783319929903. ; | en_US |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description.abstract | 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. ; | en_US |
| dc.description.statementofresponsibility | edited by Leen Lambers, Jens Weber. | en_US |
| dc.description.tableofcontents | Graph languages -- Graph transformation formalisms -- Parallel independence and conflicts -- Graph conditions and verification. ; | en_US |
| dc.format.extent | XVI, 179 p. 60 illus. ; online resource. ; | en_US |
| dc.publisher | Springer International Publishing : | en_US |
| dc.publisher | Imprint: Springer, | en_US |
| dc.relation.ispartofseries | Lecture Notes in Computer Science, ; 0302-9743 ; ; 10887. ; | en_US |
| dc.relation.ispartofseries | Lecture Notes in Computer Science, ; 0302-9743 ; ; 10887. ; | en_US |
| dc.relation.haspart | 9783319929903.pdf | en_US |
| dc.subject | Computer Science | en_US |
| dc.subject | Computer Programming | en_US |
| dc.subject | Programming Languages and Electronic Computers | en_US |
| dc.subject | Data structures (Computer science). ; | en_US |
| dc.subject | Algorithms | en_US |
| dc.subject | Mathematical logic. ; | en_US |
| dc.subject | Computer Science and Mathematics | en_US |
| dc.subject | Computer Science | en_US |
| dc.subject | Discrete Mathematics in Computer Science. ; | en_US |
| dc.subject | Algorithm Analysis and Problem Complexity. ; | en_US |
| dc.subject | Mathematical Logic and Formal Languages. ; | en_US |
| dc.subject | Data Structures. ; | en_US |
| dc.subject | Programming Languages and Compilers and Interpreters | en_US |
| dc.subject | Programming Techniques | en_US |
| dc.subject.ddc | 004.0151 ; 23 ; | en_US |
| dc.subject.lcc | QA76.9.M35 ; | en_US |
| dc.title | Graph Transformation | en_US |
| dc.title.alternative | 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25ee26, 2018, Proceedings / | en_US |
| dc.type | Book | en_US |
| dc.publisher.place | Cham : | en_US |
| Appears in Collections: | مدیریت فناوری اطلاعات | |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 9783319929903.pdf | 6.23 MB | Adobe PDF | Preview File |
Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Lambers, Leen. ; | en_US |
| dc.contributor.author | Weber, Jens. ; | en_US |
| dc.date.accessioned | 2013 | en_US |
| dc.date.accessioned | 2020-05-17T08:26:36Z | - |
| dc.date.available | 2020-05-17T08:26:36Z | - |
| dc.date.issued | 2018 | en_US |
| dc.identifier.isbn | 9783319929910 ; | en_US |
| dc.identifier.isbn | 9783319929903 (print) ; | en_US |
| dc.identifier.uri | http://localhost/handle/Hannan/1218 | - |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description | SpringerLink (Online service) ; | en_US |
| dc.description | Printed edition: ; 9783319929903. ; | en_US |
| dc.description | en_US | |
| dc.description | en_US | |
| dc.description.abstract | 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. ; | en_US |
| dc.description.statementofresponsibility | edited by Leen Lambers, Jens Weber. | en_US |
| dc.description.tableofcontents | Graph languages -- Graph transformation formalisms -- Parallel independence and conflicts -- Graph conditions and verification. ; | en_US |
| dc.format.extent | XVI, 179 p. 60 illus. ; online resource. ; | en_US |
| dc.publisher | Springer International Publishing : | en_US |
| dc.publisher | Imprint: Springer, | en_US |
| dc.relation.ispartofseries | Lecture Notes in Computer Science, ; 0302-9743 ; ; 10887. ; | en_US |
| dc.relation.ispartofseries | Lecture Notes in Computer Science, ; 0302-9743 ; ; 10887. ; | en_US |
| dc.relation.haspart | 9783319929903.pdf | en_US |
| dc.subject | Computer Science | en_US |
| dc.subject | Computer Programming | en_US |
| dc.subject | Programming Languages and Electronic Computers | en_US |
| dc.subject | Data structures (Computer science). ; | en_US |
| dc.subject | Algorithms | en_US |
| dc.subject | Mathematical logic. ; | en_US |
| dc.subject | Computer Science and Mathematics | en_US |
| dc.subject | Computer Science | en_US |
| dc.subject | Discrete Mathematics in Computer Science. ; | en_US |
| dc.subject | Algorithm Analysis and Problem Complexity. ; | en_US |
| dc.subject | Mathematical Logic and Formal Languages. ; | en_US |
| dc.subject | Data Structures. ; | en_US |
| dc.subject | Programming Languages and Compilers and Interpreters | en_US |
| dc.subject | Programming Techniques | en_US |
| dc.subject.ddc | 004.0151 ; 23 ; | en_US |
| dc.subject.lcc | QA76.9.M35 ; | en_US |
| dc.title | Graph Transformation | en_US |
| dc.title.alternative | 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25ee26, 2018, Proceedings / | en_US |
| dc.type | Book | en_US |
| dc.publisher.place | Cham : | en_US |
| Appears in Collections: | مدیریت فناوری اطلاعات | |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 9783319929903.pdf | 6.23 MB | Adobe PDF | Preview File |