Handbook of research on emerging advancements and technologies in software engineering
Imran Ghani ; Wan Mohd Nasir Wan Kadir ; Mohammad Nazir Ahmad2014 年出版688 页ISBN:1466660267
IIIrd Regional Conference on MATHEMATICAL PHYSICS
Faheem Hussain and Asghar Qadir1990 年出版564 页ISBN:
MATHEMATICAL METHODS FOR HYDRODYNAMIC LIMITS
1991 年出版196 页ISBN:3540550046;0387550046
Lecture Notes in Computer Science 4054 Formal Methods and Stochastic Models for Performance Evaluati
EPEW 20062006 年出版238 页ISBN:3540353623
SUPERCONVERGENCE ANALYSIS AND A POSTERIORI ERROR ESTIMATION IN FINITE ELEMENT METHODS
NINGNING YAN2008 年出版229 页ISBN:9787030212993
本书总结了作者及合作者近十几年来在有限元高精度算法(主要是超收敛分析)及有限元后验误差分析方面的主要成果,其中包括许多已发表或尚未发表的成果。...
Lecture Notes in Computer Science 3188 Formal Methods for Components and Objects Second Internationa
FMCO 2003 Leiden2222 年出版0 页ISBN:
METHODS IN ENZYMOLOGY VOLUME 173 BIOMEMBRANES PART T CELLULAR AND SUBCELLULAR TRANSPORT EUKARYOTIC C
SIDNEY FLEISCHER1989 年出版842 页ISBN:0121820742