OPAC

Your search

Query: INFORMATION THEORY" Repository: 65 Year: 1202

Sort by Score Title Year -

11-20 from 57 results (0.025 seconds)

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: Propuesta de un refinador semántico para recuperación de información desde la Web
Language: Español
Repository: 65
Subject: WEB INFORMATION RETRIEVAL / QUERY EXPANSION / SEMANTIC REFINEMENT / REFINADOR SEMANTICO / RECUPERACION DE INFORMACION

Acceder
Title: Caracterización ultrasónica, eléctrica, y magnética de muestras superconductoras de Y-123
Language: Español
Repository: 65
Subject: SUPERCONDUCTIVITY / GINZBURG-LANDAU THEORY / BCS THEORY

Acceder
Title: Ecuaciones de campo del modelo gauged Wess-Zumino-Witten y posibles soluciones en dos dimensiones
Language: Español
Repository: 65
Subject: QUANTUM THEORY / GAUGE FIELD THEORY / GRAVITATION / GENERAL RELATIVITY / BLACK HOLES

Acceder
Title: Second generation sparse models
Language: Inglés
Repository: 65

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: 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: Heterogeneous verification of model transformations
Language: Inglés
Repository: 65
Subject: Ingeniería Dirigida por Modelos / Verificación / Métodos formales / Teoría de Instituciones / MOF / QVT-Relations / Heterogeneous Tool Set / Model-Driven engineering / Formal methods / Theory of institutions

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

« Previous 1 2 3 4 5 6 Next »

Refine your Search

Repository

Author

Subject

Year

Document Type

Language

Your search