1
Vydáno 2005
Obsah: ... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...
Získat plný text
Elektronický zdroj E-kniha
2
Vydáno 2010
Obsah: ... Semidefinite Programming Problems -- Reliable and Efficient Geometric Computing -- The Sage Project: Unifying...
Získat plný text
Elektronický zdroj E-kniha
3
Vydáno 2014
Obsah: ... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...
Získat plný text
Elektronický zdroj E-kniha
4
Vydáno 2006
Obsah: ... Implementation of Polynomial Arithmetic in a Multiple-Level Programming Environment -- Development of a Maple...
Získat plný text
Elektronický zdroj E-kniha
Vyhledávací nástroje: RSS Poslat emailem Uložit hledání