Lecture Notes in Computer Science 3582 FM 2005:Formal Methods International Symposium of Formal Meth
2005 年出版558 页ISBN:3540278826
CWI MONOGRAPHS 2 STABILITY OF RUNGE-KUTTA METHODS FOR STIFF NONLINEAR DIFFERENTIAL EQUATIONS
K.DEKKER J.G.VERWER2222 年出版307 页ISBN:0444876340
REPORT OF THE EXPERT WORKSHOP ON GREENHOUSE GAS EMISSIONS STRATEGIES AND METHODS IN SEAFOOD
2012 年出版117 页ISBN:9251073511
The geometric and arithmetic volume of Shimura varieties of orthogonal type volume 35
Fritz Hormann2014 年出版154 页ISBN:1470419127
Optimal transport: old and new Part 1 = 最优输运 第1分册
Cédric Villani2014 年出版730 页ISBN:7510077906
ROBUST TARGET LOCALIZATION AND SEGMENTATION:APPLICATION OF KERNEL-BASED STATISTICAL METHODS TO COMPU
OMAR ARIF2010 年出版98 页ISBN:9783843350389
CHEMICAL ENGINEERING METHODS AND TECHNOLOGY NON-PHOSGENE POLYCARBONATE FROM CO2 INDUSTRIALIZATION OF
SHINSUKE FUKUOKA2012 年出版315 页ISBN:1614708773