Catálogo de publicaciones


Navegación

Tipo

Acceso

Plataformas

Temática

Mostrando 10 de 20.538 registro(s)

Filtros temática quitar todos

Formal Concept Analysis: 4th International Conference, ICFCA 2006, Dresden, Germany, Feburary 13-17, 2006, Proceedings

Más información

ISBNs: 978-3-540-32203-0 (impreso) 978-3-540-32204-7 (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 - Ingeniería eléctrica, electrónica e informática  


Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Más información

ISBNs: 978-3-540-75220-2 (impreso) 978-3-540-75221-9 (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 - Ciencias físicas  


actas de congreso
Agregar a Mi catálogo

Formal Methods and Models for Co-Design, 2004. MEMOCODE '04. Proceedings. Second ACM and IEEE International Conference on

Más información

ISBNs: 0-7803-8509-8 (impreso)

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

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


actas de congreso
Agregar a Mi catálogo

Formal Methods and Models for Co-Design, 2005. MEMOCODE '05. Proceedings. Third ACM and IEEE International Conference on

Más información

ISBNs: 0-7803-9227-2 (impreso)

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

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


actas de congreso
Agregar a Mi catálogo

Formal Methods and Models for Co-Design, 2008. MEMOCODE 2008. 6th ACM/IEEE International Conference on

Más información

ISBNs: 978-1-4244-2417-7 (impreso)

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 and Models for Co-Design, 2009. MEMOCODE '09. 7th IEEE/ACM International Conference on

Más información

ISBNs: 978-1-4244-4806-7 (impreso)

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  


actas de congreso
Agregar a Mi catálogo

Formal Methods and Models for Codesign (MEMOCODE), 2010 8th IEEE/ACM International Conference on

Más información

ISBNs: 978-1-4244-7885-9 (impreso) 978-1-4244-7886-6 (en línea)

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


Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings

Más información

ISBNs: 978-3-540-47460-9 (impreso) 978-3-540-47462-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 Methods and Software Engineering: 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings

Más información

ISBNs: 978-3-540-29797-0 (impreso) 978-3-540-32250-4 (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