Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Tese de Doutorado
|
![]() |
Verification of behaviourist multi-agent systems by means of formally guided simulationsSilva, Paulo Salem DaBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2011-11-28Acesso online |
2 |
Material Type: Artigo de Congresso
|
![]() |
A new paradigm for the architecture of morphological machines binary decision diagramsHeraldo Maciel França Madeira Júnior Barrera; Roberto Hirata Júnior; Nina Sumiko Tomita Hirata; Simpósio Brasileiro de Computação Gráfica e Processamento de Imagens - SIBGRAPI (12. 1999 Campinas)Proceedings Los Alamitos: IEEE, 1999Los Alamitos IEEE 1999Localização: IME - Inst. Matemática e Estatística (PROD-1084383 ) e outros locais(Acessar) |