1
Publicado 2005
Tabla de Contenidos: ... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...
Enlace del recurso
Electrónico eBook
2
por Aliakbarzadeh, Mojtaba
Publicado 2011
... and more number of cubits. Results of this program lead to nine sets of parallel lines which is named...
Enlace del recurso
Tesis
3
Publicado 2010
Tabla de Contenidos: ... Semidefinite Programming Problems -- Reliable and Efficient Geometric Computing -- The Sage Project: Unifying...
Enlace del recurso
Electrónico eBook
4
Publicado 2014
Tabla de Contenidos: ... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...
Enlace del recurso
Electrónico eBook
5
Publicado 2006
Tabla de Contenidos: ... Implementation of Polynomial Arithmetic in a Multiple-Level Programming Environment -- Development of a Maple...
Enlace del recurso
Electrónico eBook