ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Graph Transformations: Second International Conference, ICGT 2004, Rome, Italy, September 28–October 1, 2004. Proceedings

دانلود کتاب تحولات نمودار: دومین کنفرانس بین المللی ، ICGT 2004 ، رم ، ایتالیا ، 28 سپتامبر - 1 اکتبر 2004. مجموعه مقالات

Graph Transformations: Second International Conference, ICGT 2004, Rome, Italy, September 28–October 1, 2004. Proceedings

مشخصات کتاب

Graph Transformations: Second International Conference, ICGT 2004, Rome, Italy, September 28–October 1, 2004. Proceedings

ویرایش: 1 
نویسندگان: , , , ,   
سری: Lecture Notes in Computer Science 3256 
ISBN (شابک) : 9783540232070, 3540232079 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2004 
تعداد صفحات: 462 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 6 مگابایت 

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



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



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

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


در صورت تبدیل فایل کتاب Graph Transformations: Second International Conference, ICGT 2004, Rome, Italy, September 28–October 1, 2004. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب تحولات نمودار: دومین کنفرانس بین المللی ، ICGT 2004 ، رم ، ایتالیا ، 28 سپتامبر - 1 اکتبر 2004. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب تحولات نمودار: دومین کنفرانس بین المللی ، ICGT 2004 ، رم ، ایتالیا ، 28 سپتامبر - 1 اکتبر 2004. مجموعه مقالات



این کتاب مجموعه مقالات داوری دومین کنفرانس بین‌المللی تبدیل نمودار، ICGT 2004، برگزار شده در رم، ایتالیا، در سپتامبر/اکتبر 2004 است. مشارکت ها و خلاصه های 2 آموزش و 5 کارگاه به دقت بررسی و از بین 58 مورد ارسالی انتخاب شدند. این مقالات در بخش های موضوعی در زمینه فناوری یکپارچه سازی، شیمی و زیست شناسی، مفاهیم تبدیل گراف، نظریه DPO برای ساختارهای سطح بالا، تجزیه و تحلیل و آزمایش، نظریه و الگوریتم های گراف، شرایط کاربردی و منطق، تبدیل ساختارهای ویژه، و شی گرایی سازماندهی شده اند. .


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

This book constitutes the refereed proceedings of the Second International Conference on Graph Transformation, ICGT 2004, held in Rome, Italy, in September/October 2004.

The 26 revised full papers presented together with three invited contributions and summaries of 2 tutorials and 5 workshops were carefully reviewed and selected from 58 submissions. The papers are organized in topical sections on integration technology, chemistry and biology, graph transformation concepts, DPO theory for high-level structures, analysis and testing, graph theory and algorithms, application conditions and logic, transformation of special structures, and object-orientation.



فهرست مطالب

Front Matter....Pages -
Improving Flow in Software Development Through Graphical Representations....Pages 1-1
A Perspective on Graphs and Access Control Models....Pages 2-12
Transformation Language Design: A Metamodelling Foundation....Pages 13-21
Rule Execution in Graph-Based Incremental Interactive Integration Tools....Pages 22-38
Composition of Relations in Enterprise Architecture Models....Pages 39-53
Event-Driven Grammars: Towards the Integration of Meta-modelling and Graph Transformation....Pages 54-69
Analysis of Metabolic Pathways by Graph Transformation....Pages 70-82
The Potential of a Chemical Graph Transformation System....Pages 83-95
Concepts for Specifying Complex Graph Transformation Systems....Pages 96-111
Typing of Graph Transformation Units....Pages 112-127
Towards Graph Programs for Graph Algorithms....Pages 128-143
Adhesive High-Level Replacement Categories and Systems....Pages 144-160
Fundamental Theory for Typed Attributed Graph Transformation....Pages 161-177
Parallel Independence in Hierarchical Graph Transformation....Pages 178-193
Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems....Pages 194-209
Stochastic Graph Transformation Systems....Pages 210-225
Model Checking Graph Transformations: A Comparison of Two Approaches....Pages 226-241
Election, Naming and Cellular Edge Local Computations....Pages 242-256
Embedding in Switching Classes with Skew Gains....Pages 257-270
Synchronizers for Local Computations....Pages 271-286
Constraints and Application Conditions: From Graphs to High-Level Structures....Pages 287-303
Specification Matching of Web Services Using Conditional Graph Transformation Rules....Pages 304-318
Representing First-Order Logic Using Graphs....Pages 319-335
Coproduct Transformations on Lattices of Closed Partial Orders....Pages 336-351
Parsing String Generating Hypergraph Grammars....Pages 352-367
Composition of Path Transductions....Pages 368-382
Translating Java Code to Graph Transformation Systems....Pages 383-398
Extending Graph Rewriting for Refactoring....Pages 399-415
Derivations in Object-Oriented Graph Grammars....Pages 416-430
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective....Pages 431-433
Tutorial on DNA Computing and Graph Transformation....Pages 434-436
Workshop TERMGRAPH 2004....Pages 437-438
Workshop on Graph-Based Tools....Pages 439-441
Workshop on Petri Nets and Graph Transformations....Pages 442-444
Workshop on Software Evolution Through Transformations: Model-Based vs. Implementation-Level Solutions....Pages 445-447
Workshop on Logic, Graph Transformations, Finite and Infinite Structures....Pages 448-450
Back Matter....Pages -




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