Materias dentro de su búsqueda.
Mostrando 1 - 14 Resultados de 14 Para Buscar '', tiempo de consulta: 0.02s Limitar resultados
1
Models in Hardware Testing : Lecture Notes of the Forum in Honor of Christian Landrault /
Publicado 2010
eBook
2
Learning and Intelligent Optimization 11th International Conference, LION 11, Nizhny Novgorod, Russia, June 19-21, 2017, Revised Selected Papers /
Publicado 2017
Enlace del recurso
eBook
3
ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday /
Publicado 2017
Enlace del recurso
eBook
4
Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings /
Publicado 2017
Enlace del recurso
eBook
5
Recent Trends in Algebraic Development Techniques : 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers /
Publicado 2017
eBook
6
Quantitative Evaluation of Systems : 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings /
Publicado 2017
eBook
7
Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings /
Publicado 2017
eBook
8
Formal Techniques for Safety-Critical Systems : 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers /
Publicado 2017
eBook
9
Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings /
Publicado 2017
eBook
10
Computational Methods in Systems Biology : 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27–29, 2017, Proceedings /
Publicado 2017
eBook
11
Dependable Software Engineering. Theories, Tools, and Applications : Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings /
Publicado 2017
eBook
12
Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I /
Publicado 2017
eBook
13
Computer Performance Engineering : 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings /
Publicado 2017
eBook
14
Logic and Its Applications : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings /
Publicado 2017
eBook
Herramientas de búsqueda: RSS — Enviar por Correo electrónico esta Búsqueda