ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب 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

مشخصات کتاب

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. 
نویسندگان: , ,   
سری: Springer Lecture notes in computer science 9761 
ISBN (شابک) : 3319405292, 3319405306 
ناشر: Springer 
سال نشر: 2016 
تعداد صفحات: 263 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 13 مگابایت

قیمت کتاب (تومان) : 34,000



کلمات کلیدی مربوط به کتاب تبدیل نمودار: نهمین کنفرانس بین المللی، ICGT 2016، به یاد هارتموت اریگ، به عنوان بخشی از STAF 2016 برگزار شد، وین، اتریش، 5-6 ژوئیه، 2016، مجموعه مقالات: Graph-Grammatik، Graphersetzungssystem، Hypergraph



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 13


در صورت تبدیل فایل کتاب 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




نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی