OPAC

Your search

Query: INFORMATION THEORY Language: in

Sort by Score Title Year -

1-10 from 16 results (0.033 seconds)

Title: Representation of metamodels using inductive types in a type-theoretic framework for MDE
Language: in
Repository: 65
Subject: Model-Driven Engineering / Model Transformations / Correctness / Constructive Type Theory

Acceder
Title: Domination Invariant of a Diameter Constrained Network Reliability Model
Language: in
Repository: 65
Subject: Graph theory / Domination / Diameter-constrained network reliability

Acceder
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: Optimization of cache expiration dates in content networks
Language: in
Repository: 65
Subject: Protocolos de Internet / Redes Virtuales / Arquitectura peer-to-peer / Redes de contenido / Cache information

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

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: A Certified Access Controller for JME-MIDP 2.0 enabled Mobile Devices
Language: in
Repository: 65
Subject: Java Micro Edition / Calculus of Inductive Constructions / Information Integrity

Acceder
Title: Internal program extraction in the calculus of inductive constructions
Language: in
Repository: 65
Subject: CALCULUS OF CONSTRUCTIONS

Acceder
Title: An operational approach to program extraction in the Calculus of Constructions
Language: in
Repository: 65
Subject: CALCULUS OF CONSTRUCTIONS

Acceder
Title: New tools for qualitative analysis in economic dynamic :symbolic dynamics
Language: in
Repository: 65
Subject: ECONOMIC DYNAMICAL SYSTEMS

Acceder

« Previous 1 2 Next »

Refine your Search

Repository

Author

Subject

Year

Document Type

Language

Your search