Materias dentro de su búsqueda.
Mostrando 1 - 6 Resultados de 6 Para Buscar '"Algorithms."', tiempo de consulta: 0.05s Limitar resultados
1
Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “...-2015 Standard for Interval Arithmetic -- Formal Correctness of Comparison Algorithms between binary64...”
eBook
2
Learning and Intelligent Optimization 11th International Conference, LION 11, Nizhny Novgorod, Russia, June 19-21, 2017, Revised Selected Papers /
Publicado 2017
Materias: “...Algorithms....”
Enlace del recurso
eBook
3
Logic and Its Applications : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings /
Publicado 2017
Materias: “...Algorithms....”
eBook
4
ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday /
Publicado 2017
Materias: “...Algorithms....”
Enlace del recurso
eBook
5
Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings /
Publicado 2017
Materias: “...Algorithms....”
eBook
6
Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “... Mathematics Libraries track: math-aware technologies, standards, algorithms, and processes -- Mathematical...”
Enlace del recurso
eBook
Herramientas de búsqueda: RSS — Enviar por Correo electrónico esta Búsqueda