OPAC

Your search

Query: PROGRAM" Repository: 65 Document Type: Sin Especificar

Sort by Score Title Year -

1-10 from 121 results (0.013 seconds)

Title: 34. Biología. Los anfibios: la metamorfosis. Los cambios no son solo por fuera
Language: Español
Repository: 65
Subject: ANFIBIOS / RENACUAJO / METAMORFOSIS / BIOLOGÍA

Acceder
Title: Biogeoquímica de la materia orgánica y grupos metabólicos microbianos en sedimentos superficiales del margen continental uruguayo (36° 32'-34° 38 S, 53° 30'-51° 39' W)
Language: Español
Repository: 65
Subject: GEOQUIMICA / SEDIMENTOS / METABOLISMO / ACIDOS GRASOS / LIPIDOS / HIDRODINAMICA / TOPOGRAFIA / MICROORGANISMOS

Acceder
Title: Informe Mensual de la Frontera Uruguay - Brasil, Nº 34, Agosto 2019
Language: Español
Repository: 65
Subject: Política Exterior / Uruguay-Brasil
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: 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: 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: Situación epidemiológica de la tuberculosis en Uruguay : enero 2008 - diciembre 2014.
Language: Español
Repository: 65
Subject: Trabajadores de la salud / TUBERCULOSIS / PERSONAL DE SALUD / EPIDEMIOLOGÍA

Acceder

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

Refine your Search

Repository

Author

Subject

Year

Document Type

Language

Your search