OPAC

Your search

Query: PROGRAM Document Type: Sin Especificar Year: 2014

Sort by Score Title Year -

1-10 from 275 results (0.013 seconds)

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

Acceder
Title: Factores de éxito desde la administración ambiental, para la mejora estratégica del modelo de aprovechamiento de los residuos sólidos propuesto por el programa basura cero en la localidad de Bosa / Success factors from environmental management for the strategic improvement of model of solid waste utilization proposed by the zero waste program at bosa locality
Author: Moreno Buitrago, Alfonso / Puentes Gutiérrez, Leidy Yulieth
Language: Desconocido
Repository: 77
Subject: Aprovechamiento / Reciclaje / Residuos / Mejoramiento estratégico / Administración ambiental - Tesis y disertaciones académicas / Residuos sólidos - Bosa (Localidad, Bogotá, Colombia) / Gestión ambiental - Bosa (Localidad, Bogotá, Colombia) / Aprovechamiento de residuos - Bosa (Localidad, Bogotá, Colombia) / Exploitation / Recycling / Waste / Strategic improvement

Acceder
Title: Et les garçons? reflections on Unicef Program for girls post-primary education in Madagascar
Author: Mutti, Valentina Alice
Language: Francés
Repository: 73
Subject: Education / Gender / Unicef / Early marriages / Development / Vulnerability

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

Acceder
Title: On the radio : effectiveness of the viva seguro financial education program / En la radio : efectividad del programa de educación financiera viva seguro
Author: Rodríguez Orgales, Catherine / Sánchez Torres, Fabio José / Zamora Rodríguez, Sandra Lucía
Language: Inglés
Repository: 21
Subject: Financial education / Radio / Insurance / Randomized control trial (RCT) / Política monetaria - Enseñanza / Finanzas - Enseñanza / Mercado de capitales - Enseñanza / I20, I25

Acceder
Title: Globalization and challenges to the political autonomy of the associative sector in Cape Verde
Author: Carrion, Rosinha Machado
Language: Inglés
Repository: 73
Subject: Globalization / Economic Neoliberalism / Cape Verde / Associative sector / Delivering as one program

Acceder
Title: Estrategias para disminuir la accidentalidad y mitigar la exposición a riesgos que afecten la salud ocupacional de los servidores públicos de la Secretaria de Salud de Boyacá
Author: Roa Figueredo, Fredy Giovanni / Peña Ramírez, Julio Ramiro
Language: Español
Repository: 40
Subject: Salud ocupacional / Panorama de factores de riesgo / Accidente de trabajo / Enfermedad laboral / Programa de vigilancia epidemiológica / Occupational health / Risk factors / Occupational disease / Epidemiological surveillance program / Vigilancia epidemiológica / Salud

Acceder
Title: Herramientas para la exploración y formalización de modelos de programas probabilísticos
Author: Gonzalía, Carlos José
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Formal methods / Software/Program Verification / Probabilistic computation

Acceder
Title: Tipos de recursión
Author: González, Alejandro Héctor
Language: Español
Repository: 37
Subject: Ciencias Informáticas / Educación / recursión / programación / Program and recursion schemes / eficiencia / Pascal

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

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

Refine your Search

Repository

Author

Subject

Year

Document Type

Language

Your search