理学 类型理论 释 calculus of communicating systems; CCS 通信进程演算 描述通信并发系统的进程代数理论。
理论计算机科学 程序理论 释文 calculus of communicating systems, CCS 通信系统演算
- Konstantin Nikolaevich Ldov
- Konstantin Novoselov
- Konstantin Rosenthal
- Konstantin Sergeyevich Aksakov
- Konstantin Sergeyevich Stanislavsky
- Konstantin Yakovlevich Vanshenkin
- Konstanty Ildefons Gałczyński
- Konstatin Mikhailovich Simonov
- Kon-Tiki
- Kontorovich
- Kontorovich-Lebedev transform
- Kontsevich
- Kontsevich integral
- Kontsevich,Maksim
- Kontsevich matrix model
- Konya
- Konɡji
- Konɡlinzhi
- Koo Bohn-chang
- Koolangsoo Photographic Atelier
- Koontz model
- Koopmans
- Koopmans theorem
- Koopmans' theorem
- Koopman定理