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