Materias dentro de su búsqueda.
Mostrando 1 - 2 Resultados de 2 Para Buscar 'Algorithm Analysis and Problem Complexity.~', tiempo de consulta: 1.76s Limitar resultados
1
Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings /
Publicado 2017
Materias: “...Algorithm Analysis and Problem Complexity....”
eBook
2
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
Herramientas de búsqueda: RSS — Enviar por Correo electrónico esta Búsqueda