理学 类型理论 释 calculus of communicating systems; CCS 通信进程演算 描述通信并发系统的进程代数理论。
理论计算机科学 程序理论 释文 calculus of communicating systems, CCS 通信系统演算
- digitization of mine engineering
- Digitized Sky Survey
- digitized surveying and mapping
- digitizer
- digitizing
- digitizing logic
- digitoxigenin
- digitoxin
- digit postage meter
- digit product
- Digitron
- digit series
- digit-shifting constant
- digit span test
- digit sum
- digitus
- digitus annularis
- digitus indices
- digitus medius
- digitus minimus
- Digivace
- digiverter
- Digivol
- diglyceride
- diglycidyl ether of bisphenol-A