دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Graph Transformation: 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings
دانلود کتاب تبدیل نمودار: نهمین کنفرانس بین المللی، ICGT 2016، به یاد هارتموت اریگ، به عنوان بخشی از STAF 2016 برگزار شد، وین، اتریش، 5-6 ژوئیه، 2016، مجموعه مقالات
مشخصات کتاب
Graph Transformation: 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings
ویرایش: 1st ed. نویسندگان: Rachid Echahed, Mark Minas, Ehrig. Hartmut سری: Springer Lecture notes in computer science 9761 ISBN (شابک) : 3319405292, 3319405306 ناشر: Springer سال نشر: 2016 تعداد صفحات: 263 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 13 مگابایت
قیمت کتاب (تومان) : 44,000
کلمات کلیدی مربوط به کتاب تبدیل نمودار: نهمین کنفرانس بین المللی، ICGT 2016، به یاد هارتموت اریگ، به عنوان بخشی از STAF 2016 برگزار شد، وین، اتریش، 5-6 ژوئیه، 2016، مجموعه مقالات: Graph-Grammatik، Graphersetzungssystem، Hypergraph
در صورت تبدیل فایل کتاب Graph Transformation: 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تبدیل نمودار: نهمین کنفرانس بین المللی، ICGT 2016، به یاد هارتموت اریگ، به عنوان بخشی از STAF 2016 برگزار شد، وین، اتریش، 5-6 ژوئیه، 2016، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تبدیل نمودار: نهمین کنفرانس بین المللی، ICGT 2016، به یاد هارتموت اریگ، به عنوان بخشی از STAF 2016 برگزار شد، وین، اتریش، 5-6 ژوئیه، 2016، مجموعه مقالات
این کتاب مجموعه مقالات داوری نهمین کنفرانس بین‌المللی تبدیل
نمودار، ICGT 2016 است که به عنوان بخشی از STAF 2016، در وین،
اتریش، در ژوئیه 2016 برگزار شد.
14 مقاله ارائه شده در این مقاله با دقت بررسی و از 33 مقاله
انتخاب شدند. ارسالی ها آنها در بخش های موضوعی به نام های:
مبانی، ابزارها و الگوریتم ها، پرس و جوها و برنامه ها سازماندهی
شدند.
کتاب همچنین حاوی یک مقاله کلیدی در طول مقاله است. این کتاب به
هارتموت اهریگ، یکی از پدران و سازنده‌ترین اعضای انجمن گراف
ترانسفورمشن، که در سال 2016 درگذشت، تقدیم شده است.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 9th
International Conference on Graph Transformation, ICGT 2016,
held as part of STAF 2016, in Vienna, Austria, in July
2016.
The 14 papers presented in this were carefully reviewed and
selected from 33 submissions. They were organized in topical
sections named: foundations, tools and algorithms, queries, and
applications.
The book also contains one keynote paper in full paper length.
The book is dedicated to Hartmut Ehrig, one of the fathers and
most productive members of the Graph Transformation community,
who passed away in 2016. An obituary is included in the front
matter of the volume.
فهرست مطالب
Front Matter....Pages I-XVIII
Front Matter....Pages 1-1
Complexity is the Only Constant: Trends in Computing and Their Relevance to Model Driven Engineering....Pages 3-18
Front Matter....Pages 19-19
Sesqui-Pushout Rewriting with Type Refinements....Pages 21-36
Parallelism in AGREE Transformations....Pages 37-53
Model Checking Reconfigurable Petri Nets with Maude....Pages 54-70
Front Matter....Pages 71-71
A Software Package for Chemically Inspired Graph Transformation....Pages 73-88
A Tool Environment for Managing Families of Model Transformation Rules....Pages 89-101
Compiling Graph Programs to C....Pages 102-117
An Algorithm for the Critical Pair Analysis of Amalgamated Graph Transformations....Pages 118-134
Front Matter....Pages 135-135
Rete Network Slicing for Model Queries....Pages 137-152
An SQL-Based Query Language and Engine for Graph Pattern Matching....Pages 153-169
On the Operationalization of Graph Queries with Generalized Discrimination Networks....Pages 170-186
Front Matter....Pages 187-187
The Incremental Advantage: Evaluating the Performance of a TGG-based Visualisation Framework....Pages 189-205
Automatic Inference of Graph Transformation Rules Using the Cyclic Nature of Chemical Reactions....Pages 206-222
Using Graph Transformation for Puzzle Game Level Generation and Validation....Pages 223-235
Graph Transformation Meets Reversible Circuits: Model Transformation and Optimization....Pages 236-251
Back Matter....Pages 253-253
