理论计算机科学 可计算性与计算复杂性 释文 recursively enumerable language 递归可枚举语言
- satellite Doppler shift measurement
- satellite Doppler tracking
- satellite eclipse
- satellite ephemeris
- satellite exploration of the upper atmosphere
- satellite-framed language
- satellite galaxy
- satellite geodesy
- satellite geometry calibration
- satellite geometry calibration test site
- satellite gradiometry
- satellite gravity field inversion technology
- satellite gravity gradiometry
- satellite gravity survey
- satellite gravure press
- satellite ground quantum key distribution experiment
- satellite ground tracking
- satellite hydrology
- satellite image database
- satellite image map
- satellite image navigation and registration
- satellite inclination
- Satellite italiano per Astronomia X
- satellite Ka phased array antenna
- satellite knot