دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Graph Transformation, Specifications, and Nets: In Memory of Hartmut Ehrig
دانلود کتاب تبدیل گراف، مشخصات و شبکه ها: در حافظه Hartmut Ehrig
مشخصات کتاب
Graph Transformation, Specifications, and Nets: In Memory of Hartmut Ehrig
ویرایش: 1st ed. 2018
نویسندگان: Reiko Heckel. Gabriele Taentzer
سری: LNCS 10800
ISBN (شابک) : 3319753959, 9783319753959
ناشر: Springer
سال نشر: 2018
تعداد صفحات: 343
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 7 مگابایت
قیمت کتاب (تومان) : 28,000
کلمات کلیدی مربوط به کتاب تبدیل گراف، مشخصات و شبکه ها: در حافظه Hartmut Ehrig: گرافیک و طراحی، Adobe، CAD، مدل سازی کامپیوتر، انتشارات دسکتاپ، اسناد الکترونیکی، رندر و ردیابی پرتو، تجربه و قابلیت استفاده کاربر، کامپیوتر و فناوری، الگوریتم ها، ساختارهای داده، ژنتیک، مدیریت حافظه، برنامه نویسی، کامپیوتر و فناوری چند رسانه ای، گرافیک ,DirectX,Flash,GIS,OpenGL,Solid Works,برنامه نویسی, کامپیوتر و فناوری, توسعه نرم افزار, طراحی نرم افزار, تست و مهندسی, برنامه نویسی, کامپیوتر و فناوری, کامپایلر, زبان های برنامه نویسی, کامپیوتر و فناوری
در صورت تبدیل فایل کتاب Graph Transformation, Specifications, and Nets: In Memory of Hartmut Ehrig به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تبدیل گراف، مشخصات و شبکه ها: در حافظه Hartmut Ehrig نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تبدیل گراف، مشخصات و شبکه ها: در حافظه Hartmut Ehrig
این جلد ادای احترام به دستاوردهای علمی هارتموت اریگ است که در
مارس 2016 درگذشت. مشارکت‌ها برگزیده‌ای از سمپوزیومی است که در
اکتبر 2016 در TU برلین برگزار شد، که به یاد زندگی و کار
هارتموت و همچنین سایر مقالات دعوت شده در حوزه‌هایی که او در
آنها فعال بود. این حوزه‌ها عبارتند از تبدیل نمودار، تبدیل
مدل، نظریه همزمانی، به‌ویژه شبکه‌های پتری، مشخصات جبری، و نظریه مقوله در
علوم رایانه. ادامه
مطلب...
چکیده: این جلد به ادای احترام به دستاوردهای علمی هارتموت اریگ،
که در مارس 2016 درگذشت. این مشارکت‌ها منتخبی از سمپوزیومی است
که در اکتبر 2016 در TU برلین برگزار شد، که به یاد زندگی و
کار هارتموت و همچنین سایر مقالات دعوت شده در زمینه‌هایی که او
در آن فعال بود، برگزار شد. این حوزه‌ها شامل تبدیل نمودار، تبدیل
مدل، نظریه همزمانی، به ویژه شبکه های پتری، مشخصات جبری، و
نظریه مقوله در علوم کامپیوتر
توضیحاتی درمورد کتاب به خارجی
This volume pays tribute to the scientific achievements of
Hartmut Ehrig, who passed away in March 2016. The contributions
represent a selection from a symposium, held in October 2016 at
TU Berlin, commemorating Hartmut’ s life and work as well
as other invited papers in the areas he was active in. These
areas include Graph Transformation, Model Transformation,
Concurrency Theory, in particular Petri Nets, Algebraic Specification, and
Category Theory in Computer Science. Read
more...
Abstract: This volume pays tribute to the scientific
achievements of Hartmut Ehrig, who passed away in March 2016.
The contributions represent a selection from a symposium, held
in October 2016 at TU Berlin, commemorating Hartmut’ s
life and work as well as other invited papers in the areas he
was active in. These areas include Graph Transformation, Model
Transformation, Concurrency Theory, in particular Petri
Nets, Algebraic Specification, and Category Theory in Computer
Science
فهرست مطالب
Front Matter ....Pages I-XIV
On the Essence of Parallel Independence for the Double-Pushout and Sesqui-Pushout Approaches (Andrea Corradini, Dominique Duval, Michael Löwe, Leila Ribeiro, Rodrigo Machado, Andrei Costa et al.)....Pages 1-18
Integration of Graph Constraints into Graph Grammars (Annegret Habel, Christian Sandmann, Tilman Teusch)....Pages 19-36
Multi-view Consistency in UML: A Survey (Alexander Knapp, Till Mossakowski)....Pages 37-60
A Simple Notion of Parallel Graph Transformation and Its Perspectives (Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye)....Pages 61-82
A Tutorial on Graph Transformation (Barbara König, Dennis Nolte, Julia Padberg, Arend Rensink)....Pages 83-104
Initial Conflicts and Dependencies: Critical Pairs Revisited (Leen Lambers, Kristopher Born, Fernando Orejas, Daniel Strüber, Gabriele Taentzer)....Pages 105-123
Towards a Navigational Logic for Graphical Structures (Leen Lambers, Marisa Navarro, Fernando Orejas, Elvira Pino)....Pages 124-141
Model Transformations as Free Constructions (Michael Löwe)....Pages 142-159
The Verigraph System for Graph Transformation (Guilherme Grochau Azzi, Jonas Santos Bezerra, Leila Ribeiro, Andrei Costa, Leonardo Marques Rodrigues, Rodrigo Machado)....Pages 160-178
Decomposition Structures for Soft Constraint Evaluation Problems: An Algebraic Approach (Ugo Montanari, Matteo Sammartino, Alain Tcheukam)....Pages 179-200
Overview of Reconfigurable Petri Nets (Julia Padberg, Laid Kahloul)....Pages 201-222
A Category of “Undirected Graphs” (John L. Pfaltz)....Pages 223-230
Modular Termination of Graph Transformation (Detlef Plump)....Pages 231-244
Graph Attribution Through Sub-Graphs (Harmen Kastenberg, Arend Rensink)....Pages 245-265
On Normal Forms for Structured Specifications with Generating Constraints (Donald Sannella, Andrzej Tarlecki)....Pages 266-284
Towards the Automated Generation of Consistent, Diverse, Scalable and Realistic Graph Models (Dániel Varró, Oszkár Semeráth, Gábor Szárnyas, Ákos Horváth)....Pages 285-312
Graph Operations and Free Graph Algebras (Uwe Wolter, Zinovy Diskin, Harald König)....Pages 313-331
Back Matter ....Pages 333-333
