Collection's Items (Sorted by Submit Date in Descending order): 261 to 280 of 706
| Issue Date | Title | Author(s) |
| 25-Oct-2001 | Serviço CORBA de diagnóstico de falhas (SDF). | BATALHA, Marcela Santana Guimarães. |
| 16-Feb-1990 | Avaliação de desempenho em redes locais brasileiras. | CELESTINO JÚNIOR, Joaquim. |
| 19-Feb-1992 | Descrição formal da estrutura do modelo orientado a objetos temporal - TOM (Temporal Object Model). | DAVID, Marcos Bastos. |
| 8-Jun-1990 | LIDIA - uma linguagem para desenvolvimento de sistemas especialistas com tratamento de incertezas: projeto e implementação parcial. | FERREIRA JÚNIOR, José Ulisses. |
| 17-Jan-1986 | Projeto e implementação de um sistema transformador de programas FORTRAN. | MEDEIROS, Camilo de Lelis Gondim. |
| 10-Feb-2006 | CASTOR: uma técnica de verificação de conformidade para arquiteturas de software baseada em componentes. | SILVA JÚNIOR, Rogério Dourado. |
| 2-Dec-1992 | O uso de semântica na melhoria dos métodos indutivos de aquisição automática de conhecimento. | CIRNE FILHO, Walfredo da Costa. |
| 14-Jul-1993 | Reconstrução e visualização de objetos 3-D. | PINHEIRO, Zairton Bastos. |
| 14-Mar-1988 | Mapeamento do modelo semântico de dados THM para o modelo relacional. | CUNHA, Joseluce de Farias. |
| 22-Dec-1989 | Sistema de auxílio à decisão para liberação de manobras em linhas de transmissão utilizando técnicas de inteligência artificial. | FIGUEIREDO, Jorge Cesar Abrantes de. |
| 21-Dec-1993 | SIM/SAVAD: um simulador de modelos de redes de filas. | CONCEIÇÃO FILHO, Haroldo Castro. |
| 24-Apr-1989 | Compressão/descompressão de dados: uma variação do algoritmo LZW. | BRASILEIRO, Francisco Vilar. |
| 15-Apr-1992 | Técnicas de transformação de programas fontes: estudo e aplicação na transformação de programas FORTRAN-66 para FORTRAN-77. | SILVA, Francisco de Assis da Costa. |
| 24-Apr-1989 | Aprend: um sistema de aquisição automática de conhecimento a partir de exemplos. | GOMES, Fernando Antonio de Carvalho. |
| 29-Jan-1999 | Resolução de sistemas de equações lineares de grande porte utilizando processamento paralelo. | OLIVEIRA, Jean Gonzaga Souza de. |
| Mar-1991 | Uma abordagem heurística para a otimização semântica de consultas a bancos de dados dedutivos. | BICALHO, José Alexandre Novaes. |
| Dec-1993 | UNIFIC: uma API para a unificação da programação entre diferentes GUIs. | SILVA, Lílian Gibson. |
| Apr-1994 | Uma ferramenta para verificação interativa de programas vip. | GARCIA, Francilene Procópio. |
| 26-Jun-1996 | Splines e modelagem geométrica. | LINS, Robson Cavalcanti. |
| Apr-1994 | Modelagem de sistemas de informação para apoio à tomada de decisão. | FRAZÃO, Ronaldo Martins Nascimento. |
Collection's Items (Sorted by Submit Date in Descending order): 261 to 280 of 706
