Ciências Exatas e da Terra: Últimas Submissões
Resultados 51-60 de 366
-
Implementação de uma interface gráfica baseada em XML para controle de sistema de gerenciamento de energia.
(2001) [Resumo publicado em evento] -
Comunicação remota entre os agentes do sistema amed (ambiente multiagente de ensino a distância).
(2001) [Resumo publicado em evento] -
Comparação de abordagens de injeção de falhas de comunicação em ambiente linux.
(2001) [Resumo publicado em evento] -
Teoria da computação concorrente formalizada por lógica categorial – material didático
(2001) [Resumo publicado em evento] -
Estudo para implementação de um provador de teoremas
(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] -
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] -
Desenvolvimento de uma linguagem de programação baseada no modelo de espaços coerentes para processos concorrentes
(2001) [Resumo publicado em evento] -
Ferramenta para o ensino da ciência da computação para crianças.
(2001) [Resumo publicado em evento] -
Algoritmo neron para o problema de escalonamento de máquinas paralelas não relacionadas.
(2001) [Resumo publicado em evento]