Catálogo de publicaciones


Navegación

Tipo

Acceso

Plataformas

Temática

Mostrando 10 de 20.538 registro(s)

Filtros temática quitar todos

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), 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, 2008. FMCAD '08

Más información

ISBNs: 978-1-4244-2735-2 (impreso) 978-1-4244-2736-9 (en línea)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2008 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, 2009. FMCAD 2009

Más información

ISBNs: 978-1-4244-4966-8 (impreso) 978-1-4244-4966-8 (en línea)

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

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


Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

Más información

ISBNs: 978-3-540-24936-8 (impreso) 978-3-540-31847-7 (en línea)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2005 SpringerLink

Cobertura temática: Ciencias de la computación e información - Lenguas y literatura  


actas de congreso
Agregar a Mi catálogo

Formal Methods in Software Engineering (FormaliSE), 2013 1st FME Workshop on

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  


Formal Modeling and Analysis of Timed Systems: 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings

Más información

ISBNs: 978-3-540-45026-9 (impreso) 978-3-540-45031-3 (en línea)

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

Cobertura temática: Ciencias de la computación e información - Lenguas y literatura  


Formal Modeling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings

Más información

ISBNs: 978-3-540-75453-4 (impreso) 978-3-540-75454-1 (en línea)

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

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


Formal Modeling and Analysis of Timed Systems: Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings

Más información

ISBNs: 978-3-540-30946-8 (impreso) 978-3-540-31616-9 (en línea)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2005 SpringerLink

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