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 条

[41] NUMERICAL-METHODS IN THERMAL PROBLEMS - PREFACE
LEWIS, RW
INTERNATIONAL JOURNAL FOR NUMERICAL METHODS IN ENGINEERING, 1988, 25 (02) : R3 - R3
[42] SYMPLECTIC NUMERICAL-METHODS FOR HAMILTONIAN PROBLEMS
SANZSERNA, JM
CALVO, MP
INTERNATIONAL JOURNAL OF MODERN PHYSICS C, 1993, 4 (02): : 385 - 392
[43] NUMERICAL-METHODS FOR STOCHASTIC-PROCESSES
MELEMIS, SM
MATHEMATICAL BIOSCIENCES, 1978, 41 (1-2) : 35 - 51
[44] SPECIAL ISSUE ON NUMERICAL-METHODS IN OPTIMIZATION
RAUCH, HE
JOURNAL OF THE ASTRONAUTICAL SCIENCES, 1982, 30 (02): : 97 - 97
[45] NUMERICAL-METHODS OF NONLINEAR-PROGRAMMING
EVTUSHENKO, YG
DOKLADY AKADEMII NAUK SSSR, 1975, 221 (05): : 1016 - 1019
[46] NUMERICAL-METHODS FOR CLASSIFYING AVOCADO CULTIVARS
LEBOWITZ, RJ
FRUIT VARIETIES JOURNAL, 1984, 38 (02): : 64 - 69
[47] DIRECT AND CONVERSE THEOREMS FOR NUMERICAL-METHODS
MAKAROV, VL
POPOV, VA
DOKLADI NA BOLGARSKATA AKADEMIYA NA NAUKITE, 1989, 42 (07): : 33 - 36
[48] NUMERICAL-METHODS FOR SINGULAR PERTURBATION PROBLEMS
KREISS, B
KREISS, HO
SIAM JOURNAL ON NUMERICAL ANALYSIS, 1981, 18 (02) : 262 - 276
[49] NUMERICAL-METHODS FOR SEMILINEAR PARABOLIC EQUATIONS
PAO, CV
SIAM JOURNAL ON NUMERICAL ANALYSIS, 1987, 24 (01) : 24 - 35
[50] NUMERICAL-METHODS IN THE STABILITY ANALYSIS OF SLOPES
PASTERNACK, SC
GAO, S
COMPUTERS & STRUCTURES, 1988, 30 (03) : 573 - 579

← 1 2 3 4 5 →