Recent Advances in Parallel Virtual Machine and Message Pass
¥596.60
Dieter Kranzlmüller,Peter Kacsuk,Jack Dongarra 著 /2004-11-01 /北京燕山出版社
收藏
Mechanizing Mathematical Reasoning 机械化数学推理
¥646.40
Dieter Hutter 著 /2005-04-01 /北京燕山出版社