|
Sem registros
|
|
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 |
|
|
|
|
O Modelo dos Componentes Principais: Apresentação e Interpretações
|
Dissertação de Mestrado |
|
21/12/1979 |
|
|
|
|
Modelo para Elaboração de Testes de Unidades Computacionais
|
Dissertação de Mestrado |
|
19/12/1979 |
|
|
|
|
Definição Topológica de Redes de Comunicação de Dados
|
Dissertação de Mestrado |
|
18/12/1979 |
|
|
|
|
Um Estudo Sobre Modelos de Energia e Suas Aplicações
|
Dissertação de Mestrado |
|
7/12/1979 |
|
|
|
|
Projeto de uma Unidade de Controle Microprogramada para uma UCP de Médio Porte
|
Dissertação de Mestrado |
|
14/11/1979 |
|
|
|
|
Um Modelo de Planejamento para o Setor Agropecuário de Itaguaí
|
Dissertação de Mestrado |
|
12/11/1979 |
|
|
|
|
Um Gerador de Programas COBOL
|
Dissertação de Mestrado |
|
1/10/1979 |
|
|
|
|
Problema de Programação Não Linear: Um Algoritmo de Direção Viável
|
Tese de Doutorado |
|
14/9/1979 |
0 |
|
|
|
Comparação de Filtros para Processamento de Medições Sonar
|
Dissertação de Mestrado |
|
18/9/1979 |
|
|
|
|
Software de Controle para Discos Flexíveis
|
Dissertação de Mestrado |
|
17/9/1979 |
|
|
|
|
O Desenvolvimento dos Pólos de Comércio de Algodão na Paraíba
|
Dissertação de Mestrado |
|
6/9/1979 |
|
|
|
|
Sistema de Ordenação para o Terminal Inteligente
|
Dissertação de Mestrado |
|
20/7/1979 |
|
|
|
|
Aspectos Conceituais sobre Concorrência em Banco de Dados
|
Dissertação de Mestrado |
|
9/7/1979 |
|
|
|
|
Máquinas,Autômatos e Linguagens da Memória Finita: Algumas Propriedades
|
Dissertação de Mestrado |
|
8/7/1979 |
|
|
|
|
Um Sistema Computacional para Soluções de Problemas de Programação Linear Inteira: Método de Branch and Bound
|
Dissertação de Mestrado |
|
6/7/1979 |
|
|
|
