Catálogo de publicaciones

Compartir en
redes sociales

Navegación

Tipo

Acceso

Plataformas

Mostrar más

Temática

Mostrando 10 de 20.620 registro(s)

Filtros temática quitar todos
libros
Agregar a Mi catálogo

Formal Aspects in Security and Trust: Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers

Más información

ISBNs: 978-3-540-32628-1 (impreso) 978-3-540-32629-8 (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 - Economía y negocios  

libros
Agregar a Mi catálogo

Formal Aspects in Security and Trust: Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised Selected Papers

Más información

ISBNs: 978-3-540-75226-4 (impreso) 978-3-540-75227-1 (en línea)

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

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

revistas Acceso Abierto
Agregar a Mi catálogo

Formal Aspects of Computing

Más información

ISSNs 0934-5043 (impreso) 1433-299X (en línea)

Disponibilidad
Institución detectada Período Navegá Descargá Solicitá
No requiere desde mar. 1989 / hasta ene. 2025 ACM Digital Library acceso abierto

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

libros
Agregar a Mi catálogo

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  

libros
Agregar a Mi catálogo

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  

libros
Agregar a Mi catálogo

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  

libros
Agregar a Mi catálogo

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