理论计算机科学 程序理论 释文 propositional μ-calculus 命题μ演算
- video signal
- videosonde
- video storage server
- video structured description
- video summarization
- video summary and concentrated
- video surveillance system
- video surveillance system of urban rail transit magnetic levitation
- video switcher
- video tape
- videotape
- video textures
- video traffic incident detector
- video-transformer
- video vehicle detector
- video watermarking
- vidian neurectomy
- vidicon
- Viehweg
- viellaurit
- Vienna
- vienna ab initio simulation package
- vienna ab-initio simulation package
- vienna ab-initio simulation package, VASP
- Vienna Circle