OPAC

Your search

Query: INFORMATION SYSTEMS" Document Type: Sin Especificar Repository: 65

Sort by Score Title Year -

51-60 from 226 results (0.025 seconds)

Title: Especificación y análisis de sistemas de tiempo real en teoría de tipos. Caso de estudio : the railroad crossing example
Language: Español
Repository: 65
Subject: ANALISIS DE SISTEMAS EN TIEMPO REAL / AUTOMATAS TEMPORIZADOS / TCTL / CTL / VERIFICACION DE MODELOS / TEORIA DE TIPOS / REAL TIME SYSTEMS / MODEL / TYPE THEORY

Acceder
Title: Una semántica formal de primitivas de modificación de estados de sistemas orientados a objetos.
Language: Español
Repository: 65
Subject: OBJECT ORIENTED SYSTEMS / PRIMITIVAS DE MODIFICACION DE ESTADOS

Acceder
Title: Termodinámica del enredo en sistemas cuánticos bipartitos simples
Language: Español
Repository: 65
Subject: THERMODYNAMICS / HAMILTONIAN SYSTEMS / TEMPERATURE / MATHEMATICAL PHYSICS / GEOMETRY / QUANTUM WALKS / QUANTUM MECHANICS / THERMALIZATION / JAYNES - CUMMINGS MODEL

Acceder
Title: Exploring teleconnections and climate dynamics by means of complex networks
Language: Español
Repository: 65
Subject: CLIMATOLOGY / CLIMATE CHANGE / COMPLEX SYSTEMS / CLIMATE SYSTEM / ENSO

Acceder
Title: Empirical characterization and modeling of power consumption and energy aware scheduling in data centers
Language: Inglés
Repository: 65
Subject: Green computing / Energy efficiency / Multicores / Energy model / Cloud simulation
Title: Dependability evaluation of a critical system by means of fault injection mechanisms
Language: Inglés
Repository: 65
Subject: Electrónica

Acceder
Title: Estimation and control techniques in power converters
Language: Inglés
Repository: 65

Acceder
Title: Convenio Específico Facultad de Ingeniería - Instituto Pasteur
Language: Desconocido
Repository: 65

Acceder
Title: Formally verified countermeasures against cache based attacks in virtualization platforms
Language: Inglés
Repository: 65
Subject: Non-interference / Cache-based attacks / Constant-time cryptography / Stealth memory / Coq / No interferencia / Ataques basados en cache / Criptografía constant-time

Acceder
Title: El sistema de acreditación de carreras de grado del MERCOSUR en la Universidad de la República. El caso de la Facultad de Agronomía (2002 – 2012)
Language: Español
Repository: 65
Subject: Evaluación / Acreditación / ARCU-SUR / Aseguramiento de la calidad

Acceder

« Previous 2 3 4 5 6 7 8 9 10 Next »

Refine your Search

Repository

Author

Subject

Year

Document Type

Language

Your search