|
Sem registros
|
|
Sistema de Comunicação Móvel Digital: Um Exemplo de Aplicação de Telemedicina
|
Dissertação de Mestrado |
Redes de Computadores |
23/4/1990 |
0 |
|
|
|
Um Núcleo de Sistema Operacional Distribuído para a Máquina Paralela Híbrida
|
Dissertação de Mestrado |
Arquitetura e Sistemas Operacionais |
20/4/1990 |
0 |
|
|
|
TH - Proposta de uma Ferramenta Automática para Transformação de Textos em Hipertextos
|
Dissertação de Mestrado |
Engenharia de Software |
20/4/1990 |
0 |
|
|
|
Psicologia Genética e Inteligência Artificial: Uma Proposta de Estudo Interdisciplinar
|
Dissertação de Mestrado |
Inteligência Artificial |
18/4/1990 |
0 |
|
|
|
Coleções de Conjuntos Disjuntos: Operações e Algoritmos
|
Dissertação de Mestrado |
Otimização |
16/4/1990 |
0 |
|
|
|
Gerenciador de Interfaces Gráficas para Sistemas de Tempo Real
|
Dissertação de Mestrado |
Computação Gráfica |
30/4/1990 |
|
|
|
|
A Medição da Produtividade no Desenvolvimento de Software
|
Dissertação de Mestrado |
Engenharia de Software |
30/4/1990 |
|
|
|
|
Caracterização de um Sistema Operacional de Rede para Integrar Ambientes Heterogêneos
|
Dissertação de Mestrado |
Arquitetura e Sistemas Operacionais |
25/4/1990 |
|
|
|
|
Critérios para Avaliação de Software para Pecuária do Leite
|
Relatório Técnico |
Engenharia de Software |
3/1990 |
222 |
|
|
|
Prestime: Um Sistema para Predição, Estima e Medição da Qualidade de Software
|
Relatório Técnico |
|
3/1990 |
221 |
|
|
|
Sistemas de Informação: Levantamento de Análise de Métodos Participativos para seu Desenvolvimento
|
Relatório Técnico |
Informática e Sociedade |
3/1990 |
220 |
|
|
|
Implementação de Um Terminal X para Sistema Operacional Plurix
|
Dissertação de Mestrado |
Arquitetura e Sistemas Operacionais |
30/3/1990 |
0 |
|
|
|
O Processo de Aquisição do Conhecimento na Construção de Sistemas Especialistas
|
Dissertação de Mestrado |
Inteligência Artificial |
16/3/1990 |
0 |
|
|
|
Uma Extensão do Problema de Roteamento de Veículos: Problema de Roteamento de Auditores
|
Dissertação de Mestrado |
Otimização |
7/3/1990 |
0 |
|
|
|
A Bayesian-Netork Approach to Lexical Disambiguation
|
Relatório Técnico |
|
2/1990 |
219 |
|
|
|
Um Modelo de Localização Industrial: Estudo de Potencialidade de Agroindústrias no Estado do Mato Grosso do Sul
|
Dissertação de Mestrado |
Informática e Sociedade |
17/1/1990 |
0 |
|
|
|
FEGRES: Ferramentas Gráficas para Engenharia de Software
|
Dissertação de Mestrado |
Engenharia de Software |
5/1/1990 |
0 |
|
|
|
Proposta de Desenvolvimento de um Protótipo de Sistema de Gerência de Banco de Dados Orientado a Objetos
|
Relatório Técnico |
Engenharia de Dados e Conhecimento |
12/1989 |
218 |
|
|
|
Definição e Implementação de um Sistema Especialista em Modularização de Projeto Estruturado de Sistemas
|
Dissertação de Mestrado |
Engenharia de Software |
26/12/1989 |
0 |
|
|
|
Um Sistema de Apoio à Avaliação de Custos de Software
|
Dissertação de Mestrado |
|
15/12/1989 |
|
|
|
|
Algoritmos para Problemas de Equilíbrio em Redes
|
Tese de Doutorado |
Otimização |
6/11/1989 |
|
|
|
|
Manual para Controle de Qualdade de Especificações
|
Relatório Técnico |
Engenharia de Software |
10/1989 |
217 |
|
|
|
Ambientes de Desenvolvimento de Software: Um Estudo
|
Relatório Técnico |
|
10/1989 |
216 |
|
|
|
Programação Fracionária Linear em Variáveis Bivalentes: Uma Contribuição ao Estudo de Algoritmos
|
Dissertação de Mestrado |
Otimização |
2/10/1989 |
0 |
|
|
|
GRAPHICS, Uma Reescrita Sequencial de Figuras
|
Tese de Doutorado |
|
23/10/1989 |
|
|
|
|
Contribuições à Solução de Problemas de Percursos e Sequenciamento de Veículos
|
Tese de Doutorado |
Otimização |
5/10/1989 |
|
|
|
|
Validação de Bases de Conhecimento em Sistemas Especialistas Baseados em Regras
|
Dissertação de Mestrado |
Inteligência Artificial |
28/9/1989 |
0 |
|
|
|
Análise Sintática Baseada em Regras Usando um Modelo Conexionista: Uma Visão Crítica
|
Dissertação de Mestrado |
|
27/9/1989 |
|
|
|
|
O Tempo como Modelo: A Aplicação de Lógicas Temporais na Especificação Formal de Sistemas Distribuídos
|
Dissertação de Mestrado |
|
20/9/1989 |
|
|
|
|
CAD - Alguma Consideraçõe sobre sua História, Aplicações e Impactos Sociais
|
Relatório Técnico |
Engenharia de Software |
8/1989 |
215 |
|
|
|
Um Núcleo para Programação Concorrente em Pascal
|
Relatório Técnico |
|
8/1989 |
214 |
|
|
|
Linha de Pesquisa Banco de Dados - Programa de Engenharia de Sistemas e Computação
|
Relatório Técnico |
|
8/1989 |
212 |
|
|
|
Large-Steps Path-Following Methods for Linear Programming: Pothential Reduction Method
|
Relatório Técnico |
|
8/1989 |
211 |
|
|
|
Morfologia Matemática, Volume I - Capítulos 1-6, Volume II - Capítulos 7-15
|
Relatório Técnico |
Arquitetura e Sistemas Operacionais |
8/1989 |
209 |
|
|
|
Análise de Alguns Métodos de Racionínio Impreciso para Sistemas Especialistas Baseados em Regras
|
Dissertação de Mestrado |
Inteligência Artificial |
9/8/1989 |
0 |
|
|
|
Uma Máquina Básica de Redução
|
Dissertação de Mestrado |
|
21/8/1989 |
|
|
|
|
Metodologia de Desenvolvimento de um Configurador de Testes AutomátiCos com Técnicas de Inteligência Artificial
|
Dissertação de Mestrado |
|
21/8/1989 |
|
|
|
|
Criptografia, Segurança dos Dados e Privacidade - Até que Ponto Pode-se Confiar na Discrição dos Computadores
|
Dissertação de Mestrado |
|
17/8/1989 |
|
|
|
|
Large-Steps Path-Following Methods for Linear Programming: Barrier Function Method
|
Relatório Técnico |
|
7/1989 |
210 |
|
|
|
Protótipo do Especificador de Ambientes da Estação TABA
|
Relatório Técnico |
|
7/1989 |
208 |
|
|
|
Representação de Estruturas do Tipo Schemeta em Modelos Conexionistas
|
Relatório Técnico |
|
7/1989 |
207 |
|
|
|
O Problema de Matching (Relatório Didático)
|
Relatório Técnico |
|
7/1989 |
206 |
|
|
|
Proposta de Modelo Interno para o SGO do Projeto TABA
|
Relatório Técnico |
|
7/1989 |
205 |
|
|
|
A Ergonomia e suas Relações com o Trabalho em Processamento de Dados
|
Relatório Técnico |
|
7/1989 |
204 |
|
|
|
Novas Tecnologias e a Divisão Sexual do Trabalho
|
Relatório Técnico |
Informática e Sociedade |
7/1989 |
203 |
|
|
|
Especificação de Ambientes da Estação TABA: Fase de Identificação
|
Relatório Técnico |
|
7/1989 |
202 |
|
|
|
Aquisição de Conhecimento para Sistemas Especialistas no Projeto TABA
|
Relatório Técnico |
Engenharia de Software |
7/1989 |
201 |
|
|
|
Ambientes de Desenvolvimento de Software
|
Relatório Técnico |
|
7/1989 |
200 |
|
|
|
ACOD: Um Analisador de Pseudocódigo (Especificação e Projeto da Ferramenta)
|
Relatório Técnico |
Engenharia de Software |
7/1989 |
199 |
|
|
|
Um Modelo Abstrato para Troca de Mensagens
|
Relatório Técnico |
|
7/1989 |
198 |
|
|
