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

ISBN/GTIN

Graph Transformation

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

von

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

BuchKartoniert, Paperback

CHF71.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

ISBN/GTIN978-3-642-33653-9

ProduktartBuch

EinbandKartoniert, Paperback

Verlag

Springer Berlin Heidelberg

ErscheinungslandDeutschland

Erscheinungsdatum23.08.2012

Auflage2012

ReiheTheoretical Computer Science and General Issues

Reihen-Nr.7562

SpracheEnglisch

MasseBreite 155 mm, Höhe 235 mm, Dicke 24 mm

Gewicht663 g

Artikel-Nr.2583611

KatalogBuchzentrum

Datenquelle-Nr.13521287

Weitere Details

Reihe

Combinatorial Optimization and Applications

Algorithms and Architectures for Parallel Processing

Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996¿2016)

Stabilization, Safety, and Security of Distributed Systems

Brain-Inspired Computing

Algorithms and Models for the Web Graph

Quantum Interaction

Approximation and Online Algorithms

SOFSEM 2017: Theory and Practice of Computer Science

Logic, Language, and Computation

Algorithms and Discrete Applied Mathematics

Architecture of Computing Systems - ARCS 2017

Structured Object-Oriented Formal Language and Method

Computational Intelligence in Music, Sound, Art and Design

Applications of Evolutionary Computation

Programming Languages and Systems

Applied Reconfigurable Computing

Relational and Algebraic Methods in Computer Science

Advances in Neural Networks - ISNN 2017

Advances in Neural Networks - ISNN 2017

High Performance Computing

Integer Programming and Combinatorial Optimization

Frontiers in Algorithmics

Advances in Swarm Intelligence

Advances in Swarm Intelligence

Algorithms and Data Structures

Computational Science and Its Applications ¿ ICCSA 2017

Trends in Functional Programming

Software Engineering and Formal Methods

Coding Theory and Applications

Quantitative Evaluation of Systems

Reachability Problems

Graph-Theoretic Concepts in Computer Science

Mathematical Methods for Curves and Surfaces

Learning and Intelligent Optimization

Queueing Theory and Network Applications

Simulated Evolution and Learning

Digital Nations ¿ Smart Cities, Innovation, and Sustainability

Artificial Neural Networks and Machine Learning ¿ ICANN 2017

Artificial Neural Networks and Machine Learning ¿ ICANN 2017

Autor

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

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 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

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 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

Schlagworte