OPAC

A problem has been found

A problem has ocurred in the communication with the server.

Please, try again later. If the problem persists, contact the admin

Your search

Year: 2014 Year: 2006 Language: in

Sort by Score Title Year -

1-8 from 8 results (0.008 seconds)

Title: Functions in C5
Language: in
Repository: 65
Subject: Dynamic Type / Dependent pair type / Generic programming / Function type

Acceder
Title: C5 printf and C5 scanfin C5 version 0.98
Language: in
Repository: 65
Subject: Dynamic type / Dependent pair type / Generic programming / Parser

Acceder
Title: Comparación del desempeño de generadores de números aleatorios
Language: in
Repository: 65
Subject: Generadores de Numeros aleatorios / Algoritmo Mersenne Twister

Acceder
Title: Data freshness and data accuracy :a state of the art
Language: in
Repository: 65
Subject: Data freshness / Data accuracy / Data quality evaluation / Data integration systems

Acceder
Title: Optimization of cache expiration dates in content networks
Language: in
Repository: 65
Subject: Protocolos de Internet / Redes Virtuales / Arquitectura peer-to-peer / Redes de contenido / Cache information

Acceder
Title: Modelling cache expiration dates policies in content networks
Language: in
Repository: 65
Subject: Peer-to-peer networks / Mathematical programming / Optimization

Acceder
Title: IPoIM :internet protocol over instant messaging
Language: in
Repository: 65
Subject: Protocolos de Internet / Redes Privadas Virtuales / Instant Messaging / Internet Protocol / Tunnel / VPN / OpenVPN / GAIM

Acceder
Title: A formal specification of the MIDP 2.0 security model
Language: in
Repository: 65
Subject: Calculus of Inductive Constructions / Formal specification / MIDP 2.0 / Security / Coq

Acceder

« Previous 1 Next »