 |
Компьютерные науки и телекоммуникации 2018 | No.1(53) [2018.03.31]
|
A NEW APPROACH TO CONSTRUCTING PARALLEL ALGORITHMS (Язык: Английский) |
30-34 |
Компьютерные науки и телекоммуникации 2016 | No.4(50) [2016.12.31]
|
USAGE OF LOGIC FOR PARALLEL VERIFICATION OF HASKEL PROGRAMS (Язык: Английский) |
86-92 |
Компьютерные науки и телекоммуникации 2016 | No.3(49) [2016.11.30]
|
THE MODERN APPROACHES IN PARALLEL PROGRAMMING (Язык: Английский) |
30-33 |
Компьютерные науки и телекоммуникации 2014 | No.3(43) [2014.09.30]
|
THE AUTOMATIC SYNTHESIS OF HASKELL FUNCTIONS (Язык: Английский) |
20-26 |
Компьютерные науки и телекоммуникации 2010 | No.3(26) [2010.06.30]
|
ПОСТРОЕНИЕ ОБОБЩЕННЫХ РЕКУРСИВНЫХ ФОРМ ДЛЯ ФУНКЦИОНАЛЬНЫХ ЯЗЫКОВ И ИХ ПРИМЕНЕНИЕ В ЗАДАЧАХ ВЕРИФИКАЦИИ ПРОГРАММ |
133-141 |
1 |
|
|
