Ciência da Computação
Resultado: Exibindo 10 de 692 na pagina 3 de 70
Nome
Título
Área
Documento
Unidade
Ano
Localização de textos em imagens de cenas por meio de operadores morfológicos
Uma técnica de verificação para `pi¦-calculus baseada em bi-simulação up-to e algoritmos...
Integração de verificadores formais para agentes móveis
Proposta de aprimoramento para o protocolo de assinatura digital Quartz
Interações gênicas usando redes booleanas limiarizadas modeladas como um problema...
Tópicos em otimização com restrições lineares
Um método de restrições ativas para minimização em caixas
Avaliação de qualidade de código baseada em contexto
Como a prática de TDD influencia o projeto de classes em sistemas orientados a o...
Um modelo para interoperabilidade entre instituições heterogêneas
Resultado: Exibindo 10 de 692 na pagina 3 de 70
Copyright © 2023 Biblioteca Digital de Teses e Dissertações da USP. Todos os direitos reservados.