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] NUMERICAL-METHODS FOR CLASSIFYING AVOCADO CULTIVARS
LEBOWITZ, RJ
FRUIT VARIETIES JOURNAL, 1984, 38 (02): : 64 - 69
[43] DIRECT AND CONVERSE THEOREMS FOR NUMERICAL-METHODS
MAKAROV, VL
POPOV, VA
DOKLADI NA BOLGARSKATA AKADEMIYA NA NAUKITE, 1989, 42 (07): : 33 - 36
[44] SYMPLECTIC NUMERICAL-METHODS FOR HAMILTONIAN PROBLEMS
SANZSERNA, JM
CALVO, MP
INTERNATIONAL JOURNAL OF MODERN PHYSICS C, 1993, 4 (02): : 385 - 392
[45] NUMERICAL-METHODS FOR STOCHASTIC-PROCESSES
MELEMIS, SM
MATHEMATICAL BIOSCIENCES, 1978, 41 (1-2) : 35 - 51
[46] SPECIAL ISSUE ON NUMERICAL-METHODS IN OPTIMIZATION
RAUCH, HE
JOURNAL OF THE ASTRONAUTICAL SCIENCES, 1982, 30 (02): : 97 - 97
[47] NUMERICAL-METHODS OF NONLINEAR-PROGRAMMING
EVTUSHENKO, YG
DOKLADY AKADEMII NAUK SSSR, 1975, 221 (05): : 1016 - 1019
[48] NUMERICAL-METHODS FOR SEMILINEAR PARABOLIC EQUATIONS
PAO, CV
SIAM JOURNAL ON NUMERICAL ANALYSIS, 1987, 24 (01) : 24 - 35
[49] ADAPTIVE NUMERICAL-METHODS FOR REACTING FLOWS
DWYER, HA
PHYSICA D, 1986, 20 (01): : 142 - 154
[50] A REVIEW OF NUMERICAL-METHODS IN BACTERIAL IDENTIFICATION
WILLCOX, WR
LAPAGE, SP
HOLMES, B
ANTONIE VAN LEEUWENHOEK JOURNAL OF MICROBIOLOGY, 1980, 46 (03): : 233 - 299