Publicações

Pesquisar por título ou autor:

Pesquisar:	Limpar filtros

Título
Autor
Linha de pesquisa
Tipo de publicação
Ano

Título	Tipo de publicação	Linha de pesquisa	Data	N° REG
Página 38 de 62 Total: 3075 Início Ant 33 34 35 36 37 38 39 40 41 42 Próximo Fim
Sem registros
Um Ambiente para Desenvolvimento de Modelos de Sistemas de Computação e Comunicação	Dissertação de Mestrado	Redes de Computadores	8/10/1997		Visualizar
Graph Theory in Mathematical Cosmology I. Perfect Fluid Case	Relatório Técnico		9/1997	452	Visualizar
On The Axioms for Fork Algebras and Their Independence	Relatório Técnico		9/1997	451	Visualizar
Anais do Workshop em Inteligência Computacional: Projetos ICOM e IPAC, Protem III-CC,CNPq	Relatório Técnico		9/1997	450	Visualizar
Relationships Between Acceptable Programs and Stratifiable Classes	Relatório Técnico	Algoritmos e Combinatória	9/1997	449	Visualizar
Construção de Redes Sociotécnicas e os Mitos de Fundação de uma Tecnociência Brasileira	Dissertação de Mestrado	Informática e Sociedade	17/9/1997		Visualizar
Reutilização de Processos de Desenvolvimento de Software Baseada em Padrões	Dissertação de Mestrado	Engenharia de Software	10/9/1997		Visualizar
On Refinement of. Logical Specifications and Modularity	Relatório Técnico		8/1997	448	Visualizar
On the Construction of Logical Specifications by Conservative Extensions	Relatório Técnico		8/1997	447	Visualizar
On Logical Specifications and Program Development	Relatório Técnico		8/1997	446	Visualizar
On The Roleof Axiomatic Specifications In Program Development	Relatório Técnico		8/1997	445	Visualizar
A Distributed Implementation of the Clique Graph Operator	Relatório Técnico	Algoritmos e Combinatória	8/1997	444	Visualizar
Splitting number is NP-complete	Relatório Técnico	Algoritmos e Combinatória	8/1997	443	Visualizar
Reconstrução de Soluções não-Suaves dos Problemas mal Postos em Inversão Geofísica	Tese de Doutorado	Otimização	19/8/1997	0	Visualizar
HOOT: Integrando Hipermídia e Bancos de Dados Orientados a Objetos	Dissertação de Mestrado	Engenharia de Dados e Conhecimento	25/8/1997		Visualizar
Uma Ferramenta para o Cálculo de Descritores de Tráfego para Modelos Markovianos de Fontes Multímidia	Dissertação de Mestrado	Redes de Computadores	13/8/1997		Visualizar
Using Rasters Approximations For Processing of Spatial Joins	Relatório Técnico	Engenharia de Dados e Conhecimento	7/1997	442	Visualizar
Estudo de Problemas de Otimização em Grafos Cordais e Fortemente Cordais	Relatório Técnico		7/1997	441	Visualizar
Desenvolvimento de Sistemas Tutores Hipermídia Inteligentes para Cardiologia	Relatório Técnico	Inteligência Artificial	7/1997	440	Visualizar
Estudo de Diferentes Abordagens Sócio-Técnicas sobre a Geração Tecnológica: Um Caso Comparativo da Tecnologia Digital de Centrais Telefônicas Públicas	Tese de Doutorado	Informática e Sociedade	30/7/1997	0	Visualizar
Reengenharia de Software: Um Estudo sobre suas Técnicas e Abordagens Existentes Relacionadas à Reutilização de Software	Relatório Técnico		6/1997	439	Visualizar
Grafos Clique de Arestas	Relatório Técnico	Algoritmos e Combinatória	6/1997	438	Visualizar
An Ultrafilter Logic For Generic Reasoning and Some Applications	Relatório Técnico		6/1997	437	Visualizar
Avaliação da Qualidade de Especificações de Requisitos de Software pelo Modelo Rocha Estendido	Relatório Técnico	Engenharia de Software	6/1997	436	Visualizar
Modelo Rocha Estendido: Um Modelo Fuzzy para Avaliação da Qualidade de Software	Relatório Técnico	Engenharia de Software	6/1997	435	Visualizar
Representação Analítica de Falhas dos Equipamentos e Variação da Demanda no Despacho Hidrotérmico Multi-Estágio	Tese de Doutorado	Otimização	20/6/1997	0	Visualizar
Qualidade de Sistemas de Informação Hospitalar	Dissertação de Mestrado	Engenharia de Software	27/6/1997		Visualizar
Contribuição ao Problema Geral de Viabilidade Convexa	Tese de Doutorado	Otimização	27/6/1997		Visualizar
Automatic Generation of CCS Specifications for Resource Sharing Problems	Relatório Técnico		5/1997	434	Visualizar
A Reutilização de Software e a Orientação a Objetos	Relatório Técnico		5/1997	433	Visualizar
A Reutilização de Conhecimento Abstrato e Análise de Domínio	Relatório Técnico		5/1997	432	Visualizar
Reengenharia de Negócios e Análise de Domínio: Uma Associação Positiva	Relatório Técnico		5/1997	431	Visualizar
Enfoques sobre a Teoria dos Conjuntos Fuzzy	Relatório Técnico	Engenharia de Software	5/1997	430	Visualizar
Um Modelo Fuzzy para Avaliação da Qualidade de Software	Tese de Doutorado	Engenharia de Software	14/5/1997	0	Visualizar
Sistemas de Acesso Público para Educação de Pacientes	Dissertação de Mestrado	Engenharia de Software	9/5/1997		Visualizar
Manual para Controle da Qualidade de Especificações Orientadas a Objetos	Relatório Técnico	Engenharia de Software	4/1997	429	Visualizar
Recovery of the Analytic Center in Perturbed Quadratic Regions and Applications	Relatório Técnico		4/1997	428	Visualizar
Uma Estratégia para o Projeto de Distribuição de Bases de Dados Orientados a Objetos	Dissertação de Mestrado	Engenharia de Dados e Conhecimento	24/4/1997	0	Visualizar
Um Modelo de Escola Aberta na Internet: O Projeto Kidlink no Brasil	Tese de Doutorado	Engenharia de Software	15/4/1997	0	Visualizar
Maximilidade em Grafos de Fluxo Redutíveis	Tese de Doutorado	Otimização	4/4/1997	0	Visualizar
HIMPAR, Uma Arquitetura para Interoperabilidade de Objetos Distribuídos	Dissertação de Mestrado	Engenharia de Dados e Conhecimento	24/4/1997		Visualizar
Guias de Qualidade para a Construção de Frameworks Orientados a Objetos	Dissertação de Mestrado	Engenharia de Software	16/4/1997		Visualizar
Paralelismo em SGBDOO com Memória Distribuída: Uma Implementação no PARGOA	Dissertação de Mestrado	Engenharia de Dados e Conhecimento	11/4/1997		Visualizar
Implementação e Avaliação de Entry Consistency	Dissertação de Mestrado	Arquitetura e Sistemas Operacionais	7/4/1997		Visualizar
Usando Project-Scheduling para Transformar Continuamente Campos e Polígonos	Dissertação de Mestrado	Computação Gráfica	7/4/1997		Visualizar
Sistemas Tutoriais: Aplicação das Tecnologias de Hipermídia e de Inteligência Artificial em Educação	Relatório Técnico	Inteligência Artificial	3/1997	427	Visualizar
Defeasible Time-Stepping	Relatório Técnico		3/1997	426	Visualizar
ADSM: A Hydrid DSM Protocol that Efficiently Adapts to Sharing Patterns	Relatório Técnico	Arquitetura e Sistemas Operacionais	3/1997	425	Visualizar
Avaliação da Qualidade de Especificações Orientadas a Objetos	Tese de Doutorado	Engenharia de Software	14/3/1997	0	Visualizar
Programação Matemática em Variedades Riemannianas: Algoritmos Subgradiente e Ponto Proximal	Tese de Doutorado	Otimização	5/3/1997	0	Visualizar

Topo

Publicações do PESC

Menu principal