Arid

浏览/检索结果: 共3条,第1-3条 帮助

已选(0)清除 条数/页:   排序方式:
Software technology testbed softpanel prototype 科技报告
报告编号: NASA-CR-187913, NAS 1.26:187913. 出版年: 1991
作者:  [unavailable]
收藏  |  浏览/下载:19/0  |  提交时间:2019/11/30
ADA (PROGRAMMING LANGUAGE)  COMPUTER PROGRAMS  COMPUTER TECHNIQUES  REAL TIME OPERATION  SOFTWARE ENGINEERING  SPACE STATIONS  SYSTEMS INTEGRATION  COMPUTERIZED SIMULATION  CONTROL SYSTEMS DESIGN  DATA BASE MANAGEMENT SYSTEMS  DATA MANAGEMENT  PROGRAM VERIFICATION (COMPUTERS)  SOFTWARE DEVELOPMENT TOOLS  
DAB user's guide 科技报告
报告编号: NAS 1.26:177383, TN-85-7104-306-26, NASA-CR-177383. 出版年: 1985
作者:  Trosin, J.
收藏  |  浏览/下载:7/0  |  提交时间:2019/11/30
COMPUTER GRAPHICS  COMPUTER PROGRAMS  GEOMETRY  PLOTTING  USER MANUALS (COMPUTER PROGRAMS)  DIGITAL COMPUTERS  FORTRAN  PROGRAM VERIFICATION (COMPUTERS)  
Baseline mathematics and geodetics for tracking operations 科技报告
报告编号: NASA-CR-163102, GMD-802678. 出版年: 1981
作者:  James, R.
收藏  |  浏览/下载:15/0  |  提交时间:2019/11/30
ALGORITHMS  GEODETIC COORDINATES  MAPPING  RADAR TRACKING  APPROXIMATION  ATMOSPHERIC REFRACTION  PROGRAM VERIFICATION (COMPUTERS)  REAL TIME OPERATION