|
Sem registros
|
|
Um Conjunto de Ferramentas Automatizadas de Apoio ao Desenvolvimento de Software
|
Relatório Técnico |
|
6/1986 |
104 |
|
|
|
Impacto da Organização da Equipe de Programação sobre a Produtividade
|
Relatório Técnico |
|
6/1986 |
103 |
|
|
|
Qualidade de Software para Microcomputadores
|
Relatório Técnico |
|
6/1986 |
102 |
|
|
|
Lógica não Monotônica
|
Relatório Técnico |
Algoritmos e Combinatória |
6/1986 |
101 |
|
|
|
Algoritmos para Traçado de Elementos Básicos na Construção de Figuras
|
Dissertação de Mestrado |
|
25/6/1986 |
|
|
|
|
Dedução Baseada em Regras
|
Relatório Técnico |
Inteligência Artificial |
5/1986 |
100 |
|
|
|
Otimização de Redes de Distribuição de Água
|
Relatório Técnico |
|
5/1986 |
99 |
|
|
|
Prova de Teoremas: Refutação
|
Relatório Técnico |
Algoritmos e Combinatória |
5/1986 |
98 |
|
|
|
Árvores de Jogos
|
Relatório Técnico |
Algoritmos e Combinatória |
5/1986 |
97 |
|
|
|
ESTIME - Um Sistema para estimar Custos de Desenvolvimento de Software
|
Relatório Técnico |
|
5/1986 |
96 |
|
|
|
Busca em Hipergrafos
|
Relatório Técnico |
Algoritmos e Combinatória |
5/1986 |
95 |
|
|
|
Um Modelo Dinâmico de Localização de P-Medianas Aplicado a Implantação de Baterias de Fornos para Produção Industrial de Carvaão Vegetal em Regiões Reflorestadas
|
Relatório Técnico |
|
5/1986 |
94 |
|
|
|
Métodos Informados de Busca
|
Relatório Técnico |
Algoritmos e Combinatória |
5/1986 |
93 |
|
|
|
Algoritmos Exatos e Heurísticos para o Problema de Localização de Facilidades
|
Tese de Doutorado |
|
9/5/1986 |
|
|
|
|
La Informática en La Educación
|
Relatório Técnico |
Engenharia de Software |
4/1986 |
92 |
|
|
|
Métodos não Informados de Busca
|
Relatório Técnico |
Algoritmos e Combinatória |
4/1986 |
91 |
|
|
|
Otimização de Sistemas Dinâmicos não Lineares com Aplicação a Políticas de Pesca
|
Tese de Doutorado |
|
4/4/1986 |
0 |
|
|
|
Modelos Matemáticos à Transmissão e Controle da Esquistossomose Mansônica
|
Tese de Doutorado |
|
30/4/1986 |
|
|
|
|
Estudo de Problemas Relacionados com Projeto e Construção de Programas Concorrentes e Distribuídos
|
Relatório Técnico |
|
3/1986 |
90 |
|
|
|
Sistema de Interconexão de Redes
|
Dissertação de Mestrado |
|
31/3/1986 |
0 |
|
|
|
Um Servidor de Arquivo para a Rede Local Cobra
|
Dissertação de Mestrado |
|
31/3/1986 |
|
|
|
|
ADA: Análise Léxica, Compilação em Separado e Construção da Árvore Sintática
|
Dissertação de Mestrado |
|
31/3/1986 |
|
|
|
|
Relaxação Lagrangeana e o Problema de Multi-Fluxo
|
Dissertação de Mestrado |
|
31/3/1986 |
|
|
|
|
Microcomputador como Estação Gráfica
|
Dissertação de Mestrado |
|
31/3/1986 |
|
|
|
|
Alocação da Geração em Sistemas Interligados. Uma Aplicação do Pricí o da Otimização Progressiva
|
Dissertação de Mestrado |
|
21/3/1986 |
|
|
|
|
Chaveamento de Circuitos para Alívio de Sobrecargas
|
Dissertação de Mestrado |
|
14/3/1986 |
|
|
|
|
Estudo do Problema do Corte Circular e uma Implementação de Algoritmo para Geração do Grafo de Cortes Inclusivos
|
Dissertação de Mestrado |
|
28/2/1986 |
|
|
|
|
A Automação da Sociedade e seus Reflexos Econômicos, Sociais e Políticos no Brasil
|
Relatório Técnico |
|
1/1986 |
89 |
|
|
|
A Indústria de Informática no Brasil
|
Relatório Técnico |
|
1/1986 |
88 |
|
|
|
Uma Visão Política da Microeletrônica
|
Relatório Técnico |
|
1/1986 |
87 |
|
|
|
Informática e Saúde
|
Relatório Técnico |
|
1/1986 |
86 |
|
|
|
Estruturas Regulares para Controle em Circuitos Integrados
|
Dissertação de Mestrado |
|
6/1/1986 |
0 |
|
|
|
Krigeage Universal Usando Incrementos Generalizados de Ordem K
|
Relatório Técnico |
|
12/1985 |
85 |
|
|
|
Caracterizações de Soluções Ótimas Através de Algoritmos Polinomiais para Problemas em Scheduling Tipo No-Wait Flow-Shop
|
Tese de Doutorado |
|
11/12/1985 |
|
|
|
|
MATCHICO - Programa Computacional para Determinar o Matching de Cardinalidade Máxima em Grafos Não-Bipartites
|
Relatório Técnico |
|
11/1985 |
84 |
|
|
|
Contribuição à Caracterização das Matrizes (0-1) e seu Relacionamento com os Hipergrafos: Visando a Solução de Problemas de Otimização Combinatória
|
Tese de Doutorado |
|
27/11/1985 |
|
|
|
|
Proposta de um Controlador para um SGBD Relacional Centralizado
|
Dissertação de Mestrado |
|
11/10/1985 |
|
|
|
|
Mecanismos de Transmissão de Mensagens em Sistemas Distribuídos: Um Modelo Semântico
|
Tese de Doutorado |
|
1/10/1985 |
|
|
|
|
Geração Automática de Mapas Temáticos: Aplicação a Sistemas de Dados Ternários
|
Dissertação de Mestrado |
|
30/9/1985 |
|
|
|
|
A Reinforcement of the Content of Information of the Disjunctive Cutting Plane B(5)
|
Relatório Técnico |
|
8/1985 |
80 |
|
|
|
Proposta de uma Versão Multi-Usuário para o SGBD COPPEREL
|
Relatório Técnico |
|
8/1985 |
79 |
|
|
|
Análise da Condições Globais de Tráfego da Área Central do Rio de Janeiro: Utilização da Teoria dos Dois Fluxos
|
Relatório Técnico |
|
8/1985 |
78 |
|
|
|
Conception de Systemes D'Information pour la Geston des Transports Publics Urbains: L'Experience Bresilienne
|
Relatório Técnico |
|
8/1985 |
77 |
|
|
|
Lagrangean Relaxation for a Set Partitioning Problem with Side Constraints Arising from the Scheduling of Crews for Bus Lines
|
Relatório Técnico |
|
8/1985 |
76 |
|
|
|
Proposta Metodológica para Elaboração de Planos de Pesagem de Veículos de Carga nas Rodovias
|
Relatório Técnico |
|
8/1985 |
75 |
|
|
|
Proposta e Avaliação de um Sistema de Interface Homem-Máquina para Microcomputadores
|
Dissertação de Mestrado |
|
9/8/1985 |
|
|
|
|
Código-A: Uma Proposta de Código Intermediário, Independente de Máquina, para Ada
|
Dissertação de Mestrado |
|
8/8/1985 |
|
|
|
|
Avaliação do Método RAS na Atualização de Matrizes Insumo-Produto para o Brasil
|
Dissertação de Mestrado |
|
8/8/1985 |
|
|
|
|
Critérios de Estabilidade para o Problema de Previsão de Matrizes
|
Tese de Doutorado |
|
8/8/1985 |
|
|
|
|
Estudo Comparativo de Métodos para o Planejamento Hierárquico da Produção- Relaxação Lagrangeana Versus Algoritmo de Bitran e Hax
|
Dissertação de Mestrado |
|
1/8/1985 |
|
|
|
