OPAC

Your search

Query: FORMAL LANGUAGES Document Type: Sin Especificar Repository: 65

Sort by Score Title Year -

1-10 from 104 results (0.018 seconds)

Title: On the Formalisation of the Metatheory of the Lambda Calculus and Languages with Binders
Language: Inglés
Repository: 65
Subject: Programación Genérica / Lenguajes de Programación / Metateoría Formal / Cálculo Lambda / Teoría de Tipos

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: Análisis formal del estándar NIST para modelos RBAC
Language: Español
Repository: 65
Subject: Standard NIST / Análisis Formal / Role Based Access Control

Acceder
Title: Aprendizaje en organizaciones de educación no formal para personas adultas mayores de Uruguay
Language: Español
Repository: 65
Subject: EDUCACION NO FORMAL / APRENDIZAJE

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: Una mirada desde el trabajo social al cambio educativo formal uruguayo. Un aporte para la discusión
Language: Español
Repository: 65
Subject: EDUCACION / TRABAJO SOCIAL / REFORMAS DE LA EDUCACION / EDUCACION PUBLICA

Acceder
Title: Hacia una especificación formal del modelo de seguridad de MIDP 3.0
Language: Español
Repository: 65
Subject: Java Micro Edition / Interactive Mobile Devices / Modelo de Seguridad / Especificaciones Formales / MIDP / Coq

Acceder
Title: La Filosofía en el marco de la educación formal : diálogos con la Psicología en contextos de encierro
Language: Español
Repository: 65
Subject: Carceles / Rol del psicólogo / FILOSOFIA / DERECHOS HUMANOS / PROCESO DE APRENDIZAJE / ENSEÑANZA

Acceder
Title: Poéticas de murga uruguaya : tradición, profesionalismo y rupturas. Estudio comparado temático-formal de cuatro casos entre 2005 y 2010.
Language: Español
Repository: 65
Subject: Teatro / Historia / Murgas

Acceder
Title: Verificación formal de una extensión segura de un sistema de archivos compatible con UNIX. Master Thesis
Language: Español
Repository: 65
Subject: UNIX-COMPATIBILIDAD / SISTEMAS OPERATIVOS

Acceder

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

Refine your Search

Repository

Author

Subject

Year

Document Type

Language

Your search