1
Publicat 2005
Taula de continguts: ... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...
Obtenir text complet
Electrònic eBook
2
per Aliakbarzadeh, Mojtaba
Publicat 2011
... and more number of cubits. Results of this program lead to nine sets of parallel lines which is named...
Obtenir text complet
Thesis
3
Publicat 2010
Taula de continguts: ... Semidefinite Programming Problems -- Reliable and Efficient Geometric Computing -- The Sage Project: Unifying...
Obtenir text complet
Electrònic eBook
4
Publicat 2014
Taula de continguts: ... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...
Obtenir text complet
Electrònic eBook
5
Publicat 2006
Taula de continguts: ... Implementation of Polynomial Arithmetic in a Multiple-Level Programming Environment -- Development of a Maple...
Obtenir text complet
Electrònic eBook