Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Dissertação de Mestrado
|
Validação de padrões de web services transacionaisNunes, Paulo Roberto De Araújo FrançaBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2011-06-03Acesso online. A biblioteca também possui exemplares impressos. |
|
2 |
Material Type: Tese de Doutorado
|
Verification of behaviourist multi-agent systems by means of formally guided simulationsPaulo Salem da Silva Ana Cristina Vieira de Melo; Marie-Claude Gaudel2012Localização: IME - Inst. Matemática e Estatística (IME-T QA754.T S586v e.1 )(Acessar) |