skip to main content
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Integrity Constraints in the Multi-Paradigm Language PROGRES
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Integrity Constraints in the Multi-Paradigm Language PROGRES

Münch, Manfred ; Schürr, Andy ; Winter, Andreas J.

Theory and Application of Graph Transformations, p.338-351 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

2
Deriving Software Performance Models from Architectural Patterns by Graph Transformations
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Deriving Software Performance Models from Architectural Patterns by Graph Transformations

Petriu, Dorina C. ; Wang, Xin

Theory and Application of Graph Transformations, p.475-488 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

3
Complexity Issues in Switching of Graphs
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Complexity Issues in Switching of Graphs

Ehrenfeucht, Andrzej ; Hage, Jurriaan ; Harju, Tero ; Rozenberg, Grzegorz

Theory and Application of Graph Transformations, p.59-70 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

4
Simple Modules for Grace
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Simple Modules for Grace

Heckel, Reiko ; Hoffmann, Berthold ; Knirsch, Peter ; Kuske, Sabine

Theory and Application of Graph Transformations, p.383-395 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

5
Neighborhood Expansion Grammars
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Neighborhood Expansion Grammars

Pfaltz, John L.

Theory and Application of Graph Transformations, p.30-44 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

6
Utilizing Constraint Satisfaction Techniques for Efficient Graph Pattern Matching
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Utilizing Constraint Satisfaction Techniques for Efficient Graph Pattern Matching

Rudolf, Michael

Theory and Application of Graph Transformations, p.238-251 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

7
Refinements of Graph Transformation Systems via Rule Expressions
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Refinements of Graph Transformation Systems via Rule Expressions

Große-Rhode, Martin ; Parisi Presicce, Francesco ; Simeoni, Marta

Theory and Application of Graph Transformations, p.368-382 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

8
Some Remarks on the Generative Power of Collage Grammars and Chain-Code Grammars
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Some Remarks on the Generative Power of Collage Grammars and Chain-Code Grammars

Drewes, Frank

Theory and Application of Graph Transformations, p.1-14 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

9
Redundancy and Subsumption in High-Level Replacement Systems
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Redundancy and Subsumption in High-Level Replacement Systems

Kreowski, Hans-Jörg ; Valiente, Gabriel

Theory and Application of Graph Transformations, p.215-227 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

10
From Formulae to Rewriting Systems
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

From Formulae to Rewriting Systems

Bottoni, Paolo ; Parisi-Presicce, Francesco ; Simeoni, Marta

Theory and Application of Graph Transformations, p.267-280 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Buscando em bases de dados remotas. Favor aguardar.