Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Tapsoft'87Hartmut EhringBerlim Springer 1987Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.250/2 e.1 )(Acessar) |
2 |
Material Type: Livro
|
![]() |
Universal theory of automata a categorical approachHartmut EhrigStuttgart Teubner 1974Localização: IME - Inst. Matemática e Estatística (QA804 E33u )(Acessar) |
3 |
Material Type: Livro
|
![]() |
Unifying Petri nets advances in Petri netsHartmut EhrigBerlin Springer London c2001Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2128 ) e outros locais(Acessar) |
4 |
Material Type: Livro
|
![]() |
Graph-grammars and their application to computer science proceedingsInternational Workshop on Graph-Grammars and Their Applications To Computer Science (3. 1986 Warrenton) Hartmut EhrigBerlin Springer 1987Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.291 ex.1 ) e outros locais(Acessar) |
5 |
Material Type: Livro
|
![]() |
Recent trends in data type specification selected papersWorkshop on Specification of Abstract Data Types,7., Wusterhausen / Dose, 1990 Hartmut EhrigBerlin Springer 1991Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.534 e.1 ) e outros locais(Acessar) |
6 |
Material Type: Livro
|
![]() |
Petri Net Technology for Communication-Based SystemsHartmut Ehrig Hartmut Ehrig; Wolfgang Reisig; Grzegorz Rozenberg; Herbert WeberSpringer Berlin Heidelberg 2003Acesso online |
7 |
Material Type: Livro
|
![]() |
Theory and Application of Graph TransformationsHartmut Ehrig Hartmut Ehrig; Gregor Engels; Hans-Jörg Kreowski; Grzegorz RozenbergSpringer Berlin Heidelberg 2000Acesso online |
8 |
Material Type: Livro
|
![]() |
Unifying Petri NetsHartmut Ehrig Hartmut Ehrig; Gabriel Juhas; Julia Padberg; Grzegorz RozenbergSpringer Berlin Heidelberg 2001Acesso online |
9 |
Material Type: Livro
|
![]() |
Categorical methods in computer science with aspects from topology : proceedingsInternational Workshop on Categorical Methods in Computer Science With Aspects from Topology, Berlin, 1988 Hartmut EhrigBerlin Springer 1989Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.393 e.1 ) e outros locais(Acessar) |
10 |
Material Type: Livro
|
![]() |
Graph-grammers and their applications to computer science proceedingsInternational Workshop on Graph-Grammars and Their Applications To Computer Science, 4., Bremen, 1990 Hartmut EhrigBerlin Springer 1991Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.532 e.1 ) e outros locais(Acessar) |