Catálogo de publicaciones

Compartir en
redes sociales

Navegación

Tipo

Acceso

Plataformas

Temática

Mostrar más

Mostrando 10 de 12.056 registro(s)

Filtros plataforma quitar todos
actas de congreso
Agregar a Mi catálogo

Formal Methods and Models for Codesign (MEMOCODE), 2013 Eleventh IEEE/ACM International Conference on

Más información

ISBNs: 978-1-4799-0903-2 (impreso)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2013 IEEE Xplore

Cobertura temática: Ingeniería eléctrica, electrónica e informática - Ingeniería de los materiales  

actas de congreso
Agregar a Mi catálogo

Formal Methods and Models for Codesign (MEMOCODE), 2014 Twelfth ACM/IEEE International Conference on

Más información

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2014 IEEE Xplore

Cobertura temática: Ingeniería eléctrica, electrónica e informática - Ingeniería de los materiales  

actas de congreso
Agregar a Mi catálogo

Formal Methods and Models for Codesign, 2007. MEMOCODE 2007. 5th IEEE/ACM International Conference on

Más información

ISBNs: 1-4244-1050-9 (impreso)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2007 IEEE Xplore

Cobertura temática: Ciencias de la computación e información  

actas de congreso
Agregar a Mi catálogo

Formal Methods in Computer Aided Design, 2006. FMCAD '06

Más información

ISBNs: 0-7695-2707-8 (impreso)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2006 IEEE Xplore

Cobertura temática: Ciencias de la computación e información  

actas de congreso
Agregar a Mi catálogo

Formal Methods in Computer Aided Design, 2007. FMCAD '07

Más información

ISBNs: 978-0-7695-3023-9 (impreso)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2007 IEEE Xplore

Cobertura temática: Ciencias de la computación e información  

actas de congreso
Agregar a Mi catálogo

Formal Methods in Computer-Aided Design (FMCAD), 2010

Más información

ISBNs: 978-1-4577-0734-6 (impreso)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2010 IEEE Xplore

Cobertura temática: Ciencias de la computación e información  

actas de congreso
Agregar a Mi catálogo

Formal Methods in Computer-Aided Design (FMCAD), 2011

Más información

ISBNs: 978-1-4673-0896-0 (impreso)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2011 IEEE Xplore

Cobertura temática: Ingeniería eléctrica, electrónica e informática - Ingeniería de los materiales  

actas de congreso
Agregar a Mi catálogo

Formal Methods in Computer-Aided Design (FMCAD), 2012

Más información

ISBNs: 978-1-4673-4832-4 (impreso)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2012 IEEE Xplore

Cobertura temática: Ingeniería eléctrica, electrónica e informática - Ingeniería de los materiales  

actas de congreso
Agregar a Mi catálogo

Formal Methods in Computer-Aided Design (FMCAD), 2013

Más información

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2013 IEEE Xplore

Cobertura temática: Ciencias de la computación e información  

actas de congreso
Agregar a Mi catálogo

Formal Methods in Computer-Aided Design (FMCAD), 2014

Más información

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2014 IEEE Xplore

Cobertura temática: Ingeniería eléctrica, electrónica e informática - Ingeniería de los materiales