Search




Current filters:



Add filters:

Use filters to refine the search results.

Results 11-13 of 13 (Search time: 0.001 seconds).
Item hits:
Issue DatePreviewTitleAuthor(s)???itemlist.dc.contributor.advisor1???ProgramDocument Type
20-Dec-2013Dissertação - Mikhail Yasha Ramalho Gadelha.pdf.jpgVerificação baseada em indução matemática para programas C++Gadelha, Mikhail Yasha RamalhoCordeiro, Lucas CarvalhoPrograma de Pós-graduação em Engenharia ElétricaDissertação
17-Jun-2014Dissertação - Renato Barbosa Abreu.pdf.jpgAvaliação de projetos de filtros digitais de ponto-fixo usando teorias do módulo da satisfatibilidadeAbreu, Renato BarbosaCordeiro, Lucas CarvalhoPrograma de Pós-graduação em Engenharia ElétricaDissertação
1-Apr-2015Francisco de Assis Pereira Januário.pdf.jpgBMCLua: Metodologia para Verificação de Códigos Lua utilizando Bounded Model CheckingJanuário, Francisco de Assis PereiraCordeiro, Lucas CarvalhoPrograma de Pós-graduação em Engenharia ElétricaDissertação

Discover

???jsp.search.facet.refine.initials???
???jsp.search.facet.refine.program???
???jsp.search.facet.refine.department???
Document Type
???jsp.search.facet.refine.format???
???jsp.search.facet.refine.access???