Navegação Ciências Exatas e da Terra por Assunto "Fundamentos da computação"

Um aplicativo para visualização de grafos

Klock, Carlos E. (2002) [Resumo publicado em evento]

Desenvolvimento de uma base de dados para gramática de grafos baseada em objetos (GGBO)

Menezes, João Batista; Santos, Juliana Bonato dos; Ghisleni, Rafael Stefanello; Ribeiro, Leila (2002) [Resumo publicado em evento]

Fundamentos de interpretação abstrata

Prates, Diego C. (2002) [Resumo publicado em evento]

Implementação de um autômato celular para segmentação de áreas geofísicas

Silva, Rafael K. S.; Costa, Antônio C. R.; Dimuro, Graçaliz P. (2002) [Resumo publicado em evento]

Uma linguagem visual para processos computados na máquina geométrica

Cardoso, Marcos B.; Reiser, Renata H. S. (2002) [Resumo publicado em evento]

Matemática discreta aplicada à computação e à informática - material didático e experiência de ensino

Bavaresco, Simone (2002) [Resumo publicado em evento]

Mecanismo de execução de processos de software no ambiente APSEE

Abreu, Marcelo M. de; Reis, Carla A. L.; Reis, Rodrigo Q. (2002) [Resumo publicado em evento]

Módulo linear system solver (LSS) em C-XSC

Alcalde, Bernardo F. K.; Morandi Jr., Paulo S.; Hölbig, Carlos A. (2002) [Resumo publicado em evento]

Portando o ambiente ATI para a plataforma Linux

Dias, Aurélio M.; Dimuro, Graçaliz P.; Costa, Antônio C. R.; Reiser, Renata H. S. (2002) [Resumo publicado em evento]

Simulação de campos vetoriais baseada em autômatos celulares

Palazzo, Renata V.; Costa, Antônio C. R. (2002) [Resumo publicado em evento]

Utilização de mônadas na implementação de um provador de teoremas

Alves, Gleifer V.; Costa, Antônio C. R. (2002) [Resumo publicado em evento]

Visualização de BDDS de funções de quatro entradas

Poli, Renato E. B.; Schneider, Felipe R. (2002) [Resumo publicado em evento]