Materias dentro de su búsqueda.
Mostrando 1 - 2 Resultados de 2 Para Buscar 'Theoretical Computer Science AND General Issues ;', tiempo de consulta: 0.04s Limitar resultados
1
Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “...Verified Computations using Taylor Models and Their Applications -- Introduction to the IEEE 1788...”
eBook
2
Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings /
Publicado 2017
Materias: “...Programming languages (Electronic computers)....”
eBook
Herramientas de búsqueda: RSS — Enviar por Correo electrónico esta Búsqueda