دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب 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
ویرایش: 1 نویسندگان: Margaret-Anne D. Storey (auth.), Hartmut Ehrig, Gregor Engels, Francesco Parisi-Presicce, Grzegorz Rozenberg (eds.) سری: Lecture Notes in Computer Science 3256 ISBN (شابک) : 9783540232070, 3540232079 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2004 تعداد صفحات: 462 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 مگابایت
قیمت کتاب (تومان) : 48,000
کلمات کلیدی مربوط به کتاب تحولات نمودار: دومین کنفرانس بین المللی ، ICGT 2004 ، رم ، ایتالیا ، 28 سپتامبر - 1 اکتبر 2004. مجموعه مقالات: ساختارهای داده، مهندسی نرم افزار، محاسبات با دستگاه های انتزاعی، تحلیل الگوریتم و پیچیدگی مسئله، منطق و معانی برنامه ها، ریاضیات گسسته در علوم کامپیوتر
در صورت تبدیل فایل کتاب 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 -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Your Visit to Orsay
دانلود کتاب The rise of secondary states in Iron Age Levant
دانلود کتاب Plant Epigenetics and Epigenomics: Methods and Protocols
