理论计算机科学 程序理论 释文 model checking 模型检查
- random wave
- random waves
- random web
- random weighting method
- random Young tableau
- Randy John LaPolla
- Rangaku
- Ranganathan, ShiyaliRamamrita
- range
- rangeability
- range chart
- range-closed
- range compressing
- range condition
- range control scheme
- range counter
- range criterion
- range data
- range-energy relation
- range equation
- range extender
- range extension
- range finder
- range hood cleaner
- range index of words