Graph Transformation 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings
tarafından
de Lara, Juan. editor. (orcid)0000-0001-9425-6362
Başlık
:
Graph Transformation 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings
Yazar
:
de Lara, Juan. editor. (orcid)0000-0001-9425-6362
ISBN
:
9783319614700
Edisyon
:
1st ed. 2017.
Fiziksel Niteleme
:
XIV, 231 p. 76 illus. online resource.
Seri
:
Theoretical Computer Science and General Issues ; 10373
Özet
:
This book constitutes the refereed proceedings of the 10th International Conference on Graph Transformation, ICGT 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017. The 14 papers presented were carefully reviewed and selected from 23 submissions. The papers cover a wide range of topics including theoretical approaches to graph transformation and their verification, model-driven engineering, chemical reactions as well as various applications. They are organized in the following topical sections: foundations; graph language and parsing; analysis and verification; and model transformation and tools.
Konu Başlığı
:
Computational complexity.
Computer software.
Computer science.
Data structures (Computer scienc.
Computer system performance.
Discrete Mathematics in Computer Science. http://scigraph.springernature.com/things/product-market-codes/I17028
Algorithm Analysis and Problem Complexity. http://scigraph.springernature.com/things/product-market-codes/I16021
Programming Languages, Compilers, Interpreters. http://scigraph.springernature.com/things/product-market-codes/I14037
Programming Techniques. http://scigraph.springernature.com/things/product-market-codes/I14010
Data Structures. http://scigraph.springernature.com/things/product-market-codes/I15017
System Performance and Evaluation. http://scigraph.springernature.com/things/product-market-codes/I13049
Yazar Ek Girişi
:
de Lara, Juan.
Plump, Detlef.
Ek Kurum Yazar
:
SpringerLink (Online service)
Elektronik Erişim
:
Materyal Türü | Barkod | Yer Numarası | Durumu/İade Tarihi |
---|
Electronic Book | 223811-1001 | QA76.9 .M35B | Springer E-Book Collection |