机读格式显示(MARC)

• 000 01751nam 22003491 450

• 001 0000448385

• 005 20231212165000.0

• 010 __ |a 978-7-118-12847-5 |d CNY68.00

• 100 __ |a 20231120d2023 em y0chiy50 ea

• 101 1_ |a chi |c eng

• 102 __ |a CN |b 110000

• 105 __ |a ak a 000yy

• 106 __ |a r

• 200 1_ |a 计算科学与工程领域的计算机代码验证 |A ji suan ke xue yu gong cheng ling yu de ji suan ji dai ma yan zheng |f (美) 帕特里克·努普, 坎比兹·萨拉里著 |d = Verification of computer codes in computational science and engineering |f Patrick Knupp, Kambiz Salari |g 陈江涛, 章超, 李彬等译 |z eng

• 210 __ |a 北京 |c 国防工业出版社 |d 2023.03

• 215 __ |a XII, 120页 |c 图 |d 24cm

• 225 2_ |a 国家数值风洞工程验证与确认系列译著 |A guo jia shu zhi feng dong gong cheng yan zheng yu que ren xi lie yi zhu

• 306 __ |a 由Taylor & Francis出版集团旗下, CRC出版公司出版授权出版

• 320 __ |a 有书目 (第89-91页)

• 330 __ |a 本书共十章, 全面系统地介绍了计算机代码验证, 包括背景、原理、流程、实施细节和示例。重点阐述了计算机代码验证的一种重要手段, 即“基于人造解方法的精度阶验证” (OVMSP) 。通过求解Burgers方程和Navier-Stokes方程的示例阐明了该方法的优点。

• 410 _0 |1 2001 |a 国家数值风洞工程验证与确认系列译著

• 500 10 |a Verification of computer codes in computational science and engineering |A Verification Of Computer Codes In Computational Science And Engineering |m Chinese

• 606 0_ |a 程序校验 |A cheng xu xiao yan |x 研究

• 690 __ |a TP311.55 |v 5

• 690 __ |a TP311.1 |v 5

• 701 _1 |a 努普 |A nu pu |g (Knupp, Patrick) |4 著

• 701 _1 |a 萨拉里 |A sa la li |g (Salari, Kambiz) |4 著

• 702 _0 |a 陈江涛 |A chen jiang tao |4 译

• 702 _0 |a 章超 |A zhang chao |4 译

• 702 _0 |a 李彬 |A li bin |4 译

• 801 _0 |a CN |b 辽批 |c 20231120

• 905 __ |a AUSTL |d TP311.55/N634