OPAC

Your search

Query: PROGRAM" Year: 2014 Repository: 65

Sort by Score Title Year -

1-10 from 58 results (0.012 seconds)

Title: Internal program extraction in the calculus of inductive constructions
Language: in
Repository: 65
Subject: CALCULUS OF CONSTRUCTIONS

Acceder
Title: An operational approach to program extraction in the Calculus of Constructions
Language: in
Repository: 65
Subject: CALCULUS OF CONSTRUCTIONS

Acceder
Title: Public transfers and poverty reduction: an evaluation of program contribution to the exit rate from poverty of children and the elderly
Language: Inglés
Repository: 65
Subject: POBREZA / TRANSFERENCIA PUBLICA / GASTO SOCIAL / NIÑO

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: 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: 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: Impacto de la inflación de los alimentos sobre el salario y el consumo en Uruguay : el caso de los lácteos y el arroz
Language: Español
Repository: 65
Subject: ENCUESTA CONTINUA DE HOGARES / ENCUESTA DE GASTO E INGRESO DE LOS HOGARES / INSTITUTO NACIONAL DE ESTADISTICA / STATA

Acceder
Title: Relevamiento y análisis de procedimientos especiales de contratación en organismos del Estado
Language: Español
Repository: 65
Subject: CONTRATOS / GESTIÓN / TOCAF / ORGANISMOS ESTATALES

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

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

« Previous 1 2 3 4 5 6 Next »

Refine your Search

Repository

Author

Subject

Year

Document Type

Language

Your search