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
(52)
Show More
Show Less
Author
Show More
Show Less
Subject
Optimization
(2)
ABSTRATION SAFETY
(1)
ACCESS NETWORK
(1)
ALF
(1)
ALGORITMO DE CERTIFICACION
(1)
ALGORITMOS RECURSIVOS
(1)
Access Network
(1)
Acid Rain
(1)
Agro-ecosistema
(1)
Algoritmos
(1)
Show More
Show Less
Year
1202
(52)
2014
(52)
2011
(9)
2005
(7)
2012
(5)
2006
(4)
2007
(3)
2008
(3)
2009
(3)
2000
(2)
Show More
Show Less
Document Type
Sin Especificar
(52)
Show More
Show Less
Language
Inglés
(52)
Show More
Show Less
Your search
Year:
2014
Year:
1202
Language:
Inglés
Document Type:
Sin Especificar
Sort by
Score
Title
Year
-
1-10 from
52
results
(0.008 seconds)
Title:
Mathematical analysis of scheduling policies in peer-to-peer video streaming networks
Language:
Inglés
Repository:
65
Subject:
Redes de pares
/
Problema de optimización combinatoria
/
Video bajo demanda
Acceder
Title:
Software unit testing techniques :An empirical study
Language:
Inglés
Repository:
65
Subject:
Empirical Software Engineering
/
Cost of Testing Techniques
/
Effectiveness of Testing Techniques
/
Personal Software Process
Acceder
Title:
Heterogeneous verification of model transformations
Language:
Inglés
Repository:
65
Subject:
Ingeniería Dirigida por Modelos
/
Verificación
/
Métodos formales
/
Teoría de Instituciones
/
MOF
/
QVT-Relations
/
Heterogeneous Tool Set
/
Model-Driven engineering
/
Formal methods
/
Theory of institutions
Acceder
Title:
Efficient global illumination calculation for inverse lighting problems
Language:
Inglés
Repository:
65
Subject:
Problema inverso de iluminación
/
Intenciones de iluminación
/
Matriz inversa de radiosidad
/
Optimizacion
/
Problema multi-objetivo
/
Descomposición aproximada de matrices
/
Matrices de rango bajo
/
Radiosity
/
Radiosity matrix inverse
/
Optimization
/
Multi objective problem
/
Approximated matrix decomposition
/
Low rank matrix
Acceder
Title:
Decoupling and context in new media art
Language:
Inglés
Repository:
65
Subject:
Art
/
New media art
/
Interactive art
/
HCI
/
Human-computer interaction
/
Computer music
/
Neo-colonial theory
/
Politics
/
Cognitive capitalism
/
Arte
/
Arte y nuevos medios
/
Arte interactivo
/
Interacción persona-computadora
/
IPC
/
Música por computadora
/
Teoría neocolonial
/
Política
/
Capitalismo cognitivo
Acceder
Title:
Formal analysis of security models for mobile devices, virtualization platforms and domain name systems
Language:
Inglés
Repository:
65
Subject:
Modelos formales
/
Prioridades de seguridad
/
Asistente de pruebas Coq
/
JME-MIDP
/
Virtualización
/
DNSSEC
Acceder
Title:
An analysis of the economic lot-sizing problem with return options focused on the remanufacturing plan
Language:
Inglés
Repository:
65
Subject:
Remanufacturación
/
Tamaño del lote económico
/
Control de inventario
/
Optimización
/
Lot-sizing problem
/
Remanufacturing
/
Inventory control
/
Optimization
Acceder
Title:
First class syntax, semantics and their composition
Language:
Inglés
Repository:
65
Subject:
Gramática de primera clase
/
Semántica de primera clase
/
Gramáticas de atributos
/
Construcción de compiladores
/
Lenguajes extensibles, Haskell
Acceder
Title:
A machine assisted proof of the subject reduction property for small typed functional language. Master Thesis
Language:
Inglés
Repository:
65
Subject:
PROGRAMACION FUNCIONAL
/
ALF
/
TEORIA DE TIPOS
/
TYPE THEORY
/
FUNCTIONAL PROGRAMMING
Acceder
Title:
Typed windows : an implementation of a programming language for graphics design. Master Thesis
Language:
Inglés
Repository:
65
Subject:
DISENO GRAFICO
/
GRAPHICS DESIGN
/
TY WIN
Acceder
« Previous
1
2
3
4
5
6
Next »