Search Results

1

Applications of neural networks in high assurance systems /

Applications of neural networks in high assurance systems /

Published 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 /...

Published 2022

Book

3

CyberCEO : decisiones estrátegicas de ciberseguridad /

CyberCEO : decisiones estrátegicas de ciberseguridad /

by Mauricio, Facundo
Published 2023

Book

4

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

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

Published 2008

Book

5

Proceedings of a symposia /

Proceedings of a symposia /

Published 2011

Conference Proceeding Book

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 /

Published 2017

Book

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

Published 2021

Book

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 /

by Padilla-Bonilla, Alejandra
Published 2016

Thesis Book

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

by Rodríguez-Mejía, Jean Carlo
Published 2018

Thesis Book

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). /

by Valenciano-Blanco, Pablo André
Published 2018

Thesis Book

11

Seismic screening checklists for water and wastewater facilities /

Seismic screening checklists for water and wastewater facilities /

Published 2003

Book

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

by Ureña Nassar, Víctor
Published 2012

Thesis Book

13

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

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

by González Rojas, José Daniel
Published 2010

Thesis Book

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

Published 2006

Book

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 /

Published 2007

Book

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 /

by Tioli, Humberto

Article

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 /

by Morera-Salazar, David Alejandro
Published 2015

Thesis Book

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 /

by Rojas-Salazar, Juan José
Published 2016

Thesis Book

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

Published 2013

Book

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 /

by Hernández-Herrera, Marcos
Published 2016

Thesis Book

1
2
Next
[2]