ГЭНЖ: Компьютерные науки и телекоммуникации

Компьютерные науки и телекоммуникации 2016 | No.4(50) [2016.12.31]

USAGE OF LOGIC FOR PARALLEL VERIFICATION OF HASKEL PROGRAMS (Язык: Английский)

86-92

Просмотреть статью (PDF) или

Компьютерные науки и телекоммуникации 2016 | No.3(49) [2016.11.30]

THE MODERN APPROACHES IN PARALLEL PROGRAMMING (Язык: Английский)

30-33

Просмотреть статью (PDF) или

Компьютерные науки и телекоммуникации 2014 | No.3(43) [2014.09.30]

THE AUTOMATIC SYNTHESIS OF HASKELL FUNCTIONS (Язык: Английский)

20-26

Просмотреть статью (PDF) или