1
Material Type:
Livro
Formal methods and software development
Colloquium on Software Engineering (1985 Berlin, Germany) Hartmut Ehrig
Berlin Springer-Verlag New York c1985
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.186 ex.1 ) e outros locais(Acessar)
This feature requires javascript
2
Material Type:
Livro
Theory and application of graph transformations 6th international workshop, TAGT'98, Paderborn, Germany, November 16-20, 1998 : selected papers
Hartmut Ehrig; International Workshop on Theory and Applications of Graph Transformation (6th 1998 Paderborn, Germany)
Berlin Springer New York c2000
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1764 ) e outros locais(Acessar)
This feature requires javascript
3
Material Type:
Livro
Unifying Petri nets advances in Petri nets
Hartmut Ehrig
Berlin Springer London c2001
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.2128 ) e outros locais(Acessar)
This feature requires javascript
4
Material Type:
Livro
Graph transformations second international conference, ICGT 2004, Rome Italy, September 28-October 2, 2004 : proceedings
ICGT 2004 (2nd 2004 Rome, Italy) Gregor Engels; Francesco Parisi Presice; Grzegorz Rozenberg; Hartmut Ehrig
Berlin Springer New York c2004
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.3256 ) e outros locais(Acessar)
This feature requires javascript
5
Material Type:
Livro
Graph transformations third international conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 proceedings
ICGT 2006 (3rd 2006 Natal, Brazil) Hartmut Ehrig; Ugo Montanari; Leila Ribeiro; Grzegorz Rozenberg; Andrea Corradini 1960
Berlin Springer New York c2006
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.4178 e.2 ) e outros locais(Acessar)
This feature requires javascript
6
Material Type:
Livro
Categorical methods in computer science with aspects from topology : proceedings
International Workshop on Categorical Methods in Computer Science With Aspects from Topology, Berlin, 1988 Hartmut Ehrig
Berlin Springer 1989
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.393 e.1 ) e outros locais(Acessar)
This feature requires javascript
7
Material Type:
Livro
Graph-grammars and their application to computer science proceedings
International Workshop on Graph-Grammars and Their Applications To Computer Science (3. 1986 Warrenton) Hartmut Ehrig
Berlin Springer 1987
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.291 ex.1 ) e outros locais(Acessar)
This feature requires javascript
8
Material Type:
Livro
Graph-grammers and their applications to computer science proceedings
International Workshop on Graph-Grammars and Their Applications To Computer Science , 4., Bremen, 1990 Hartmut Ehrig
Berlin Springer 1991
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.532 e.1 ) e outros locais(Acessar)
This feature requires javascript
9
Material Type:
Livro
Graph grammars and their application to computer science selected papers [of the] 5th international workshop, held in Williamsburg, VA, USA, november 13-18, 1994
International Workshop on Graph-Grammars and Their Applications To Computer Science (5. 1994 Williamsburg, Us) Janice Cuny; Hartmut Ehrig; Gregor Engels; Grzegorz Rozenberg
Berlin Springer 1996
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1073 ) e outros locais(Acessar)
This feature requires javascript
10
Material Type:
Livro
Graph-grammars and their application to computer science and biology proceedings
International Workshop on Graph Grammars and Their Applications To Computer Science and Biology (1. 1978 Bad Honneff) Volker Claus; Hartmut Ehrig
Berlin Springer 1979
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.73 e.1 ) e outros locais(Acessar)
This feature requires javascript