BDBComp - Biblioteca Digital Brasileira de Computação

Revista de Informática Teórica e Aplicada - Volume 2

10 registros retornados

Número 2 - Ano 1995

Francisco Ibañez, Raymundo Forradellas, Fernando Barber, Rafael Berlanga Llavori. Dos Enfoques de la Programación Lógica con Restricciones. 5 - 35 Buscar na Web Processando consulta.
Newton José Vieira. Recuperando Caminhos no esquema algorítmico Union-Find. 37 - 53 Buscar na Web Processando consulta.
Paulo Alberto de Azeredo. Classificação por intercalação: um método confiável. 55 - 70 Buscar na Web Processando consulta.
Paulo Blauth Menezes. Marked Petri Nets. 71 - 92 Buscar na Web Processando consulta.
Dalcidio Moraes Claudio, Maria Angelica Camargo, Vilmar Trevisan. Um algoritmo algébrico para isolar zeros de polinômios. 93 - 113 Buscar na Web Processando consulta.

Número 1 - Ano 1995

Carla Maria Dal Sasso Freitas, Flávio Rech Wagner. Ferramentas de suporte às tarefas da análise exploratória visual. 5 - 36 Buscar na Web Processando consulta.
Fernando de Freitas Rezende. Concurrency control techniques and the KBMS Enviroment: A critical analysis. 37 - 76 Buscar na Web Processando consulta.
Cirano Iochpe, Maria Aparecida M. Souto. Transações de Banco de Dados: novos requisitos de processamento de aplicações não convencionais. 77 - 123 Buscar na Web Processando consulta.
Dalcidio Moraes Claudio, Siegfried M. Rump. Inclusion methods for real and complex functions in one variable. 125 - 136 Buscar na Web Processando consulta.
Peter Struss, Waldir L. Roque. Qualitative Reasoning and Model-Based Diagnosis: foundations & applications. 137 - 149 Buscar na Web Processando consulta.