Your search returned 1805 results.

Sort
Results
221.
Sobre la negación y la inferencia no monótona en la programación en Lógica by
  • Fillottrani, Pablo Rubén
Source: CACIC [CD-ROM]
Material type: Article Article; Format: large print regular print
Availability: No items available.

222.
Una metodología para tratar el problema de la indecisión en un sistema argumentativo abstracto by
  • García, Alejandro Javier
Source: CACIC [CD-ROM]
Material type: Article Article; Format: large print regular print
Availability: No items available.

223.
Un método de diseño de autómatas, guiado por invariantes by
  • Aguirre, Jorge Alberto
Source: CACIC [CD-ROM]
Material type: Article Article; Format: large print regular print
Availability: No items available.

224.
Un generador de evaluadores de gramáticas de atributos NC(1) de máximo paralelismo sin sincronización entre procesos by
  • Arroyo, Marcelo
Source: CACIC [CD-ROM]
Material type: Article Article; Format: large print regular print
Availability: No items available.

225.
Análise de ferramentas intervalares para Computação científica by
  • Hölbig, Carlos Amaral
Source: CACIC [CD-ROM]
Material type: Article Article; Format: large print regular print
Availability: No items available.

226.
Aplicação da análise de complexidade na exploração do paralelismo na programação em Lógica by
  • Geyer, Cláudio Fernando Resin
Source: CACIC [CD-ROM]
Material type: Article Article; Format: large print regular print
Availability: No items available.

227.
Implementação da linguagem funcional SCRIPT by
  • Oliveira, Fabiola F
Source: CACIC [CD-ROM]
Material type: Article Article; Format: large print regular print
Availability: No items available.

228.
Translating a subset of English to defeasible logic programs by
  • García, Alejandro Javier
Source: CACIC [CD-ROM]
Material type: Article Article; Format: large print regular print
Availability: No items available.

229.
Disminución de la cantidad de paquetes descartados en el túnel entre el Home Agent y el Foreign Agent por medio del conocimiento del MTU en IP Movil (Redes móviles mediante TCP/IP) by
  • Donoso Meisel, Yezid Enrique
Source: CACIC [CD-ROM]
Material type: Article Article; Format: large print regular print
Availability: No items available.

230.
Despachador de tareas de tiempo real para eventos temporizados by
  • Alimenti, Omar
Source: CACIC [CD-ROM]
Material type: Article Article; Format: large print regular print
Availability: No items available.

231.
Construção de padrões para a modelagem de aspectos temporais by
  • Kroth, Eduardo
Source: CACIC [CD-ROM]
Material type: Article Article; Format: large print regular print
Availability: No items available.

232.
Visualización distribuida usando sistemas operativos convencionales by
  • Clua, Osvaldo
Source: CACIC [CD-ROM]
Material type: Article Article; Format: large print regular print
Availability: No items available.

233.
A fast CORDIC co-processor architecture for digital signal processing applications by
  • Bria, Oscar Norberto
Source: CACIC [CD-ROM]
Material type: Article Article; Format: large print regular print
Availability: No items available.

234.
Experimentos para análise de transmissão de vídeo via ATM by
  • Pissioli, Mauricio
Source: CACIC [CD-ROM]
Material type: Article Article; Format: large print regular print
Availability: No items available.

235.
Dispositivo genérico portátil de entrada/salida by
  • Aciti, Claudio
Source: CACIC [CD-ROM]
Material type: Article Article; Format: large print regular print
Availability: No items available.

236.
Transmisión progresiva por Internet de modelos topográficos texturados by
  • De Giusti, Armando Eduardo
Source: CACIC [CD-ROM]
Material type: Article Article; Format: large print regular print
Availability: No items available.

237.
Proposta de estruturas de comutador para redes de comunicação de altíssima velocidade by
  • Arantes, Magda Patricia Caldeira
Source: CACIC [CD-ROM]
Material type: Article Article; Format: large print regular print
Availability: No items available.

238.
Segurança em sistemas computacionais : Desenvolvimento de um mecanismo distribuído para detecção de intrusões en redes TCP/IP by
  • Trentin, Marco Antonio Sandini
Source: CACIC [CD-ROM]
Material type: Article Article; Format: large print regular print
Availability: No items available.

239.
Performance evaluation of two CAC algorithms in ATM networks by
  • Chaves, Niudomar Siquiera de Araujo
Source: CACIC [CD-ROM]
Material type: Article Article; Format: large print regular print
Availability: No items available.

240.
Herramienta de simulación basada en formalismo DEVS para predicción de performance de redes de computadoras by
  • Melgrati, Iván
Source: CACIC [CD-ROM]
Material type: Article Article; Format: large print regular print
Availability: No items available.

Pages

Powered by Koha