3 Resultados para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Mostrar Somente
- Recursos Online (1)
| 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
|
|
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) |
| 3 |
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. |
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
- Recursos Online (1)
Refinar Meus Resultados
Assunto
- Computer Science (2)
- Graph Grammars (2)
- Teoria Dos Grafos (Aplicações;Congressos) (2)
- Configurações Combinatórias (1)
- Conception De Syst Emes (1)
- Systemmodell (1)
- Algebraische Spezifikation (1)
- Syst Emes Informatiques (1)
- M Ethode Formelle (1)
- Sp Ecification Alg Ebrique (1)
- Softwareentwicklung (1)
- M Ethodes Formelles (Informatique) (1)
- Computer Systems (1)
- Conception De Logiciels (1)
- Formal Methods (Computer Science) (1)
- Formale Methode (1)
- Especificação De Sistemas E Programas (1)
- Graphersetzungssystem (1)
- Transformation De Graphes (1)
- Logiciels (1)
-
Mais opções
Autor/Criador
- Montanari, U (2)
- Taentzer, G (1)
- Corradini, A (1)
- Ribeiro, L (1)
- Engels, G (1)
- Orejas, F (1)
- Kreowski, H (1)
- ICGT 2006 (1)
- ICGT 2004 (1)
- Parisi Presice, F (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 