登入選單
Google圖書搜尋
Making Hong Kong a Resilient City
作者
Timothy Sim / Dongming Wang
出版2017
ISBN
988164111X / 9789881641113
主題
Economic development
Automated Practical Reasoning
作者
Jochen Pfalzgraf / Dongming Wang
出版Springer, 1995-03-01
ISBN
3211826009 / 9783211826003
主題
Computers
Geometric Computation
作者
Falai Chen / Dongming Wang
出版World Scientific, 2004
ISBN
9789812794833 / 9812794832
主題
Computers
Distributed MIMO and Cell-Free Mobile Communicatio...
作者
Xiaohu You / Dongming Wang / Jiangzhou Wang
出版Springer, 2021-12-23
ISBN
9811598479 / 9789811598470
主題
Technology & Engineering
Elimination Practice: Software Tools And Applicati...
作者
Dongming Wang
出版World Scientific, 2004-02-19
ISBN
9781783260782 / 1783260785
主題
Mathematics
Differential Equations with Symbolic Computation
作者
Dongming Wang
出版Springer Science & Business Media, 2005-08-15
ISBN
3764373687 / 9783764373689
主題
Mathematics
Symbolic-Numeric Computation
作者
Dongming Wang / Li-Hong Zhi
出版Springer Science & Business Media, 2007-01-22
ISBN
9783764379834 / 3764379839
主題
Mathematics
Computer Mathematics
作者
Xiao-Shan Gao / Dongming Wang
出版World Scientific, 2000
ISBN
9789812791962 / 9812791965
主題
Mathematics
Automated Deduction in Geometry
作者
Xiao-Shan Gao / Dongming Wang / Lu Yang
出版Springer Science & Business Media, 1999-10-13
ISBN
9783540666721 / 3540666729
主題
Computers
On Wu's Method for Solving Systems of Algebraic Eq...
作者
Dongming Wang
出版1991
ISBN
OCLC:255098179
When Do 3 Spheres Intersect
作者
Dongming Wang / Zhongguo ke xue yuan
出版1988
ISBN
OCLC:606121100
A New Theorem Discovered by Computer Prover
作者
Dongming Wang / Zhongguo ke xue yuan
出版1987
ISBN
OCLC:606121112
Méthodes D'élimination Et Applications
作者
Dongming Wang
出版1999
ISBN
OCLC:494707494
Automated Deduction in Geometry
作者
Dongming Wang
出版2014-09-01
ISBN
3662166194 / 9783662166192
"Proving by Examples" Method and Inclusion of Vari...
作者
Dongming Wang / Zhongguo ke xue yuan
出版1988
ISBN
OCLC:606121118
Large-Scale Wind Power Grid Integration
作者
Ningbo Wang / Chongqing Kang / Dongming Ren
出版Elsevier, 2015-11-05
ISBN
9780128036297 / 012803629X
主題
Technology & Engineering
Some Improvements on Wu's Method for Solving Syste...
作者
Dongming Wang
出版1992
ISBN
OCLC:255150777
Automatic Generation of C++ Code for Neural Networ...
作者
Johannes Kepler Universität Linz. Forschungsinstitut für Symbolisches Rechnen / Stephan Dreiseitl / Dongming Wang
出版1993
ISBN
OCLC:123336443
A Decision Method for Definite Polynomial
作者
Dongming Wang / Zhongguo ke xue yuan
出版1987
ISBN
OCLC:606121108
Stable Neurodynamics and Symbolic Computation
作者
Bernd Schürmann / Dongming Wang
出版1990
ISBN
OCLC:254901483
Differentiation and Integration of Indefinite Summ...
作者
Dongming Wang
出版1990
ISBN
OCLC:254900734
Computer Algebraic Methods for Investigating Plane...
作者
Dongming Wang / Zhongguo ke xue yuan
出版1988
ISBN
OCLC:606121115
Cutting-Edge Technology and Development Trend of M...
作者
DongMing Wang / Song Han / FanKui Shang
出版2022-09-28
ISBN
9798885685641
Computer Aided Analysis and Derivation
作者
Dongming Wang / Bernd Schürmann
出版1992
ISBN
OCLC:255111868
A Strategy for Speeding-up the Computation of Char...
作者
Dongming Wang
出版1992
ISBN
OCLC:255151909
An Implementation of the Characteristic Set Method...
作者
Dongming Wang
出版1991
ISBN
OCLC:255028744
Manipulating Uncertain Mathematical Objects
作者
Wei Shen / Bernhard Wall / Dongming Wang
出版1992
ISBN
OCLC:255151335
Symbolic and Numeric Algorithms for Scientific Com...
作者
Dongming Wang
出版2012
ISBN
0769546307 / 9780769546308
主題
Neural networks (Computer science)
Automated Deduction in Geometry
作者
Xiao-Shan Gao / Dongming Wang / Lu Yang
出版1999
ISBN
8354047997 / 9788354047995
主題
Artificial intelligence
Research on New Energy Economy and Management Deci...
作者
Zhengyuan Wang, 1st / Dongming Cao, 2nd / Hongfei Yang, 3rd / Wenjing Chen, IV
出版China Culture Press, 2024-09
ISBN
9798888749500
主題
Business & Economics