Graph Transformation 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedings
tarafından
Giese, Holger. editor.
Başlık
:
Graph Transformation 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedings
Yazar
:
Giese, Holger. editor.
ISBN
:
9783319091082
Fiziksel Niteleme
:
XII, 285 p. 110 illus. online resource.
Seri
:
Lecture Notes in Computer Science, 8571
İçindekiler
:
Verification -- 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.
Özet
:
This 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.
Konu Başlığı
:
Computer science.
Software engineering.
Data structures (Computer science).
Algorithms.
Computer logic.
Mathematical logic.
Computer science -- Mathematics.
Discrete Mathematics in Computer Science.
Data Structures.
Logics and Meanings of Programs.
Algorithm Analysis and Problem Complexity.
Mathematical Logic and Formal Languages.
Yazar Ek Girişi
:
Giese, Holger.
König, Barbara.
Ek Kurum Yazar
:
SpringerLink (Online service)
Elektronik Erişim
:
| Materyal Türü | Barkod | Yer Numarası | Durumu/İade Tarihi |
|---|
| Electronic Book | 21287-1001 | QA76.9 .M35 | Springer E-Book Collection |