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
(9)
Show More
Show Less
Author
Show More
Show Less
Subject
ABSTRATION SAFETY
(1)
ALF
(1)
ALGORITMO DE CERTIFICACION
(1)
Access Network
(1)
Algoritmos
(1)
Backbone Network
(1)
Behavioral specification
(1)
COMPUTACION DISTRIBUIDA
(1)
Caso de Prueba Real
(1)
Diseño Topológico
(1)
Show More
Show Less
Year
1202
(9)
2014
(9)
2007
(2)
2011
(2)
1995
(1)
2008
(1)
2009
(1)
2010
(1)
Show More
Show Less
Document Type
Sin Especificar
(9)
Show More
Show Less
Language
Inglés
(9)
Show More
Show Less
Your search
Query:
PHYSICAL PROPERTIES
Year:
2014
Year:
1202
Document Type:
Sin Especificar
Language:
Inglés
Sort by
Score
Title
Year
-
1-9 from
9
results
(0.015 seconds)
Title:
On some dynamic properties of electrical power systems : sobre algunas propiedades dinámicas de los sistemas eléctricos de potencia
Language:
Inglés
Repository:
65
Acceder
Title:
Tree models :algorithms and information theoretic properties
Language:
Inglés
Repository:
65
Subject:
Algoritmos
/
Tree Models
Acceder
Title:
Topological properties for a wide area network planning and a dynamic programming approach for designing the access network
Language:
Inglés
Repository:
65
Subject:
Topological Design
/
Access Network
/
Backbone Network
/
Dynamic Programming with State-Space Relaxation
/
Diseño Topológico
/
Red de Acceso
/
Red Dorsal
/
Programación Dinámica con Relajación del Espacio de Estados
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:
Towards secure distributed computations
Language:
Inglés
Repository:
65
Subject:
COMPUTACION DISTRIBUIDA
/
TYPE SAFE
/
ABSTRATION SAFETY
/
ALGORITMO DE CERTIFICACION
/
PCR
/
MARSHALLING
Acceder
Title:
UML 2.0 interactions with OCL/RT constraints
Language:
Inglés
Repository:
65
Subject:
Behavioral specification
/
Real-time systems
/
Unified Modeling Language
/
UML
Acceder
Title:
Cost-causality based tariffs for distribution networks with distributed generation
Language:
Inglés
Repository:
65
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:
Models and algorithms for the optimal design of bus routes in public transportation systems
Language:
Inglés
Repository:
65
Subject:
Transporte Público.
/
Diseño Óptimo de Recorridos y Frecuencia de Buses
/
TNDP
/
Programación Lineal Entera Mixta
/
Heurísticas
/
Caso de Prueba Real
/
Public Transportation
/
Optimal Design of Bus Routes and Frequencies
/
Mixed Integer Linear Programming
/
Heuristics
/
Real Test Case
Acceder
« Previous
1
Next »