OPAC

A problem has been found

A problem has ocurred in the communication with the server.

Please, try again later. If the problem persists, contact the admin

Your search

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

Sort by Score Title Year -

1-6 from 6 results (0.012 seconds)

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: Hfusion : a fusion tool based on acid rain plus extensions
Language: Inglés
Repository: 65
Subject: Deforestation / Acid Rain / Fusion / Hylomorphism / Paramorphism / Functional Programming Languages / Generic Programming

Acceder
Title: Autorización de Acceso en MIDP 3.0
Language: Español
Repository: 65
Subject: Dispositivos Móviles Interactivos / MIDP / Especificación y Verificación Formal / Teoría de Tipos / Coq

Acceder
Title: Marco teórico para evaluar taxonomías de defectos
Language: Español
Repository: 65
Subject: Taxonomías / Taxonomías de defectos de software / Comparación de taxonomías

Acceder
Title: Innovación burocrática o cómo trazar una gestión horizontal desde verticales. Un estudio de caso : la implementación del PLEDUR por la UdelaR
Language: Español
Repository: 65
Subject: ADMINISTRACION PUBLICA / UNIVERSIDADES / ADMINISTRACION DE PERSONAL / ESTUDIOS DE CASOS

Acceder
Title: Organización del trabajo e innovación : el caso del Hospital de Clínicas
Language: Español
Repository: 65
Subject: SOCIOLOGIA DEL TRABAJO / ORGANIZACION DEL TRABAJO / SALUD / RECURSOS HUMANOS / INNOVACIONES / NUEVA TECNOLOGIA

Acceder

« Previous 1 Next »