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
(67)
Show More
Show Less
Author
Show More
Show Less
Subject
DATA WAREHOUSE
(4)
COMBINATORIAL OPTIMIZATION
(3)
GRASP
(3)
Metaheuristics
(3)
RELATIONAL DATA WAREHOUSE
(3)
CALCULUS OF CONSTRUCTIONS
(2)
Calculus of Inductive Constructions
(2)
DATA WAREHOUSE DESIGN
(2)
DISEÑO DE DATA WAREHOUSE
(2)
Dependent pair type
(2)
Show More
Show Less
Year
1202
(67)
2014
(67)
2001
(12)
2006
(8)
2004
(7)
2003
(5)
2007
(5)
2008
(5)
2010
(5)
2013
(4)
Show More
Show Less
Document Type
Sin Especificar
(67)
Show More
Show Less
Language
in
(67)
Show More
Show Less
Your search
Language:
in
Year:
1202
Sort by
Score
Title
Year
-
1-10 from
67
results
(0.008 seconds)
Title:
Internal program extraction in the calculus of inductive constructions
Language:
in
Repository:
65
Subject:
CALCULUS OF CONSTRUCTIONS
Acceder
Title:
Predicting the performance of a parallel heuristic solution for the Steiner Tree Problem
Language:
in
Repository:
65
Subject:
PERFORMANCE ESTIMATION
/
PARALLEL
/
PETRI NET MODELS
/
STEINER TREE
/
COMBINATORIAL OPTIMIZATION
Acceder
Title:
A GRASP algorithm for designing a Wide Area Network backbone
Language:
in
Repository:
65
Subject:
METAHEURISTICA
/
DISEÑO TOPOLOGICO
/
SURVIVABILITY
Acceder
Title:
Quality management in MSIS
Language:
in
Repository:
65
Subject:
MULTI SOURCE INFORMATION SYSTEM
/
QUALITY MANAGEMENT
/
GESTION DE CALIDAD
Acceder
Title:
An approach to subroutine elimination
Language:
in
Repository:
65
Subject:
BYTE CODE VERIFIERS
/
SUBROUTINES
/
JAVA CARD
/
CQQ
/
FORMAL PROOFS
Acceder
Title:
An OCL - based semantics of system state modification primitives
Language:
in
Repository:
65
Subject:
SEMANTICS
/
SYSTEM STATE MODIFICATION PRIMITIVES
/
OCL
/
UML
/
USE TOOL
Acceder
Title:
A generic version of scanf programmed in C5
Language:
in
Repository:
65
Subject:
Dynamic Typing
/
Dependent Pair Type
/
Generic Programming
/
Earley algorithm
Acceder
Title:
The C5 Programming Language
Language:
in
Repository:
65
Acceder
Title:
Domination Invariant of a Diameter Constrained Network Reliability Model
Language:
in
Repository:
65
Subject:
Graph theory
/
Domination
/
Diameter-constrained network reliability
Acceder
Title:
Adaptative sampling strategies for Quickselect
Language:
in
Repository:
65
Acceder
« Previous
1
2
3
4
5
6
7
Next »