Navegação Ciências Exatas e da Terra por Assunto "Fundamentos da computação"
Resultados 1-12 de 12
-
Algoritmo neron para o problema de escalonamento de máquinas paralelas não relacionadas.
(2001) [Resumo publicado em evento] -
Algoritmos genéticos em computadores para arquitetura paralela usando MPI.
(2001) [Resumo publicado em evento] -
Um ambiente de suporte ao ensino integrado dos fundamentos matemáticos da ciência da computação utilizando o Zope
(2001) [Resumo publicado em evento] -
Ciência da computação para crianças.
(2001) [Resumo publicado em evento] -
Desenvolvimento de uma linguagem de programação baseada no modelo de espaços coerentes para processos concorrentes
(2001) [Resumo publicado em evento] -
Estudo para implementação de um provador de teoremas
(2001) [Resumo publicado em evento] -
Ferramenta para o ensino da ciência da computação para crianças.
(2001) [Resumo publicado em evento] -
Herança de limites na categoria das setas parciais.
(2001) [Resumo publicado em evento] -
Implementação do modelo de autômato celulares para análise da monotonicidade da declividade de áreas geofísicas.
(2001) [Resumo publicado em evento] -
Métodos computacionais para matrizes e sistemas lineares intervalares.
(2001) [Resumo publicado em evento] -
Sistemas de tipos para análise de programas distribuídos
(2001) [Resumo publicado em evento] -
Teoria da computação concorrente formalizada por lógica categorial – material didático
(2001) [Resumo publicado em evento]