ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Graph Transformations: 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27–October 2, 2010. Proceedings

دانلود کتاب تبدیل نمودارها: پنجمین کنفرانس بین المللی، ICGT 2010، Enschede، هلند، 27 سپتامبر - اکتبر 2، 2010. پرونده ها

Graph Transformations: 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27–October 2, 2010. Proceedings

مشخصات کتاب

Graph Transformations: 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27–October 2, 2010. Proceedings

دسته بندی: کامپیوتر
ویرایش: 1 
نویسندگان: , , , ,   
سری: Lecture Notes in Computer Science 6372 : Theoretical Computer Science and General Issues 
ISBN (شابک) : 3642159273, 9783642159275 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2010 
تعداد صفحات: 430 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 7 مگابایت

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



کلمات کلیدی مربوط به کتاب تبدیل نمودارها: پنجمین کنفرانس بین المللی، ICGT 2010، Enschede، هلند، 27 سپتامبر - اکتبر 2، 2010. پرونده ها: ریاضیات گسسته در علوم کامپیوتر، مهندسی نرم افزار، ساختارهای داده، منطق و معانی برنامه ها، تحلیل الگوریتم و پیچیدگی مسائل، منطق ریاضی و زبان های رسمی



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

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


در صورت تبدیل فایل کتاب Graph Transformations: 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27–October 2, 2010. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب تبدیل نمودارها: پنجمین کنفرانس بین المللی، ICGT 2010، Enschede، هلند، 27 سپتامبر - اکتبر 2، 2010. پرونده ها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب تبدیل نمودارها: پنجمین کنفرانس بین المللی، ICGT 2010، Enschede، هلند، 27 سپتامبر - اکتبر 2، 2010. پرونده ها



نمودارها یکی از ساده‌ترین و جهانی‌ترین مدل‌ها برای انواع سیستم‌ها هستند، نه فقط در علوم کامپیوتر، بلکه در سراسر مهندسی و علوم زیستی. هنگامی که سیستم ها تکامل می یابند، ما به نحوه تغییر آنها علاقه مندیم، به پیش بینی، حمایت یا واکنش نسبت به تکامل آنها علاقه مندیم. تبدیل نمودار ایده گراف ها را به عنوان یک الگوی مدل سازی جهانی با یک رویکرد مبتنی بر قانون ترکیب می کند تا تکامل آنها را مشخص کند. این منطقه هم با تئوری تبدیل گراف و هم به کاربرد آنها در حوزه های مختلف مربوط می شود. کنفرانس‌های بین‌المللی دوسالانه تغییر گراف با هدف گردهم‌آوری پژوهشگران و متخصصان علاقه‌مند به مبانی و کاربردهای تبدیل نمودار انجام می‌شود. پنجمین کنفرانس، ICGT 2010، در دانشگاه Twente (هلند) در سپتامبر/اکتبر 2010 برگزار شد. در بارسلونا (اسپانیا) در سال 2002، رم (ایتالیا) 2004، ناتال (برزیل) در سال 2006 و لستر (بریتانیا) در سال 2008، و همچنین مجموعه ای از شش کارگاه بین المللی در مورد تبدیل نمودار با کاربرد در علوم کامپیوتر از سال 1978 تا 1998 برگزار شد. همچنین، ICGT با مجموعه کارگاه‌های مربوط به کاربرد تبدیل نمودار با ارتباط صنعتی (AGTIVE) جایگزین می‌شود. این کنفرانس تحت نظارت EATCS و EASST برگزار شد.


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

Graphs are among the simplest and most universal models for a variety of s- tems, not just in computer science, but throughout engineering and the life sciences. When systems evolve we are interested in the way they change, to p- dict, support, or react to their evolution. Graph transformation combines the idea of graphs as a universal modelling paradigm with a rule-based approach to specify their evolution. The area is concerned with both the theory of graph transformation and their application to a variety of domains. The biannual International Conferences on Graph Transformation aim at bringingtogetherresearchersandpractitionersinterestedin the foundations and applicationsof graphtransformation.The ?fth conference,ICGT 2010,was held at the University of Twente (The Netherlands) in September/October 2010, alongwith severalsatellite events.It continuedthe line ofconferences previously held in Barcelona (Spain) in 2002, Rome (Italy) 2004, Natal (Brazil) in 2006 and Leicester (UK) in 2008, as well as a series of six International Workshops on Graph Transformation with Applications in Computer Science from 1978 to 1998. Also, ICGT alternates with the workshop series on Application of Graph Transformation with Industrial Relevance (AGTIVE). The conference was held under the auspices of EATCS and EASST.



فهرست مطالب

Front Matter....Pages -
A False History of True Concurrency: From Petri to Tools....Pages 1-2
How Far Can Enterprise Modeling for Banking Be Supported by Graph Transformation?....Pages 3-26
Graph Transformation Units Guided by a SAT Solver....Pages 27-42
Delaying Constraint Solving in Symbolic Graph Transformation....Pages 43-58
A Dynamic Logic for Termgraph Rewriting....Pages 59-74
A New Type of Behaviour-Preserving Transition Insertions in Unfolding Prefixes....Pages 75-90
On the Computation of McMillan’s Prefix for Contextual Nets and Graph Grammars....Pages 91-106
Verification of Graph Transformation Systems with Context-Free Specifications....Pages 107-122
Saturated LTSs for Adhesive Rewriting Systems....Pages 123-138
A Hoare Calculus for Graph Programs....Pages 139-154
Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars....Pages 155-170
Conflict Detection for Model Versioning Based on Graph Modifications....Pages 171-186
A Component Concept for Typed Graphs with Inheritance and Containment Structures....Pages 187-202
Combining Termination Criteria by Isolating Deletion....Pages 203-217
Graph Rewriting in Span-Categories....Pages 218-233
Finitary $\\mathcal{M}$ -Adhesive Categories....Pages 234-249
Hereditary Pushouts Reconsidered....Pages 250-265
Graph Transformation for Domain-Specific Discrete Event Time Simulation....Pages 266-281
Counterpart Semantics for a Second-Order μ -Calculus....Pages 282-297
Declarative Mesh Subdivision Using Topological Rewriting in MGS ....Pages 298-313
A Model for Distribution and Revocation of Certificates....Pages 314-329
Local Confluence for Rules with Nested Application Conditions....Pages 330-345
Multi-Amalgamation in Adhesive Categories....Pages 346-361
Amalgamating Pushout and Pullback Graph Transformation in Collagories....Pages 362-378
ICGT 2010 Doctoral Symposium....Pages 379-380
EMF Model Transformation Based on Graph Transformation: Formal Foundation and Tool Environment....Pages 381-383
Recognizable Graph Languages for the Verification of Dynamic Systems....Pages 384-387
Stochastic Modelling and Simulation of Dynamic Resource Allocation....Pages 388-390
Bisimulation Theory for Graph Transformation Systems....Pages 391-393
Realizing Impure Functions in Interaction Nets....Pages 394-396
Composite EMF Modeling Based on Typed Graphs with Inheritance and Containment Structures....Pages 397-399
Formal Modeling and Analysis of Communication Platforms Like Skype Based on Petri Net Transformation Systems....Pages 400-402
LTS Semantics for Process Calculi from Their Graphical Encodings....Pages 403-406
Automated Assistance for Search-Based Refactoring Using Unfolding of Graph Transformation Systems....Pages 407-409
Correctness of Graph Programs Relative to HR  +  Conditions....Pages 410-412
Static Type Checking of Model Transformation Programs....Pages 413-415
Using Graph Transformations and Graph Abstractions for Software Verification....Pages 416-418
Back Matter....Pages -




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

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