دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Graph Transformation: 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings
دانلود کتاب تبدیل نمودار: هشتمین کنفرانس بین المللی، ICGT 2015، به عنوان بخشی از STAF 2015، L'Aquila، ایتالیا، 21-23 ژوئیه، 2015 برگزار شد.
مشخصات کتاب
Graph Transformation: 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings
ویرایش: [1 ed.]
نویسندگان: Francesco Parisi-Presicce. Bernhard Westfechtel (eds.)
سری: Lecture Notes in Computer Science 9151
ISBN (شابک) : 9783319211442, 9783319211459
ناشر: Springer International Publishing
سال نشر: 2015
تعداد صفحات: XIV, 283
[292]
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 20 Mb
قیمت کتاب (تومان) : 34,000
در صورت تبدیل فایل کتاب Graph Transformation: 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تبدیل نمودار: هشتمین کنفرانس بین المللی، ICGT 2015، به عنوان بخشی از STAF 2015، L'Aquila، ایتالیا، 21-23 ژوئیه، 2015 برگزار شد. نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تبدیل نمودار: هشتمین کنفرانس بین المللی، ICGT 2015، به عنوان بخشی از STAF 2015، L'Aquila، ایتالیا، 21-23 ژوئیه، 2015 برگزار شد.
این کتاب مجموعه مقالات هشتمین کنفرانس بین المللی تحولات نمودار، ICGT 2015 است که در لاکویلا، ایتالیا، در ژوئیه 2015 برگزار شد. از 27 ارسالی مقالات در بخش های موضوعی در مورد پایه سازماندهی شده اند. برنامه ها: مقالات فنی و ارائه ابزار.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the proceedings of the 8th International Conference on Graph Transformations, ICGT 2015, held in L'Aquila, Italy, in July 2015. The 15 full papers presented together with 3 short papers and 1 keynote were carefully reviewed and selected from 27 submissions. The papers are organized in topical sections on foundations; applications: technical papers, and tool presentations.
فهرست مطالب
Front Matter....Pages I-XIV
Front Matter....Pages 1-1
Polymorphic Sesqui-Pushout Graph Rewriting ....Pages 3-18
Predictive Top-Down Parsing for Hyperedge Replacement Grammars....Pages 19-34
AGREE – Algebraic Graph Rewriting with Controlled Embedding....Pages 35-51
Proving Termination of Graph Transformation Systems Using Weighted Type Graphs over Semirings....Pages 52-68
Towards Local Confluence Analysis for Amalgamated Graph Transformation....Pages 69-86
Multi-amalgamated Triple Graph Grammars....Pages 87-103
Reconfigurable Petri Nets with Transition Priorities and Inhibitor Arcs....Pages 104-120
Reachability in Graph Transformation Systems and Slice Languages....Pages 121-137
Equational Reasoning with Context-Free Families of String Diagrams....Pages 138-154
Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations....Pages 155-170
Characterizing Conflicts Between Rule Application and Rule Evolution in Graph Transformation Systems....Pages 171-186
Front Matter....Pages 187-187
Graph Pattern Matching as an Embedded Clojure DSL....Pages 189-204
Using Graph Transformations for Formalizing Prescriptions and Monitoring Adherence ....Pages 205-220
Towards Compliance Verification Between Global and Local Process Models....Pages 221-236
Inductive Invariant Checking with Partial Negative Application Conditions....Pages 237-253
Front Matter....Pages 255-255
Tool Support for Multi-amalgamated Triple Graph Grammars....Pages 257-265
Uncover: Using Coverability Analysis for Verifying Graph Transformation Systems....Pages 266-274
Local Search-Based Pattern Matching Features in EMF-IncQuery ....Pages 275-282
Back Matter....Pages 283-283
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Harvard lectures on the Originality of Greece
