Computer Aided Verif ...
Ganesh Gopalakr ...
当ショップ価格: ¥ 40482
State of the Art in ...
Cerstin Mahlow, ...
定価: ¥ 14099
当ショップ価格: ¥ 8299
Interlinking of Comp ...
K.G. Beauchamp
当ショップ価格: ¥ 34888
Mathematical Foundat ...
J. Becvar
当ショップ価格: ¥ 8399
Computer Supported C ...
Paul Wilson
定価: ¥ 24762
当ショップ価格: ¥ 16756
Feasible Mathematics ...
Samuel Buss, P. ...
定価: ¥ 11730
当ショップ価格: ¥ 4769
Computing in the 90' ...
Naveed A. Sherw ...
定価: ¥ 21208
当ショップ価格: ¥ 17845
Numerical Challenges ...
Andreas Frommer ...
定価: ¥ 17654
当ショップ価格: ¥ 7147
Differential and Dif ...
H. Kocak, Husey ...
当ショップ価格: ¥ 9447