Abonnieren Sie unseren Newsletter

Die Merkliste ist leer.

Registrieren Passwort vergessen?

Der Warenkorb ist leer.

Bitte warten - die Druckansicht der Seite wird vorbereitet.

Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Druckansicht verlassenErneut drucken

Graph Transformation

Graph Transformation

Graph Transformation

ISBN/GTIN

Graph Transformation

6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012, Proceedings

von

Ehrig, HartmutHrsg.Engels, GregorHrsg.Kreowski, Hans-JörgHrsg.Rozenberg, GrzegorzHrsg.

E-BookPDFE-Book

CHF59.00

In den Warenkorb

Beschreibung

This book constitutes the proceedings of the 6th International Conference on Graph Transformations, ICGT 2012, held in Bremen, Germany, in September 2012.
The 30 papers and 3 invited papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on behavioural analysis, high-level graph transformation, revisited approaches, general transformation models, structuring and verification, graph transformations in use, (meta-)model evolution and incremental approaches.

Weitere Beschreibungen

Details

Weitere ISBN/GTIN9783642336546

ProduktartE-Book

EinbandE-Book

FormatPDF

Format HinweisWasserzeichen

Verlag

Springer Berlin Heidelberg

Erscheinungsdatum18.09.2012

Auflage2012

ReiheLecture Notes in Computer Science

Reihen-Nr.7562

Seiten427 Seiten

SpracheEnglisch

IllustrationenXII, 427 p. 166 illus.

Artikel-Nr.10533710

KatalogVC

Datenquelle-Nr.3932321

Weitere Details

Reihe

Advanced Computational Applications of Geometric Algebra

Privacy Technologies and Policy

Distributed Computer and Communication Networks: Control, Computation, Communications

Selected Areas in Cryptography - SAC 2023

Cloud Computing - CLOUD 2023

Internet of Things - ICIOT 2023

Web and Big Data

Web and Big Data

Euro-Par 2023: Parallel Processing Workshops

Active Object Languages: Current Research Trends

Image Analysis and Processing - ICIAP 2023 Workshops

Graphs in Biomedical Image Analysis, and Overlapped Cell on Tissue Dataset for Histopathology

Data Augmentation, Labelling, and Imperfections

Dynamic Logic. New Trends and Applications

Distributed Computing and Intelligent Technology

Machine Learning, Optimization, and Data Science

Machine Learning, Optimization, and Data Science

Statistical Atlases and Computational Models of the Heart. Regular and CMRxRecon Challenge Papers

Algorithms and Discrete Applied Mathematics

Digital Forensics and Watermarking

Practical Aspects of Declarative Languages

Big Data Analytics in Astronomy, Science, and Engineering

SOFSEM 2024: Theory and Practice of Computer Science

Smart Card Research and Advanced Applications

Machine Learning for Cyber Security

Foundations and Practice of Security

Foundations and Practice of Security

MultiMedia Modeling

MultiMedia Modeling

MultiMedia Modeling

MultiMedia Modeling

MultiMedia Modeling

Requirements Engineering: Foundation for Software Quality

Foundations of Information and Knowledge Systems

Computational Visual Media

Computational Visual Media

Constructive Side-Channel Analysis and Secure Design

Wisdom, Well-Being, Win-Win

Wisdom, Well-Being, Win-Win

Wisdom, Well-Being, Win-Win

Autor

Ehrig, HartmutHrsg.Engels, GregorHrsg.Kreowski, Hans-JörgHrsg.Rozenberg, GrzegorzHrsg.

Weitere Produkte von Ehrig, Hartmut

Hrsg.

Graph Transformations

Integration of Software Specification Techniques for Applications in Engineering

Graph and Model Transformation

Fundamentals of Algebraic Graph Transformation

Formal and Natural Computing

Petri Net Technology for Communication-Based Systems

Graph and Model Transformation

Mathematisch-strukturelle Grundlagen der Informatik

Recent Trends in Data Type Specification

Fundamentals of Algebraic Specification 2

Graph Grammars and Their Application to Computer Science

Kategorien und Automate

Recent Trends in Data Type Specification

Fundamentals of Algebraic Specification 2

TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987

Graph Transformations

TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987

Graph Transformations

Graph Grammars and Their Application to Computer Science

Graph Transformations

Fundamentals of Algebraic Specification 1

Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985

Unifying Petri Nets

Fundamentals of Algebraic Graph Transformation

Graph-Grammars and their Application to Computer Science

Graph Transformations in Computer Science

Theory and Application of Graph Transformations

Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985

Handbook of Graph Grammars and Computing by Graph Transformation - Volume 3: Concurrency, Parallelism, and Distribution

Algebraic Specification Techniques and Tools for Software Development: The ACT Approach

Weitere Produkte von Engels, Gregor

Hrsg.

SOFSEM 2016: Theory and Practice of Computer Science

Programmentwicklungsumgebungen

Informatik¿99

Graph Grammars and Their Application to Computer Science

Graph Transformations

Theory and Practice of Model Transformations

Business Process Management Forum

Model Driven Engineering Languages and Systems

Theory and Application of Graph Transformations

Handbuch Gestaltung digitaler und vernetzter Arbeitswelten

Handbuch Gestaltung digitaler und vernetzter Arbeitswelten

IT-Plattformen für die Smart Service Welt

Business Process Management Forum

Business Process Management

Theory and Practice of Model Transformations

SOFSEM 2016: Theory and Practice of Computer Science

Programmentwicklungsumgebungen

Informatik'99

Graph Transformations and Model-Driven Engineering

Model Driven Engineering Languages and Systems

Graph Transformations

Theory and Application of Graph Transformations

Business Process Management

Weitere Produkte von Kreowski, Hans-Jörg

Hrsg.

Grundrechte-Report 2022

Grundrechte-Report 2020

Dynamics in Logistics

Dynamics in Logistics

Dynamics in Logistics

Formal Methods in Software and Systems Modeling

Graph Grammars and Their Application to Computer Science

Recent Trends in Data Type Specification

Algebraic System Specification and Development

Algebraic Foundations of Systems Specification

Informatik zwischen Wissenschaft und Gesellschaft

Dynamics in Logistics

Theory and Application of Graph Transformations

Transhumanism: The Proper Guide to a Posthuman Condition or a Dangerous Idea?

Subject-Oriented Business Process Management. The Digital Workplace ¿ Nucleus of Transformation

Categorical Methods in Computer Science

Transhumanism: The Proper Guide to a Posthuman Condition or a Dangerous Idea?

Grundrechte-Report 2022

Grundrechte-Report 2021

Grundrechte-Report 2020

Logische Grundlagen der Informatik

Transhumanism: The Proper Guide to a Posthuman Condition or a Dangerous Idea?

Subject-Oriented Business Process Management. The Digital Workplace - Nucleus of Transformation

Grundrechte-Report 2019

Informatik zwischen Wissenschaft und Gesellschaft

Recent Trends in Data Type Specification

Dynamics in Logistics

Algebraic Foundations of Systems Specification

Recent Trends in Algebraic Development Techniques

Dynamics in Logistics

Weitere Produkte von Rozenberg, Grzegorz

Hrsg.

Graph Transformations

Concurrent Object-Oriented Programming and Petri Nets

Membrane Computing

Aspects of Molecular Computing

Modelling in Molecular Biology

Lectures on Concurrency and Petri Nets

Modelling in Molecular Biology

Computation in Living Cells

Nanotechnology: Science and Computation

Developments in Language Theory

Membrane Computing

Petri Net Technology for Communication-Based Systems

Formal Methods in Software and Systems Modeling

The Oxford Handbook of Membrane Computing

Jewels are Forever

Handbook of Formal Languages

Graph Grammars and Their Application to Computer Science

Application of Petri Nets to Communication Networks

Advances in Petri Nets 1990

Advances in Petri Nets 1988

Petri Nets: Central Models and Their Properties

Advances in Petri Nets 1991

Results and Trends in Theoretical Computer Science

Advances in Petri Nets 1993

Handbook of Formal Languages

Lectures on Petri Nets II: Applications

DNA Computing

Structures in Logic and Computer Science

DNA Computing

Membrane Computing