|
|
|
|
| LEADER |
03500nam a22006135i 4500 |
| 001 |
978-3-030-23611-3 |
| 003 |
DE-He213 |
| 005 |
20210624214719.0 |
| 007 |
cr nn 008mamaa |
| 008 |
190624s2019 gw | s |||| 0|eng d |
| 020 |
|
|
|a 9783030236113
|9 978-3-030-23611-3
|
| 024 |
7 |
|
|a 10.1007/978-3-030-23611-3
|2 doi
|
| 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 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings /
|c edited by Esther Guerra, Fernando Orejas.
|
| 250 |
|
|
|a 1st ed. 2019.
|
| 264 |
|
1 |
|a Cham :
|b Springer International Publishing :
|b Imprint: Springer,
|c 2019.
|
| 300 |
|
|
|a X, 231 p. 303 illus., 32 illus. in color.
|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 11629
|
| 505 |
0 |
|
|a Theory -- Analysis and Verification -- Tools and Applications -- Transformation Rules Construction and Matching.
|
| 520 |
|
|
|a This book constitutes the refereed proceedings of the 12th International Conference on Graph Transformation, ICGT 2019, held as part of STAF 2019, in Eindhoven, The Netherlands, in July2019. The 12 research papers and 1 tool paper presented in this book were carefully reviewed and selected from 22 submissions. The papers deal with the following topics: Theory, Analysis and Verification, Tools and Applications, and Transformation Rules Construction and Matching.
|
| 650 |
|
0 |
|a Computer science—Mathematics.
|
| 650 |
|
0 |
|a Algorithms.
|
| 650 |
|
0 |
|a Programming languages (Electronic computers).
|
| 650 |
|
0 |
|a Software engineering.
|
| 650 |
|
0 |
|a Computer programming.
|
| 650 |
|
0 |
|a Data structures (Computer science).
|
| 650 |
1 |
4 |
|a Discrete Mathematics in Computer Science.
|0 https://scigraph.springernature.com/ontologies/product-market-codes/I17028
|
| 650 |
2 |
4 |
|a Algorithm Analysis and Problem Complexity.
|0 https://scigraph.springernature.com/ontologies/product-market-codes/I16021
|
| 650 |
2 |
4 |
|a Programming Languages, Compilers, Interpreters.
|0 https://scigraph.springernature.com/ontologies/product-market-codes/I14037
|
| 650 |
2 |
4 |
|a Software Engineering.
|0 https://scigraph.springernature.com/ontologies/product-market-codes/I14029
|
| 650 |
2 |
4 |
|a Programming Techniques.
|0 https://scigraph.springernature.com/ontologies/product-market-codes/I14010
|
| 650 |
2 |
4 |
|a Data Structures.
|0 https://scigraph.springernature.com/ontologies/product-market-codes/I15017
|
| 700 |
1 |
|
|a Guerra, Esther.
|e editor.
|0 (orcid)0000-0002-2818-2278
|1 https://orcid.org/0000-0002-2818-2278
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
| 700 |
1 |
|
|a Orejas, Fernando.
|e editor.
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
| 710 |
2 |
|
|a SpringerLink (Online service)
|
| 773 |
0 |
|
|t Springer Nature eBook
|
| 776 |
0 |
8 |
|i Printed edition:
|z 9783030236106
|
| 776 |
0 |
8 |
|i Printed edition:
|z 9783030236120
|
| 830 |
|
0 |
|a Theoretical Computer Science and General Issues ;
|v 11629
|
| 856 |
4 |
0 |
|u https://doi.org/10.1007/978-3-030-23611-3
|
| 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)
|
