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 Repository: 37 Document Type: Tesis

Sort by Score Title Year -

1-10 from 165 results (0.014 seconds)

Title: Type specialisation of polymorphic languages
Author: Martínez López, Pablo E.
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Lenguajes de programación / Informática / Aplicación informática / especialización principal de tipos / especialización de tipos / especialización de programas / producción automática de programas / programas polimórficos

AccederDescargar
Title: Verificación formal y refinamientos en P/PML
Author: Díaz, Javier Roberto
Language: Español
Repository: 37
Subject: Ciencias Informáticas / verificación formal / Verification / Software / lógica de programacion / derivación de programas / métodos formales

Acceder
Title: Buscar a los que no vienen: ampliacion de la agenda universitaria y diseño organizativo : La educación formal alternativa en el dispositivo de la Escuela Universitaria de Oficios de la UNLP
Author: Iparraguirre, María Mercedes
Language: Español
Repository: 37
Subject: Educación / Educación Formal Alternativa / Estructura organizativa / Escuela Universitaria de Oficios

Acceder
Title: La enseñanza de los procesos de determinación de la capacidad de las personas con padecimientos mentales o discapacidad mental: entre el curriculum formal y el real
Author: Andriola, Karina Alejandra
Language: Español
Repository: 37
Subject: Ciencias Jurídicas / Competencia Mental / determinación de la capacidad, perspectiva de género, formación de los/as abogados/as, curriculum formal, curriculum real

Acceder
Title: Una herramienta para verificación formal de especificaciones gráficas orientadas a objetos
Author: Cengia, Javier Andrés
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Software / Computer-aided software engineering (CASE) / Software process models (e.g., CMM, ISO, PSP)

Acceder
Title: Políticas de protección social, incentivos al trabajo y empleo formal : Evidencia para Uruguay a partir de una evaluación de experimentos de política
Author: Bérgolo Sosa, Marcelo
Language: Español
Repository: 37
Subject: Ciencias Económicas / Sistema de Protección Social / Uruguay / economía / análisis cuasi-experimental / política social / análisis económico / respuestas en el mercado de trabajo

Acceder
Title: Transgredir el cistema: crónicas sobre mujeres trans y acceso al trabajo formal
Author: Moretti, Julia
Language: Español
Repository: 37
Subject: Comunicación Social / transexualidad / Trans / Crónica periodística / trabajo / crónicas / Género / Cupo laboral trans

Acceder
Title: ¿Una vuelta de tuerca más? : Población vulnerable, trabajo formal y asistencia
Author: Macció Lorier, Lucía
Language: Español
Repository: 37
Subject: Trabajo Social / Uruguay / trabajo / pobreza / políticas asistenciales / asistencia social / pobreza extrema

Acceder
Title: Un marco formal para transformaciones en la Ingeniería de Software conducida por modelos
Author: Giandini, Roxana Silvia
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Aplicación informática / Informática / Ingeniería de software / Arquitectura de software / Análisis de Algoritmos y Problemas Complejos

AccederDescargar
Title: Una teoría dinámica orientada a objetos como fundamento formal para el proceso de desarrollo de software basado en modelos
Author: Pons, Claudia
Language: Español
Repository: 37
Subject: Ciencias Exactas / Ciencias Informáticas / Lógicas y Significados de programas / Modelos de procesos del software / Informática

Acceder

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