理论计算机科学 程序理论 释文 structural operational semantics 结构化操作语义
- block relaxation method
- block replacement policy
- blocks
- block scheme
- block search
- block size
- block spin
- block spin transformation
- blocks substitution matrix
- block structure
- block-structured language
- block system
- block transfer
- block triangular form
- block triangular matrix
- block tridiagonal matrix
- block-tridiagonal matrix
- block upper triangular matrix
- block valve station
- block virtualization
- Bloembergen, Nicolaas
- Bloemfontein
- Bloemfontein Convention
- blog
- Blonde