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 Methods and Stochastic Models for Performance Evaluation: Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings

Más información

ISBNs: 978-3-540-35362-1 (impreso) 978-3-540-35365-2 (en línea)

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

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


Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures

Más información

ISBNs: 978-3-540-34304-2 (impreso) 978-3-540-34305-9 (en línea)

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

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


Formal Methods for Open Object-Based Distributed Systems: 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings

Más información

ISBNs: 978-3-540-26181-0 (impreso) 978-3-540-31556-8 (en línea)

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

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


Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings

Más información

ISBNs: 978-3-540-34893-1 (impreso) 978-3-540-34895-5 (en línea)

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

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


Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures

Más información

ISBNs: 978-3-540-72482-7 (impreso) 978-3-540-72522-0 (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  


actas de congreso
Agregar a Mi catálogo

Formal Methods in Computer-Aided Design (FMCAD), 2011

Más información

ISBNs: 978-1-4673-0896-0 (impreso)

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 in Computer-Aided Design (FMCAD), 2012

Más información

ISBNs: 978-1-4673-4832-4 (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 in Computer-Aided Design (FMCAD), 2014

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  


Formal Techniques for Computer Systems and Business Processes: European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings

Más información

ISBNs: 978-3-540-28701-8 (impreso) 978-3-540-31903-0 (en línea)

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

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


Formal Techniques for Networked and Distributed Systems: FORTE 2006: 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings

Más información

ISBNs: 978-3-540-46219-4 (impreso) 978-3-540-46220-0 (en línea)

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

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