|
Sem registros
|
|
On The Use of Namability: Some Logical Properties and Modeling Applications
|
Relatório Técnico |
|
7/1988 |
159 |
|
|
|
Tecnologia da Informação Versus Privacidade
|
Relatório Técnico |
|
7/1988 |
158 |
|
|
|
Um Ambiente de Desenvolvimento de Software Científico para Engenharia Naval
|
Relatório Técnico |
Engenharia de Software |
7/1988 |
157 |
|
|
|
A Informática e Educação Especial
|
Relatório Técnico |
Informática e Sociedade |
7/1988 |
156 |
|
|
|
A Informática e a Educação Física
|
Relatório Técnico |
|
7/1988 |
155 |
|
|
|
Robôs Industriais, suas Aplicações e Conseqüências Sócio Econômicas
|
Relatório Técnico |
Informática e Sociedade |
7/1988 |
154 |
|
|
|
Propriedade e Direitos Intelectuais: O Caso do Software
|
Relatório Técnico |
Informática e Sociedade |
7/1988 |
153 |
|
|
|
A Informática e Cidadania: Questão da Privacidade
|
Relatório Técnico |
Informática e Sociedade |
7/1988 |
152 |
|
|
|
A Informática no Ensino de 1o. e 2o. Graus
|
Relatório Técnico |
Informática e Sociedade |
7/1988 |
151 |
|
|
|
Análise do Modelo de Insumo-Produto (Modelo Leontief) - (Volumes I e II)
|
Relatório Técnico |
Otimização |
7/1988 |
150 |
|
|
|
Pesquisas em Engenharia de Software
|
Relatório Técnico |
|
7/1988 |
149 |
|
|
|
Métodos de Raciocínio Impreciso para Sistemas Especialistas Baseados em Regras
|
Dissertação de Mestrado |
Inteligência Artificial |
20/7/1988 |
0 |
|
|
|
Static Task Allocation in Heterogeneous Distributed Systems
|
Relatório Técnico |
|
6/1988 |
148 |
|
|
|
Implementação de um Compilador Prolog
|
Relatório Técnico |
|
6/1988 |
147 |
|
|
|
Um Núcleo para Programação Concorrente em Pascal
|
Relatório Técnico |
|
6/1988 |
146 |
|
|
|
Avaliação da Qualidade de Software Educacional
|
Relatório Técnico |
|
6/1988 |
145 |
|
|
|
TABA: Uma Estação de Trabalho para o Engenheiro de Software
|
Relatório Técnico |
|
6/1988 |
144 |
|
|
|
Um Sistema de Trocas de Mensagens para Comunicação e Sincronização entre Processos em Modula-2
|
Dissertação de Mestrado |
|
24/6/1988 |
|
|
|
|
Técnicas para a Alocação Estática de Tarefas em Sistemas Distribuídos
|
Dissertação de Mestrado |
|
21/6/1988 |
|
|
|
|
Pesquisas em Engenharia de Software
|
Relatório Técnico |
|
5/1988 |
143 |
|
|
|
Uma Abordagem ao Problema de Mecanização de Especificações Axiomáticas de Tipos Abstratos de Dados
|
Dissertação de Mestrado |
|
17/5/1988 |
|
|
|
|
Problemas de Arborescências em Grafos
|
Dissertação de Mestrado |
|
9/5/1988 |
|
|
|
|
Programação Estocástica com Risco Mínimo: Algoritmos e Aplicações a Problemas de Planejamento
|
Tese de Doutorado |
Otimização |
5/5/1988 |
|
|
|
|
Ferramentas para Edição de Texto em um Ambiente Operacional Amigável
|
Dissertação de Mestrado |
|
29/4/1988 |
|
|
|
|
Contribuições para Definição de uma Arquitetura Voltada para a Execução de LISP
|
Dissertação de Mestrado |
|
29/4/1988 |
|
|
|
|
Um Analisador Estático de Programas Escritos em C
|
Dissertação de Mestrado |
|
29/4/1988 |
|
|
|
|
Estado da Arte da Criptografia de Chave Pública Baseada no \"Problema da Mochila\"
|
Dissertação de Mestrado |
|
26/4/1988 |
|
|
|
|
Cache para Discos: Arquitetura e Algoritmos
|
Dissertação de Mestrado |
|
25/4/1988 |
|
|
|
|
Um Interpretador de uma Linguagem de Configuração para Um Ambiente de Programação Distribuída Baseado em Modula-2
|
Dissertação de Mestrado |
|
22/4/1988 |
|
|
|
|
Desenvolvimento de um Protocolo de Comunicação entre Dois Sistemas Distribuídos
|
Dissertação de Mestrado |
|
15/4/1988 |
|
|
|
|
Gerenciador de Dados Replicados para Centros de Supervisão e Controle Baseados em uma Arquitetura Distribuída
|
Dissertação de Mestrado |
|
14/4/1988 |
|
|
|
|
Ferramentas Automatizadas para Apoio ao Projeto Estruturado
|
Dissertação de Mestrado |
|
13/4/1988 |
|
|
|
|
Decomposition Lagrangienne pour Problemes de Programtion Non-Lineaire en Nombres Entiers a Constraintes Lineaires
|
Relatório Técnico |
|
3/1988 |
142 |
|
|
|
Um Novo Esquema de Decomposição Lagrangeana em Programação Linear Inteira
|
Relatório Técnico |
|
3/1988 |
141 |
|
|
|
Interior Point Algorithms for Linear Programming Problems with Inequality Constraints
|
Relatório Técnico |
|
3/1988 |
140 |
|
|
|
Polynomial Affine Algorithm for Linear Programming
|
Relatório Técnico |
|
3/1988 |
139 |
|
|
|
PRODOC: Uma Ferramenta para Produzir Documentação de Produtos de Software
|
Dissertação de Mestrado |
|
29/3/1988 |
|
|
|
|
Um Sistema Especialista para Escolha dos Fatores de Escala do TNA
|
Dissertação de Mestrado |
|
25/3/1988 |
|
|
|
|
Simulação Multivariável de Variáveis Regionalizadas
|
Dissertação de Mestrado |
|
25/3/1988 |
|
|
|
|
Editores Gráficos para Projeto de Circuitos Integrados
|
Dissertação de Mestrado |
Arquitetura e Sistemas Operacionais |
19/2/1988 |
0 |
|
|
|
Sistemas Especialistas Aplicados ao Processamento de Alarmes em Centros de Controle
|
Dissertação de Mestrado |
|
10/2/1988 |
|
|
|
|
An 0(N) Algorithm for the Projecton of a Vector on the Simplex of IRn
|
Relatório Técnico |
|
1/1988 |
138 |
|
|
|
Sistema Amigável para Minimização do Custo da Ração
|
Dissertação de Mestrado |
|
4/1/1988 |
|
|
|
|
Metodologia de Expansão da Capacidade de Ponta em Sistemas Interligados de Geração Hidrotermoelétrica
|
Tese de Doutorado |
Otimização |
15/12/1987 |
0 |
|
|
|
Um Estudo de Ambientes de Programação Distribuída: Proposta e Extensões para Modula-2
|
Tese de Doutorado |
|
11/12/1987 |
|
|
|
|
Contribuição ao Problema de Equilíbrio em Redes
|
Tese de Doutorado |
|
30/10/1987 |
|
|
|
|
Gramática e Linguagens RISK
|
Tese de Doutorado |
|
8/9/1987 |
|
|
|
|
Um Processador RISC Bipartido
|
Dissertação de Mestrado |
Arquitetura e Sistemas Operacionais |
30/7/1987 |
0 |
|
|
|
Planejamento da Expansão a Longo Prazo de Redes de Transmissão de Energia Elétrica Usando Técnicas de Sistemas Baseados em Conhecimentos
|
Dissertação de Mestrado |
Otimização |
20/7/1987 |
0 |
|
|
|
Sistemas Especialistas: Um Estudo de Caso na Agricultura
|
Dissertação de Mestrado |
Inteligência Artificial |
8/7/1987 |
0 |
|
|
