دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Graph Transformation: 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings
دانلود کتاب تحول نمودار: دهمین کنفرانس بین المللی ، ICGT 2017 ، به عنوان بخشی از STAF 2017 ، ماربورگ ، آلمان ، 18-19 ژوئیه 2017 ، مجموعه مقالات
مشخصات کتاب
Graph Transformation: 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings
ویرایش: 1
نویسندگان: Juan de Lara. Detlef Plump (eds.)
سری: Lecture Notes in Computer Science 10373
ISBN (شابک) : 9783319614700, 9783319614694
ناشر: Springer International Publishing
سال نشر: 2017
تعداد صفحات: 239
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 19 مگابایت
قیمت کتاب (تومان) : 60,000
کلمات کلیدی مربوط به کتاب تحول نمودار: دهمین کنفرانس بین المللی ، ICGT 2017 ، به عنوان بخشی از STAF 2017 ، ماربورگ ، آلمان ، 18-19 ژوئیه 2017 ، مجموعه مقالات: ریاضیات گسسته در علوم کامپیوتر، تحلیل الگوریتم و پیچیدگی مسائل، زبان های برنامه نویسی، کامپایلرها، مترجمان، تکنیک های برنامه نویسی، ساختارهای داده، عملکرد و ارزیابی سیستم
در صورت تبدیل فایل کتاب Graph Transformation: 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تحول نمودار: دهمین کنفرانس بین المللی ، ICGT 2017 ، به عنوان بخشی از STAF 2017 ، ماربورگ ، آلمان ، 18-19 ژوئیه 2017 ، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تحول نمودار: دهمین کنفرانس بین المللی ، ICGT 2017 ، به عنوان بخشی از STAF 2017 ، ماربورگ ، آلمان ، 18-19 ژوئیه 2017 ، مجموعه مقالات
این کتاب مجموعه مقالات داوری دهمین کنفرانس بین‌المللی تبدیل
نمودار، ICGT 2017 است که به عنوان بخشی از STAF 2017، در
ماربورگ، آلمان، در ژوئیه 2017 برگزار شد.
14 مقاله ارائه‌شده با دقت بررسی و انتخاب شدند. 23 ارسال. این
مقالات طیف گسترده ای از موضوعات از جمله رویکردهای نظری برای
تبدیل گراف و تأیید آنها، مهندسی مدل محور، واکنش های شیمیایی و
همچنین کاربردهای مختلف را پوشش می دهند. آنها در بخش های
موضوعی زیر سازماندهی شده اند: پایه ها. زبان نمودار و تجزیه;
تجزیه و تحلیل و تأیید؛ و تبدیل مدل و ابزارها.
توضیحاتی درمورد کتاب به خارجی
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.
فهرست مطالب
Front Matter....Pages I-XIV
Front Matter....Pages 1-1
The Pullback-Pushout Approach to Algebraic Graph Transformation....Pages 3-19
Hierarchical Graph Transformation Revisited....Pages 20-35
Geometric Modeling: Consistency Preservation Using Two-Layered Variable Substitutions....Pages 36-53
Chemical Graph Transformation with Stereo-Information....Pages 54-69
Front Matter....Pages 71-71
Specifying Graph Languages with Type Graphs....Pages 73-89
Fusion Grammars: A Novel Approach to the Generation of Graph Languages....Pages 90-105
Predictive Shift-Reduce Parsing for Hyperedge Replacement Grammars....Pages 106-122
Front Matter....Pages 123-123
Granularity of Conflicts and Dependencies in Graph Transformation Systems....Pages 125-141
k-Inductive Invariant Checking for Graph Transformation Systems....Pages 142-158
Probabilistic Timed Graph Transformation Systems....Pages 159-175
Front Matter....Pages 177-177
Leveraging Incremental Pattern Matching Techniques for Model Synchronisation....Pages 179-195
Henshin: A Usability-Focused Framework for EMF Model Transformation Development....Pages 196-208
GRAPE – A Graph Rewriting and Persistence Engine....Pages 209-220
Table Graphs....Pages 221-230
Back Matter....Pages 231-231
