Sem registros
|
Investigação de Esquemas Adaptativos para Otimização de Heurísticas
|
Tese de Doutorado |
|
11/3/1981 |
0 |
|
|
Um Gerador de Tabelas de Análise Sintática para Gramáticas de Tipo SLR (L), LALR (L) e LR (L)
|
Dissertação de Mestrado |
|
31/3/1981 |
|
|
|
O Modelo de Análise Fatorial
|
Dissertação de Mestrado |
|
27/3/1981 |
|
|
|
Contribuição para uma Metodologia de Projeto e Documentação de Sistemas de Informação Através de Linguagem Formalizável
|
Dissertação de Mestrado |
|
23/3/1981 |
|
|
|
Estabilidade de Sistemas Não Lineares: Uma Abordagem Estrutural
|
Tese de Doutorado |
|
4/2/1981 |
0 |
|
|
Determinação da Confiabilidade da Capacidade de Geração de Sistemas Hidrotermo-Elétricos
|
Dissertação de Mestrado |
|
24/2/1981 |
|
|
|
C-PASCAL: Suporte para Desenvolvimento de Projetos em Microcomputadores
|
Dissertação de Mestrado |
|
23/2/1981 |
|
|
|
Modelagem por Programação Linear por Objetivos
|
Dissertação de Mestrado |
|
18/2/1981 |
|
|
|
Sobre a Solução dos Problemas de Programação Linear
|
Tese de Doutorado |
|
30/1/1981 |
0 |
|
|
Metodologia para a Geração de Programas em Simulação Celular
|
Tese de Doutorado |
|
9/1/1981 |
0 |
|
|
Concentrador de Terminais
|
Dissertação de Mestrado |
|
26/1/1981 |
|
|
|
Um Programa para Resolução de Problemas de Programação Linear de Pequeno Porte
|
Relatório Técnico |
|
1981 |
19 |
|
|
Sistema de Representação Distintos - Alguns Problemas Equivalentes
|
Relatório Técnico |
Inteligência Artificial |
1981 |
18 |
|
|
COPPEREL - Sistema de Gerência de Base de Dados da COPPE
|
Relatório Técnico |
|
1981 |
17 |
|
|
Uma Especificação Formal do Tipo Conjunto do Algol/C
|
Relatório Técnico |
|
1981 |
16 |
|
|
Projeto Miniban/Coppe - Especificação da Interface Loban - Linguagem de Operação de Banco de Dados - Versão 2
|
Relatório Técnico |
|
1981 |
15 |
|
|
Para Gramática Extensível, Um Analisador Extensível?
|
Relatório Técnico |
|
1981 |
14 |
|
|
Um Programa Transformador para Entrada de Dados no MPS - Tempo
|
Relatório Técnico |
|
1981 |
13 |
|
|
O Simplex Revisado
|
Relatório Técnico |
|
1981 |
12 |
|
|
Codificador RRP - Manual de Lógica, Projeto NhãoNhão V2.0 - Módulo 2
|
Relatório Técnico |
|
1981 |
11 |
|
|
Codificador RRP - Manual de Utilização, Projeto NhãoNhão V2.0 - Módulo No. 1
|
Relatório Técnico |
|
1981 |
10 |
|
|
Mecanismos de Comunicação para Processos Concorrentes
|
Relatório Técnico |
|
1981 |
9 |
|
|
Um Problema de Orientação de Grafos
|
Relatório Técnico |
|
1981 |
8 |
|
|
SIBANDABARMUS - Um Sistema de Banco de Dados Baseado em Álgebra Relacional Muito Simplificado
|
Relatório Técnico |
|
1981 |
7 |
|
|
Um Algoritmo Guloso para o Problema de Localização não Capacitado
|
Relatório Técnico |
|
1981 |
6 |
|
|
Análise de um Programa Gerador de Malha e suas Consequências sobre o Traçado de Contornos
|
Relatório Técnico |
|
1981 |
5 |
|
|
Characterizations and Algorithms for Some Special Scheduling Problems
|
Relatório Técnico |
|
1981 |
4 |
|
|
O Conceito de Monitor como Instrumento de Sincronização em Programação Concorrente
|
Relatório Técnico |
|
1981 |
3 |
|
|
Uma Introdução à Teoria de Matróides
|
Relatório Técnico |
|
1981 |
2 |
|
|
Um Teorema de Função Implícita
|
Relatório Técnico |
|
1981 |
1 |
|
|
Novas Técnicas para Analisadores Sintáticos Tipo Matriz de Transição
|
Tese de Doutorado |
|
16/12/1980 |
0 |
|
|
Tratamento, Armazenamento e Recuperação de Matrizes Esparsas de Grande Porte
|
Dissertação de Mestrado |
|
19/12/1980 |
|
|
|
Cortes Disjuntivos para o Problema do Particionamento
|
Tese de Doutorado |
|
7/10/1980 |
0 |
|
|
Um Gerador de Analisadores Sintáticas de Precedência
|
Dissertação de Mestrado |
|
29/9/1980 |
|
|
|
Matróides e Algoritmos GREEDY
|
Dissertação de Mestrado |
|
15/9/1980 |
|
|
|
Busca em Arquivos por Multi-Chaves para Microprocessador
|
Dissertação de Mestrado |
|
15/9/1980 |
|
|
|
A Utilização de Programas para Deteção de Falhas em Microcomputadores
|
Dissertação de Mestrado |
|
11/9/1980 |
|
|
|
Um Modelo de Seleção de Investimentos para o Setor Elétrico
|
Dissertação de Mestrado |
|
8/9/1980 |
|
|
|
Controlabilidade e Observabilidade Generalizadas em Sistemas Lineares Multivariáveis
|
Tese de Doutorado |
|
12/8/1980 |
0 |
|
|
Caracterização Estrutural de Sistemas de Controle Invariantes
|
Tese de Doutorado |
|
8/8/1980 |
0 |
|
|
Análise da Viabilidade Econômico-Financeira de Projetos de Financiamento (Um Sistema para Computador)
|
Dissertação de Mestrado |
|
22/8/1980 |
|
|
|
Controle Semi-Automatizado de Tráfego e Seguranca em Túneis e Vias Expressas
|
Dissertação de Mestrado |
|
11/8/1980 |
|
|
|
Um Gerador de Analisadores Sintáticos LL (1)
|
Dissertação de Mestrado |
|
17/7/1980 |
|
|
|
EXPAND: Uma Linguagem Extensível Através de Macros-Sintáticas: Compilador da Linguagem Base
|
Dissertação de Mestrado |
|
24/3/1980 |
|
|
|
Simulação do Sistema Nuclear de Geração de Vapor de uma Central PWR
|
Dissertação de Mestrado |
|
20/3/1980 |
|
|
|
Um Sistema Computacional Didático para Solução de Problemas Envolvendo a Teoria dos Grafos
|
Dissertação de Mestrado |
|
12/3/1980 |
|
|
|
Condições de Otimalidade para Problemas de Multiparametrização: Aplicação na Determinação da Ração de Custo Mínimo
|
Dissertação de Mestrado |
|
30/1/1980 |
|
|
|
Concepção de um Sistema Híbrido
|
Dissertação de Mestrado |
|
3/1/1980 |
|
|
|
Recobrimento Contínuo Ótimo
|
Tese de Doutorado |
|
6/12/1979 |
0 |
|
|
Subsistemas de Tratamento Estatístico de Dados Geológicos e Geoquímicos na Prospecção de Petróleo
|
Dissertação de Mestrado |
|
28/12/1979 |
|
|
|