• 已选条件：
  • × 软件
 全选  【符合条件的数据共：672条】

1 Python & Qt, Powerful Tools for Technical Computing [科技报告]

作者:Grillo, Vincent

发布日期:2019

关键词:ALGORITHMS;DISPLAY DEVICES;...

发布机构:

预览  |  原文链接  |  全文  [ 浏览：2 下载：13  ]    

2 Designing the User Experience for Earth Observation Data Services in the Cloud [科技报告]

作者:Lynnes, Christopher

发布日期:2019

关键词:CLOUDS (METEOROLOGY);DATA BASES;...

发布机构:

预览  |  原文链接  |  全文  [ 浏览：2 下载：1  ]    

3 Software Development and Testing Support for the Avionics Systems Telemetry Tool Suite [科技报告]

作者:Thomas, Taylor Walter

发布日期:2019

关键词:AVIONICS;SOFTWARE DEVELOPMENT TOOLS;...

发布机构:

预览  |  原文链接  |  全文  [ 浏览：2 下载：0  ]    

4 Model Based Engineering for Software Assurance [科技报告]

作者:Wang, Lui;Izygon, Michel;Evans, John;等

发布日期:2019

关键词:COMPUTER PROGRAMS;FAILURE MODES;...

发布机构:

预览  |  原文链接  |  全文  [ 浏览：2 下载：2  ]    

5 MARGInS Model-Based Analysis of Realizable Goals in Systems [科技报告]

作者:He, Yuning

发布日期:2019

关键词:AEROSPACE SYSTEMS;CHARACTERIZATION;...

发布机构:

预览  |  原文链接  |  全文  [ 浏览：1 下载：0  ]    

6 Command and Control System Software Development [科技报告]

作者:Janmohamed, Nashir

发布日期:2019

关键词:APPLICATIONS PROGRAMS (COMPUTERS);COMMAND AND CONTROL;...

发布机构:

预览  |  原文链接  |  全文  [ 浏览：0 下载：2  ]