ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Fundamentals of Algebraic Graph Transformation

دانلود کتاب مبانی تبدیل نمودار جبری

Fundamentals of Algebraic Graph Transformation

مشخصات کتاب

Fundamentals of Algebraic Graph Transformation

دسته بندی: نظریه نمودار
ویرایش:  
نویسندگان: , , ,   
سری: Monographs in Theoretical Computer Science. An EATCS Series 
ISBN (شابک) : 9783540311874, 3540311874 
ناشر: Springer 
سال نشر: 2006 
تعداد صفحات: 383 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 مگابایت

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



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

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


در صورت تبدیل فایل کتاب Fundamentals of Algebraic Graph Transformation به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب مبانی تبدیل نمودار جبری نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب مبانی تبدیل نمودار جبری

راف ها به طور گسترده ای برای نمایش اطلاعات ساختاری در قالب اشیاء و ارتباطات بین آنها استفاده می شوند. تبدیل گراف، دستکاری نمودارها مبتنی بر قانون است، مفهومی که به طور فزاینده ای مهم در علوم کامپیوتر و زمینه های مرتبط است. این اولین کتاب درسی رویکرد جبری به تبدیل گراف است که بر اساس ساختارهای جبری و نظریه مقوله است. بخش اول مقدمه ای بر حالت کلاسیک گراف و تبدیل گراف تایپ شده است. در بخش دوم، نتایج اولیه و پیشرفته ابتدا برای یک شکل انتزاعی از سیستم‌های جایگزین، به اصطلاح سیستم‌های جایگزینی سطح بالا چسبنده بر اساس نظریه دسته‌بندی نشان داده می‌شوند، و سپس به چندین شکل از نمودار و سیستم‌های تبدیل شبکه پتری نشان داده می‌شوند. بخش سوم تبدیل گراف منتسب به تایپ را توسعه می‌دهد، تکنیکی که در مدل‌سازی زبان‌های بصری و تبدیل مدل اهمیت دارد. بخش چهارم شامل یک مطالعه موردی عملی در مورد تبدیل مدل و ارائه محیط ابزار AGG (گرامر نسبت داده شده) است. در نهایت ضمیمه مبانی نظریه دسته بندی، امضاها و جبرها را پوشش می دهد. این کتاب هم به دانشمندان محقق و هم دانشجویان فارغ التحصیل در علوم کامپیوتر، ریاضیات و مهندسی می پردازد.


توضیحاتی درمورد کتاب به خارجی

raphs are widely used to represent structural information in the form of objects and connections between them. Graph transformation is the rule-based manipulation of graphs, an increasingly important concept in computer science and related fields. This is the first textbook treatment of the algebraic approach to graph transformation, based on algebraic structures and category theory. Part I is an introduction to the classical case of graph and typed graph transformation. In Part II basic and advanced results are first shown for an abstract form of replacement systems, so-called adhesive high-level replacement systems based on category theory, and are then instantiated to several forms of graph and Petri net transformation systems. Part III develops typed attributed graph transformation, a technique of key relevance in the modeling of visual languages and in model transformation. Part IV contains a practical case study on model transformation and a presentation of the AGG (attributed graph grammar) tool environment. Finally the appendix covers the basics of category theory, signatures and algebras. The book addresses both research scientists and graduate students in computer science, mathematics and engineering.



فهرست مطالب

Front Matter....Pages 1-3
General Introduction....Pages 5-20
Graphs, Typed Graphs, and the Gluing Construction....Pages 21-35
Graph Transformation Systems....Pages 37-71
Front Matter....Pages 73-75
Adhesive High-Level Replacement Categories....Pages 77-100
Adhesive High-Level Replacement Systems....Pages 101-124
Embedding and Local Confluence....Pages 125-149
Constraints and Application Conditions....Pages 151-165
Front Matter....Pages 167-170
Typed Attributed Graphs....Pages 171-180
Typed Attributed Graph Transformation Systems....Pages 181-205
Embedding and Local Confluence for Typed AGT Systems....Pages 207-220
Adhesive HLR Categories for Typed Attributed Graphs....Pages 221-236
Constraints, Application Conditions and Termination for Typed AGT Systems....Pages 237-257
Typed Attributed Graph Transformation with Inheritance....Pages 259-281
Front Matter....Pages 283-285
Case Study on Model Transformation....Pages 287-304
Implementation of Typed Attributed Graph Transformation by AGG....Pages 305-323




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

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