Resultados de 1 a 10 de 19 para Busca Geral
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
- Recursos Online (2)
- Disponível na Biblioteca (17)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Graph transformations third international conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 proceedingsICGT 2006 (3rd 2006 Natal, Brazil) Hartmut Ehrig; Ugo Montanari; Leila Ribeiro; Grzegorz Rozenberg; Andrea Corradini 1960Berlin Springer New York c2006Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4178 e.2 ) e outros locais(Acessar) |
| 2 |
Material Type: Livro
|
|
Formal methods in software and systems modeling essays dedicated to Hartmut Ehrig on the occasion of his 60th birthdayUgo Montanari; F Orejas (Fernando); Grzegorz Rozenberg; Gabriele Taentzer; Hartmut Ehrig; H.-J Kreowski (Hans-J org)Berlin Springer New York c2005Acesso online. A biblioteca também possui exemplares impressos. |
| 3 |
Material Type: Livro
|
|
Graph transformations second international conference, ICGT 2004, Rome Italy, September 28-October 2, 2004 : proceedingsICGT 2004 (2nd 2004 Rome, Italy) Gregor Engels; Francesco Parisi Presice; Grzegorz Rozenberg; Hartmut EhrigBerlin Springer New York c2004Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.3256 ) e outros locais(Acessar) |
| 4 |
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) |
| 5 |
Material Type: Livro
|
|
Theory and application of graph transformations 6th international workshop, TAGT'98, Paderborn, Germany, November 16-20, 1998 : selected papersHartmut Ehrig; International Workshop on Theory and Applications of Graph Transformation (6th 1998 Paderborn, Germany)Berlin Springer New York c2000Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1764 ) e outros locais(Acessar) |
| 6 |
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, 1994International Workshop on Graph-Grammars and Their Applications To Computer Science (5. 1994 Williamsburg, Us) Janice Cuny; Hartmut Ehrig; Gregor Engels; Grzegorz RozenbergBerlin Springer 1996Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1073 ) e outros locais(Acessar) |
| 7 |
Material Type: Livro
|
|
Graph Grammars and Their Application to Computer ScienceCuny Janice Cuny; Hartmut Ehrig; G Engels; Grzegorz RozenbergSpringer Berlin Heidelberg 1996Acesso online |
| 8 |
Material Type: Livro
|
|
Graph transformations in computer science proceedings of the international workshop on graph transformations in computer science, held in dagstuhl castle, germany, january, 4-8, 1993Workshop on Graph Transformations in Computer Science (1993 Dagstuhl Castle) Hans Jürgen Schneider; Hartmut EhrigBerlin Heidelberg ; New York ; London ; Tokyo Springer 1994Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.776 ) e outros locais(Acessar) |
| 9 |
Material Type: Livro
|
|
Recent trends in data type specification selected papersWorkshop on Specification of Abstract Data Types (9. 1992 Caldes de Malavella) Hartmut Ehrig; Compass Workshop (4. 1992 Caldes de Malavella)Berlin Springer 1994Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.785 ) 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) |
Resultados de 1 a 10 de 19 para Busca Geral
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
- Recursos Online (2)
- Disponível na Biblioteca (17)
Refinar Meus Resultados
Assunto
- Teoria Da Computação (5)
- Linguagens Formais (4)
- Computer Science (3)
- Graph Grammars (3)
- Computer Software (3)
- Metodologia E Técnicas De Computação (2)
- Engenharia De Software (2)
- Teoria Dos Grafos (Aplicações;Congressos) (2)
- Ciência Da Computação (2)
- Linguagens Formais (Congressos) (2)
- Configurações Combinatórias (1)
- Técnicas De Programação (1)
- Teoria Dos Grafos (1)
- M Ethode Formelle (1)
- Sp Ecification Alg Ebrique (1)
- Softwareentwicklung (1)
- Computer Systems (1)
- Algebra (1)
- Técnicas De Programação (Congressos) (1)
- Transformation De Graphes (1)
-
Mais opções
Autor/Criador
- Rozenberg, G (5)
- International Workshop on Graph Grammars and Their Applications To Computer Science (4)
- Engels, G (3)
- Montanari, U (2)
- Cuny, J (2)
- Workshop on Specification of Abstract Data Types (2)
- Colloquium on Trees in Algebra and Programming (1)
- International Workshop on Graph Grammars and Their Applications To Computer Science and Biology (1)
- Advanced Seminar on Foundations of Innovative Software Development (1)
- Compass Workshop (1)
- International Joint Conference on Theory and Practice of Software Development (1)
- Schneider, H (1)
- International Workshop on Categorical Methods in Computer Science With Aspects from Topology, B (1)
- Mahr, B (1)
- Ribeiro, L (1)
- Colloquium on Functional and Logic Programming and Specifications (CFLP) (1)
- Advanced Seminar on Foundations of Innovative Software Development II (1)
- Orejas, F (1)
- International Workshop on Theory and Applications of Graph Transformation (1)
-
Mais opções
Data de Publicação
- Antes de1985 (2)
- 1985Até1988 (5)
- 1989Até1993 (3)
- 1994Até2000 (5)
- Após 2000 (4)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 