Lecture Notes in Computer Science 3657 Formal Methods for Components and Objects
2005 年出版325 页ISBN：3540291318
向妮著2016 年出版130 页ISBN：9787030511898
本专著拟介绍复Monge-Ampère方程几类边值问题解的存在性、正则性以及渐近性。应用偏微分方程、多重位势理论、复几何以及几何分析的思想和方法，在有界光滑严格拟凸区域上介绍复Monge-Ampère方程Dirichelet...
COMPUTER METHODS FOR ORDINARY DIFFERENTIAL EQUATIONS AND DIFFERENTIAL-ALGEBRAIC EQUATIONS
URI M.ASCHER，LINDA R.PETZOLD著2009 年出版314 页ISBN：
COMPUTATIONAL METHODS FOR THE SOLUTION OF ENGINEERING PROBLEMS THIRD REVISED EDITION
C.A.BREBBIA AND A.J.FERRANTE2222 年出版370 页ISBN：0727303155
HEAVY METALS:A PROBLEM SOLVED? METHODS AND MODELS TO EVALUATE POLICY STRATEGIES FOR HEAVY METALS
ESTER VAN DER VOET2000 年出版244 页ISBN：079236192X
GHG EMISSIONS AND ECONOMIC GROWTH A COMPUTABLE GENERAL EQUILIBRIUM MODEL BASED ANALYSIS FOR INDIA
JOYASHREE ROY2015 年出版0 页ISBN：
Direct modeling for computational fluid dynamics: construction and application of unified gas-kineti
Kun Xu2015 年出版318 页ISBN：9814623711
Expert Systems for Personal Computers:an introduction to artificial intelligence
1986 年出版234 页ISBN：1850580448
