Search




Current filters:



Add filters:

Use filters to refine the search results.

Results 31-40 of 47 (Search time: 0.003 seconds).
Item hits:
Issue DatePreviewTitleAuthor(s)???itemlist.dc.contributor.advisor1???ProgramDocument Type
4-Feb-2011HERBERT OLIVEIRA ROCHA.pdf.jpgVerificação e comprovação de erros em códigos C usando bounded model checkerRocha, Herbert OliveiraBarreto, Raimundo da SilvaPrograma de Pós-graduação em InformáticaDissertação
26-Mar-2013milton.pdf.jpgInferência dos ângulos críticos de voo por associação do fluxo óptico com a geometria da cenaLima, Milton Macena Ramos deBarreto, Raimundo da SilvaPrograma de Pós-graduação em InformáticaDissertação
15-Dec-2008DISSERTACAO MARCELO.pdf.jpgVerificação de modelos uml de software embarcado com model checkingCustódio, Marcelo MonteiroBarreto, Raimundo da SilvaPrograma de Pós-graduação em InformáticaDissertação
21-Sep-2007Mauro Ricardo da Silva Teofilo.pdf.jpgMandos: Um método de Interação com o usuário em Aplicativos Embarcados na Telefonia MóvelTeófilo, Mauro Ricardo da SilvaBarreto, Raimundo da SilvaPrograma de Pós-graduação em InformáticaDissertação
1-Dec-2005Romulo Devezas Freitas.pdf.jpgSíntese de escalas utilizando semântica de passo máximo em redes de petri com temporização.Freitas, Romulo DevezasBarreto, Raimundo da SilvaPrograma de Pós-graduação em InformáticaDissertação
27-Mar-2015Tese - Rodrigo Ribeiro de Oliveira.pdf.jpgMetodologia de reconfiguração de hardware utilizando o sinal de TV DigitalOliveira, Rodrigo Ribeiro deLucena Júnior, Vicente Ferreira dePrograma de Pós-graduação em InformáticaTese
28-Apr-2014Tese - Odette Mestrinho Passos.pdf.jpgRecomendações de melhoria baseadas na cultura organizacional para iniciativas em melhoria de processo de softwarePassos, Odette MestrinhoDias Neto, Arilo CláudioPrograma de Pós-graduação em InformáticaTese
10-Jul-2015Dissertação - Rawlinson da Silva Gonçalves.pdf.jpgIntegração de características preemptivas à técnica de escalonamento dinâmico de tensões e frequências intra-tarefaGonçalves, Rawlinson da SilvaBarreto, Raimundo da SilvaPrograma de Pós-graduação em InformáticaDissertação
16-Dec-2021Tese_AureaMelo_PPGI.pdf.jpgProAut: um processo para apoiar a prototipação de interfaces de aplicações para autistasMelo, Áurea Hiléia da SilvaBarreto, Raimundo da SilvaPrograma de Pós-graduação em InformáticaTese
7-Mar-2022Dissertação_RonemLavareda_PPGI.pdf.jpgAutenticação de alunos utilizando biometria comportamental em ambientes Juiz On-lineLavareda Filho, Ronem MatosColonna, Juan GabrielPrograma de Pós-graduação em InformáticaDissertação

Discover

Document Type
???jsp.search.facet.refine.available???
???jsp.search.facet.refine.format???
???jsp.search.facet.refine.access???