1
Julkaistu 2005
Sisällysluettelo: ... and Integrability of ODE Systems -- Resultant-Based Methods for Plane Curves Intersection Problems -- Symbolic...
Hae kokoteksti
Elektroninen E-kirja
2
Julkaistu 2012
Sisällysluettelo: ....-An Improved Sparse Matrix-Vector Multiply Based on Recursive Sparse Blocks Layout.-On the Differences...
Hae kokoteksti
Elektroninen E-kirja
3
Julkaistu 2005
Sisällysluettelo: ... Network for a Humanoid Robot -- Programming by Integration in Robotics -- A Mathematical Formalism...
Hae kokoteksti
Elektroninen E-kirja
4
Julkaistu 2010
Sisällysluettelo: ... Computational Method for Defeasible Argumentation Based on a Recursive Warrant Semantics -- Evolutionary...
Hae kokoteksti
Elektroninen E-kirja