Search
Add filters:
Use filters to refine the search results.
Item hits:
Issue Date | Preview | Title | Author(s) | ???itemlist.dc.contributor.advisor1??? | Program | Document Type |
---|---|---|---|---|---|---|
17-Jun-2011 | Desenvolvimento de uma ontologia de domínio para modelagem de biodiversidade | Albuquerque, Andréa Corrêa Florês | Magalhães Netto, José Francisco de | Programa de Pós-graduação em Informática | Dissertação | |
3-Jul-2015 | Verificação de sistemas de software baseada em transformações de código usando Bounded Model Checking | Rocha, Herbert Oliveira | Barreto, Raimundo da Silva | Programa de Pós-graduação em Informática | Tese |
???jsp.display-item.social.title??? |
Discover
Advisor
???jsp.search.facet.refine.referees???
???jsp.search.facet.refine.contributor???
Document Type
Date issued