OPAC

Your search

Document Type: Sin Especificar Repository: 65 Year: 2014

Sort by Score Title Year -

431-440 from 1960 results (0.012 seconds)

Title: Diameter constrained network reliability :exact evaluation by factorization and bounds
Language: in
Repository: 65
Subject: SYSTEM RELIABILITY / DIAMETER CONSTRAINTS / GRAPH THEORY / FACTORIZATION / CONFIABILIDAD DE SISTEMAS / TEORIA DE GRAFOS / FACTORIZACION

Acceder
Title: Modelling cache expiration dates policies in content networks
Language: in
Repository: 65
Subject: Peer-to-peer networks / Mathematical programming / Optimization

Acceder
Title: IPoIM :internet protocol over instant messaging
Language: in
Repository: 65
Subject: Protocolos de Internet / Redes Privadas Virtuales / Instant Messaging / Internet Protocol / Tunnel / VPN / OpenVPN / GAIM

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: EOSimulator : biblioteca de simulación para un curso de simulación a eventos discretos
Language: Español
Repository: 65
Subject: C++ Modelado / Simulación

Acceder
Title: Test driven development :fortalezas y debilidades
Language: in
Repository: 65
Subject: Test Driven / Development / Extreme Programming / Xunit / FIT

Acceder
Title: Especificación y verificación formal de sistemas críticos en el Instituto de Computación de la Universidad de la República (Uruguay)
Language: Español
Repository: 65
Subject: Software Program Verification / Formal Methods / Correctness Proofs / Model Checking / Métodos Formales / Verificación de Sistemas Embebidos / Especificación y Prueba Asistida de Propiedades.

Acceder
Title: The C5 programming language 2007 edition
Language: in
Repository: 65
Subject: Tipos dinámicos / Programación genérica / Analizador Sintáctico. / Algoritmo de Earley / Constructor de Imágenes

Acceder
Title: Concepción, diseño e implantación de un laboratorio de seguridad informática
Language: Español
Repository: 65
Subject: Laboratorio de Seguridad Informática / Seguridad de la Información / Virtualización

Acceder
Title: Evaluación de arquitecturas de software con ATAM (Architecture Tradeoff Analysis Method) :un caso de estudio
Language: Español
Repository: 65
Subject: Ingeniería de Software / Arquitecturas de Software / Metodologías de evaluación de Arquitecturas de Software / Architecture Tradeoff Analysis Method / Atributos de calidad / ATAM

Acceder

« Previous 40 41 42 43 44 45 46 47 48 Next »

Refine your Search

Repository

Author

Subject

Year

Document Type

Language

Your search