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
(12)
Show More
Show Less
Author
Show More
Show Less
Subject
ABSTRATION SAFETY
(1)
ALF
(1)
ALGORITMO DE CERTIFICACION
(1)
Access Network
(1)
Algoritmos
(1)
Alternating-time temporal logic (ATL)
(1)
BIOENGINEERING
(1)
Backbone Network
(1)
Behavioral specification
(1)
COMPUTACION DISTRIBUIDA
(1)
Show More
Show Less
Year
2014
(12)
1202
(9)
2007
(2)
2011
(2)
2015
(2)
1995
(1)
2008
(1)
2009
(1)
2010
(1)
2016
(1)
Show More
Show Less
Document Type
Sin Especificar
(12)
Show More
Show Less
Language
Inglés
(12)
Show More
Show Less
Your search
Query:
PHYSICAL PROPERTIES
Year:
2014
Language:
Inglés
Repository:
65
Sort by
Score
Title
Year
-
1-10 from
12
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:
Formalizing alternating-time temporal logic in the coq proof assistant
Language:
Inglés
Repository:
65
Subject:
Alternating-time temporal logic (ATL)
Acceder
Title:
Modelling and analysis of neurons coupled by electrical synapses
Language:
Inglés
Repository:
65
Subject:
BIOENGINEERING
/
NEUROSCIENCE
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:
IEEE 802.11 parameters adaptation for Performance enhancement in high density Wireless networks
Language:
Inglés
Repository:
65
Subject:
IEEE 802.11 STANDARD
/
HIGH DENSITY WIRELESS NETWORK
Acceder
« Previous
1
2
Next »