1
出版 2005
書本目錄: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
獲取全文
電子 電子書
2
出版 2014
書本目錄: ... -- Bertini real: Software for One- and Two-Dimensional Real Algebraic Sets -- Hom4PS-3: A Parallel Numerical...
獲取全文
電子 電子書