Computer Sciences and Telecommunications 2016 | No.4(50) [2016.12.31]  USAGE OF LOGIC FOR PARALLEL VERIFICATION OF HASKEL PROGRAMS 86-92 View article (PDF) or Computer Sciences and Telecommunications 2016 | No.3(49) [2016.11.30]  THE MODERN APPROACHES IN PARALLEL PROGRAMMING 30-33 View article (PDF) or Computer Sciences and Telecommunications 2014 | No.3(43) [2014.09.30]  THE AUTOMATIC SYNTHESIS OF HASKELL FUNCTIONS 20-26 View article (PDF) or 1

Internet Academy 2001-2024