OPAC

Your search

Query: PROGRAM Repository: 65

Sort by Score Title Year -

41-50 from 56 results (0.01 seconds)

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: Creación de una propuesta de modelo de evaluación de la gestión en estructuras organizativas transversales
Language: Español
Repository: 65
Subject: Educación permanente / Gestión universitaria / Estructuras transversales / Estructuras descentralizadas / Rúbrica / Comunicación organizacional / Continuing education / Lifelong learning / University management / Transverse structures / Decentralized structures / Rubric / Organizational communication
Title: Identificação das necessidades formativas dos licenciados em nutrição para construção de um curso de especialização na área da alimentação coletiva
Language: Español
Repository: 65
Subject: Nutricionistas / Servicios de Alimentación / Capacitación Profesional

Acceder
Title: Protecting workers against unemployment in Uruguay
Language: Inglés
Repository: 65
Subject: MERCADO DE TRABAJO / DESEMPLEO / SEGURO DE DESEMPLEO / EVALUACION

Acceder
Title: An approach to subroutine elimination
Language: in
Repository: 65
Subject: BYTE CODE VERIFIERS / SUBROUTINES / JAVA CARD / CQQ / FORMAL PROOFS

Acceder
Title: Ideas and the study of political parties : the added value of the discursive institucionalist approach
Language: Inglés
Repository: 65
Subject: DISCURSO POLITICO / PARTIDOS POLITICOS / INSTITUCIONALISMO / HOLANDA

Acceder
Title: Respuestas en los ingresos frente a un programa de transferencias monetarias : evidencia de un notch a partir de registros administrativos de Uruguay
Language: Español
Repository: 65
Subject: Transferencias no contributivas / Comportamiento en el mercado laboral / Bunching / Notches / Conditional cash transfers / Labor market / DESIGUALDAD y POBREZA
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: Are not any silver in the cloud? Subjective well-being among deprived young people
Language: Inglés
Repository: 65
Subject: Social intermediation program / Subjective well-being / Aspiration / Bienestar subjetivo / Programa de intermediación social / Aspiraciones
Title: Reasoning about functional programs by combining interactive and automatic proofs
Language: Inglés
Repository: 65
Subject: Demostración automática de teoremas / Demostración interactiva de teoremas / Evaluación perezosa / Teoría de tipos / Lenguajes totales / Recursión general / Teorías de primer orden / Verificación de programas funcionales / Automatic proofs / First-order theories / Functional program correctness / General recursion / Interactive proofs / Lazy evaluation / Total languages / Type theory

Acceder

« Previous 1 2 3 4 5 6 Next »

Refine your Search

Repository

Author

Subject

Year

Document Type

Language

Your search