THEORETICAL COMPUTER SCIENCE: FORMAL MODELS AND SEMANTICS
| 期 | 标题 | 文件 | |
| 编号 5 (2024) | Formal specification and verification of requirements in architecture and construction using the EXPRESS modeling language |
 (Rus) |
|
| Semenov V., Morozov S., Arishin S., Kuzina O., Rimshin V., Makisha E. | |||
| 编号 1 (2024) | Fuzzy measure on p-adic balls defined on a finite number set |
(Rus) |
|
| Bocharnikov V., Sveshnikov S. | |||
| 1 - 2 的 2 信息 | |||