OPAC

Your search

Query: PROGRAM" Repository: 65

Sort by Score Title Year -

11-20 from 416 results (0.073 seconds)

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
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: 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: Exportación de servicios en el IVA
Language: Español
Repository: 65
Subject: DECRETO 220/98 / EXPORTACIÓN DE SERVICIOS / RECINTO ADUANERO / LEY 18.083

Acceder
Title: Convenio Específico Facultad de Agronomía - Ministerio de Ganadería Agricultura y Pesca - Instituto Nacional de Investigación Agropecuarias - Asociación Rural del Uruguay
Language: Desconocido
Repository: 65

Acceder
Title: Efectos de corto plazo de la ley de interrupción voluntaria del embarazo en Uruguay sobre los nacimientos
Language: Español
Repository: 65
Subject: Metodolgía diferencia en diferencia / ABORTO

Acceder
Title: Procesos de atención a los usuarios en organizaciones de salud privada
Language: Español
Repository: 65
Subject: SISTEMA DE SALUD / INSTITUCIONES DE ASISTENCIA MEDICA

Acceder
Title: Caracterización de los laboratorios regionales de diagnóstico veterinario este y noroeste de la DILAVE "Miguel C. Rubino" y principales enfermedades diagnosticadas utilizando una base de datos relacional
Language: Español
Repository: 65
Subject: LABORATORIOS / URUGUAY

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: Distemper canino: estudio epidemiológico retrospectivo en el hospital de Facultad de Veterinaria (2006-2016)
Language: Español
Repository: 65
Subject: PERROS / PEQUEÑOS ANIMALES / VIROSIS / PARAMOXIVIRIDAE / EPIDEMIOLOGIA

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

Refine your Search

Repository

Author

Subject

Year

Document Type

Language

Your search