1
Publicat 2006
Taula de continguts: ...Session I: Foundations -- A Proof-Theoretic Approach to Hierarchical Math Library Organization...
Obtenir text complet
Electrònic eBook
2
Publicat 2007
Taula de continguts: ... Correctness of MPI Programs -- ParSim -- 6th International Special Session on Current Trends in Numerical...
Obtenir text complet
Electrònic eBook