1
Publié 2005
Table des matières: ... Numbers of Arrangements in Practice -- A MAPLE Symbolic-Numeric Program for Solving the 2D-Eigenvalue...
Accéder au texte intégral
Électronique eBook
2
Publié 2006
Table des matières: ... Abstraction of Recursive Programs -- Relative Safety -- Resource Usage Analysis for the ?-Calculus -- Semantic...
Accéder au texte intégral
Électronique eBook