Catálogo de publicaciones


Navegación

Tipo

Acceso

Plataformas

Temática

Mostrando 10 de 20.538 registro(s)

Filtros temática quitar todos

Form-Oriented Analysis: A New Methodology to Model Form-Based Applications

Más información

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


Formal Approaches to Software Testing: 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers

Más información

ISBNs: 978-3-540-34454-4 (impreso) 978-3-540-34455-1 (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 Approaches to Software Testing: 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers

Más información

ISBNs: 978-3-540-25109-5 (impreso) 978-3-540-31848-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 - Medios de comunicación  


Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers

Más información

ISBNs: 978-3-540-49699-1 (impreso) 978-3-540-49703-5 (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 Aspects in Security and Trust: IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22-27, 2004, Toulouse, France

Más información

ISBNs: 978-0-387-24050-3 (impreso) 978-0-387-24098-5 (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  


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  


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 may. 2025 ACM Digital Library acceso abierto Descargá directamente

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


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