PROGRAM VERIFICATION IN NUMERICAL-METHODS

被引：0

|

作者：

LIM, RTC ^{[1
]}

BLACKBURN, JD ^{[1
]}

机构：

[1] UNIV DURHAM,DEPT COMP,DURHAM DH1 3LE,ENGLAND

来源：

COMPUTER JOURNAL | 1976年 / 19卷 / 03期

关键词：

D O I：

暂无

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

收藏

页码：272 / 273

页数：2

相关论文

共 50 条

[21] NUMERICAL-METHODS FOR TRACKING INTERFACES
HYMAN, JM
PHYSICA D-NONLINEAR PHENOMENA, 1984, 12 (1-3) : 396 - 407
[22] NUMERICAL-METHODS IN SOLIDIFICATION THEORY
SMITH, JB
LANGER, JS
ANNALS OF THE NEW YORK ACADEMY OF SCIENCES, 1980, 337 (JUN) : 198 - 204
[23] NUMERICAL-METHODS FOR CONSERVATION LAWS
WENDROFF, B
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1975, 22 (01): : A153 - A153
[24] UNIFIED FORMULATION OF NUMERICAL-METHODS
HERRERA, I
MATHEMATICAL MODELLING, 1987, 8 : 15 - 16
[25] SOME NUMERICAL-METHODS IN ELECTROCHEMISTRY
FLANAGAN, JB
JOURNAL OF THE ELECTROCHEMICAL SOCIETY, 1976, 123 (06) : C186 - C186
[26] ADVANCED NUMERICAL-METHODS FOR THERMALHYDRAULICS
BARRE, F
PARENT, M
BRUN, B
NUCLEAR ENGINEERING AND DESIGN, 1993, 145 (1-2) : 147 - 158
[27] NUMERICAL-METHODS FOR ANTENNA PROBLEMS
JONES, DS
PROCEEDINGS OF THE INSTITUTION OF ELECTRICAL ENGINEERS-LONDON, 1974, 121 (07): : 573 - 582
[28] NUMERICAL-METHODS IN ASYMPTOTIC REGIONS
NORCROSS, DW
COMPUTER PHYSICS COMMUNICATIONS, 1973, 6 (06) : 257 - 264
[29] SPECIAL ISSUE ON NUMERICAL-METHODS - PREFACE
SARKAR, TK
JOURNAL OF ELECTROMAGNETIC WAVES AND APPLICATIONS, 1987, 1 (03) : 179 - 179
[30] ON NUMERICAL-METHODS FOR MIGRATION IN LAYERED MEDIA
DUBRULLE, AA
GEOPHYSICAL PROSPECTING, 1983, 31 (02) : 237 - 264

← 1 2 3 4 5 →