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

Internet Academy 2001-2025 ISSN 1512-2018