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. | |||
| Нәтижелер 2 - 1/2 | |||