OPAC

Your search

Query: PHYSICAL PROPERTIES Year: 2014 Document Type: Sin Especificar Repository: 65

Sort by Score Title Year -

1-10 from 20 results (0.017 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: Propiedades ópticas de materiales nanoestructurados :transmitancia y fotoluminiscencia
Language: Español
Repository: 65
Subject: MATERIALS SCIENCE / NANOSCALE MATERIALS / SEMICONDUCTORS - OPTICA PROPERTIES

Acceder
Title: Quality management in MSIS
Language: in
Repository: 65
Subject: MULTI SOURCE INFORMATION SYSTEM / QUALITY MANAGEMENT / GESTION DE CALIDAD

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
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: A Certified Access Controller for JME-MIDP 2.0 enabled Mobile Devices
Language: in
Repository: 65
Subject: Java Micro Edition / Interactive Mobile Devices / Mobile Information Device Profile

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

« Previous 1 2 Next »

Refine your Search

Repository

Author

Subject

Year

Document Type

Language

Your search