Catálogo de publicaciones

Compartir en
redes sociales


Navegación

Tipo

Acceso

Plataformas

Temática

Mostrando 10 de 14.427 registro(s)

Filtros temática quitar todos

Formal Concept Analysis: Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005, Proceedings

Más información

ISBNs: 978-3-540-24525-4 (impreso) 978-3-540-32262-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 - Ingeniería eléctrica, electrónica e informática - Lenguas y literatura  


Formal Concept Analysis: 5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007. Proceedings

Más información

ISBNs: 978-3-540-70828-5 (impreso) 978-3-540-70901-5 (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 - Ingeniería eléctrica, electrónica e informática - Lenguas y literatura  


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 Correctness of Security Protocols: With 62 Figures and 4 Tables

Más información

ISBNs: 978-3-540-68134-2 (impreso) 978-3-540-68136-6 (en línea)

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

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


actas de congreso
Agregar a Mi catálogo

Formal Methods (SEEFM), 2009 Fourth South-East European Workshop on

Más información

ISBNs: 978-1-4244-5617-8 (impreso)

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

Cobertura temática: Ciencias físicas - Ingeniería y tecnología - Ingeniería eléctrica, electrónica e informática - Ingeniería mecánica - Ingeniería de los materiales - Biotecnología médica  


actas de congreso
Agregar a Mi catálogo

Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings. Fourth ACM and IEEE International Conference on

Más información

ISBNs: 1-4244-0421-5 (impreso)

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2006 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), 2011 9th IEEE/ACM International Conference on

Más información

ISBNs: 978-1-4577-0117-7 (impreso) 978-1-4577-0118-4 (en línea)

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 and Models for Codesign (MEMOCODE), 2012 10th IEEE/ACM International Conference on

Más información

ISBNs: 978-1-4673-1314-8 (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 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