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
Publicat 2014
Taula de continguts: ... -- Software Using the Gr¨obner Cover for Geometrical Loci Computation and Classification -- Using Maple’s...
Obtenir text complet
Electrònic eBook
3
Publicat 2010
Taula de continguts: ... Functions in the CoStLy C++ Class Library -- Standardized Interval Arithmetic and Interval Arithmetic Used...
Obtenir text complet
Electrònic eBook
4
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