1
Publicerad 2005
Innehållsförteckning: ... and Integrability of ODE Systems -- Resultant-Based Methods for Plane Curves Intersection Problems -- Symbolic...
Hämta fulltext
Elektronisk E-bok
2
Publicerad 2012
Innehållsförteckning: ....-An Improved Sparse Matrix-Vector Multiply Based on Recursive Sparse Blocks Layout.-On the Differences...
Hämta fulltext
Elektronisk E-bok
3
Publicerad 2005
Innehållsförteckning: ... Network for a Humanoid Robot -- Programming by Integration in Robotics -- A Mathematical Formalism...
Hämta fulltext
Elektronisk E-bok
4
Publicerad 2010
Innehållsförteckning: ... Computational Method for Defeasible Argumentation Based on a Recursive Warrant Semantics -- Evolutionary...
Hämta fulltext
Elektronisk E-bok