Navegação Ciências Exatas e da Terra por Autor "Costa, Antônio Carlos da Rocha"
Resultados 1-8 de 8
-
Agentes improvisacionais representando vendedores virtuais.
Rodrigues, Maíra R.; Souza, Eliana de; Costa, Antônio Carlos da Rocha (1999) [Resumo publicado em evento] -
Um ambiente interativo para o desenvolvimento de provas da lógica proposicional.
Alves, Gleifer V.; Dimuro, Graçaliz Pereira; Costa, Antônio Carlos da Rocha (1999) [Resumo publicado em evento] -
Ambiente para criação e edição de peças de teatro virtual.
Deus, Anibal M.R. (1999) [Resumo publicado em evento] -
Desenvolvimento de material didático interativo com o uso do software maple.
Miranda, Raquel M.; Islabão, Márcia H.; Alves, Gleifer V.; Dimuro, Graçaliz Pereira; Costa, Antônio Carlos da Rocha (1999) [Resumo publicado em evento] -
Estudo dos tipos abstratos de dados com a especificação formal z na linguagem de programação maple V.
Maximila, Giovani P.; Tourinho, Gustavo P.; Costa, Antônio Carlos da Rocha (1999) [Resumo publicado em evento] -
Estudo sobre a programação do msagent usando haskell/script.
Cardoso, Rafael C.; Dimuro, Graçaliz Pereira (1999) [Resumo publicado em evento] -
Um estudo sobre comércio online utilizando active server page.
Machado, Rodrigo P.; Barros, Leonardo C.A.; Dimuro, Graçaliz Pereira (1999) [Resumo publicado em evento] -
Implementações em espaços coerentes.
Islabão, Márcia H.; Wotter, Renata G.; Dimuro, Graçaliz Pereira (1999) [Resumo publicado em evento]