Resultados de búsqueda

1

Applications of neural networks in high assurance systems /

Applications of neural networks in high assurance systems /

Publicado 2010

eBook

2

Guía para uniformar la verificación de resultados de metas del Plan Nacional de Desarrollo e Inversión Pública (PNDIP) y de la Ley de Presupuesto de la República (LPR), 2021 /

Guía para uniformar la verificación de resultados de metas del Plan Nacional de Desarrollo e Inversión Pública (PNDIP) y de la Ley de Presupuesto de la República (LPR), 2021 /...

Publicado 2022

Libro

3

CyberCEO : decisiones estrátegicas de ciberseguridad /

CyberCEO : decisiones estrátegicas de ciberseguridad /

por Mauricio, Facundo
Publicado 2023

Libro

4

Verification and Validation of 3D Free-Surface Flow Models /

Verification and Validation of 3D Free-Surface Flow Models /

Publicado 2008

Libro

5

Proceedings of a symposia /

Proceedings of a symposia /

Publicado 2011

Procedimiento de la Conferencia Libro

6

Especificación geométrica de productos (GPS). Fundamentos. Conceptos, principios y reglas : INTE/ISO 8015:2017 /

Especificación geométrica de productos (GPS). Fundamentos. Conceptos, principios y reglas : INTE/ISO 8015:2017 /

Publicado 2017

Libro

7

Microbiología de la cadena alimentaria -Validación del método - Parte 3: Protocolo para la verificación de los métodos de referencia y los métodos alternativos validados en un solo laboratorio : INTE/ISO 16140-3:2021 /

Microbiología de la cadena alimentaria -Validación del método - Parte 3: Protocolo para la verificación de los métodos de referencia y los métodos alternativos validados en u...

Publicado 2021

Libro

8

Productividad y rendimiento de mano de obra para algunos procesos constructivos seleccionados en la ejecución del edificio ISLHA DEL ITCR /

Productividad y rendimiento de mano de obra para algunos procesos constructivos seleccionados en la ejecución del edificio ISLHA DEL ITCR /

por Padilla-Bonilla, Alejandra
Publicado 2016

Tesis Libro

9

Verificación funcional de un controlador de memoria para un dispositivo médico implantable. /

Verificación funcional de un controlador de memoria para un dispositivo médico implantable. /

por Rodríguez-Mejía, Jean Carlo
Publicado 2018

Tesis Libro

10

Desarrollo de un ambiente de verificación para una unidad lógica aritmética mediante la metodología universal de verificación (UVM). /

Desarrollo de un ambiente de verificación para una unidad lógica aritmética mediante la metodología universal de verificación (UVM). /

por Valenciano-Blanco, Pablo André
Publicado 2018

Tesis Libro

11

Seismic screening checklists for water and wastewater facilities /

Seismic screening checklists for water and wastewater facilities /

Publicado 2003

Libro

12

Automatización del proceso de verificación y calibración de equipos de medición de resistencias de alto y bajo valor. /

Automatización del proceso de verificación y calibración de equipos de medición de resistencias de alto y bajo valor. /

por Ureña Nassar, Víctor
Publicado 2012

Tesis Libro

13

Verificación lógica de los modelos sintetizados para circuitos integrados. /

Verificación lógica de los modelos sintetizados para circuitos integrados. /

por González Rojas, José Daniel
Publicado 2010

Tesis Libro

14

Gases de efecto invernadero - Parte 3 : especificación con orientación para la validación y verificación de declaraciones sobre gases de efecto invernadero. INTE-ISO 14064-3:2006.

Gases de efecto invernadero - Parte 3 : especificación con orientación para la validación y verificación de declaraciones sobre gases de efecto invernadero. INTE-ISO 14064-3:20...

Publicado 2006

Libro

15

Gases de efecto invernadero - Requisitos para los organismos que realizan la validación y la verificación de los gases efecto invernadero : INTE-ISO 14065:2007 /

Gases de efecto invernadero - Requisitos para los organismos que realizan la validación y la verificación de los gases efecto invernadero : INTE-ISO 14065:2007 /

Publicado 2007

Libro

16

Diseño y construcción de celdas para comprobaciones intermedias de máquinas de fuerza /

Diseño y construcción de celdas para comprobaciones intermedias de máquinas de fuerza /

por Tioli, Humberto

Artículo

17

Inspección y seguimiento del proyecto Sede de área de Salud de Barva de Heredia desarrollado por la Caja Costarricense de Seguro Social /

Inspección y seguimiento del proyecto Sede de área de Salud de Barva de Heredia desarrollado por la Caja Costarricense de Seguro Social /

por Morera-Salazar, David Alejandro
Publicado 2015

Tesis Libro

18

Diseño de una unidad de deslinealización y desnormalización para un sistema de optimización de energía de uso en paneles fotovoltaicos /

Diseño de una unidad de deslinealización y desnormalización para un sistema de optimización de energía de uso en paneles fotovoltaicos /

por Rojas-Salazar, Juan José
Publicado 2016

Tesis Libro

19

Dibujos Técnicos : Tolerancia geométrica - Tolerancia de forma, orientación, posición y desviación - Principios y métodos de verificación - Directrices. INTE-ISO 5460:2013 /

Dibujos Técnicos : Tolerancia geométrica - Tolerancia de forma, orientación, posición y desviación - Principios y métodos de verificación - Directrices. INTE-ISO 5460:2013 /...

Publicado 2013

Libro

20

Desarrollo de una plataforma de verificación sistemas de actitud de pequeños satélites para trabajar en una cámara de vacío /

Desarrollo de una plataforma de verificación sistemas de actitud de pequeños satélites para trabajar en una cámara de vacío /

por Hernández-Herrera, Marcos
Publicado 2016

Tesis Libro