Search
Add filters:
Use filters to refine the search results.
Item hits:
| Issue Date | Title | Author(s) |
|---|---|---|
| 18-Feb-2004 | Verificação de modelos em redes de petri orientadas a objetos. | RODRIGUES, Cássio Leonardo. |
| 21-Jul-2004 | Uma ferramenta para projeto e simulação de circuitos quânticos. | CABRAL, Gustavo Eulálio Miranda. |
| 19-Feb-2004 | Formalização e análise de padrões de projeto para agentes móveis. | LIMA, Emerson Ferreira de Araújo. |
| 26-Feb-2004 | Proposta de suporte computacional ao MCI. | SCHERER, Daniel. |
| 29-Apr-2004 | SEI-Tur: um sistema de criação de roteiros turísticos. | MAIA, Ana Carolina de Jesus. |