OPAC

A problem has been found

A problem has ocurred in the communication with the server.

Please, try again later. If the problem persists, contact the admin

Your search

Query: PROGRAM Document Type: Sin Especificar Language: Español Year: 2014

Sort by Score Title Year -

221-226 from 226 results (0.024 seconds)

Title: Implementación de un programa de seguridad industrial en la Empresa Productos Elaborados Bolívar S.A.
Author: Figueroa Muñóz, Isidro Wenceslao
Language: Español
Repository: 62
Subject: SEGURIDAD INDUSTRIAL / PRODUCTOS ALIMENTICIOS / BANANO / MITIGACIÓN DE RIESGOS

Acceder
Title: Conversion of PSSE data file to ATP format for a study of voltage sags in an aluminum factory
Author: Bianchi Lastra, Raúl E. / Barbieri, María Beatriz / Agüero, Jorge Luis / Lagleyze, Mario
Language: Español
Repository: 37
Subject: Ingeniería / fabricación industrial / ATP / Aluminio / EMTP / voltage sags / thrystor rectifiers

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
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

« Previous 15 16 17 18 19 20 21 22 23 Next »