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
Home
Repositories
Authors
Document types
Statistics
About
Query
Advanced Search
Simple Search
Title
Author
Subject
Year
Refine your Search
Repository
65
(8)
Show More
Show Less
Author
Show More
Show Less
Subject
Dependent pair type
(2)
Generic programming
(2)
Protocolos de Internet
(2)
Algoritmo Mersenne Twister
(1)
Arquitectura peer-to-peer
(1)
Cache information
(1)
Calculus of Inductive Constructions
(1)
Coq
(1)
Data accuracy
(1)
Data freshness
(1)
Show More
Show Less
Year
1202
(8)
2006
(8)
2014
(8)
Show More
Show Less
Document Type
Sin Especificar
(8)
Show More
Show Less
Language
in
(8)
Show More
Show Less
Your search
Subject:
-methylenation
Year:
2006
Repository:
65
Language:
in
Document Type:
Sin Especificar
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 »