Computer Sciences and Telecommunications 2018 | No.1(53) [2018.03.31]  A NEW APPROACH TO CONSTRUCTING PARALLEL ALGORITHMS 30-34 View article (PDF) or 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 Computer Sciences and Telecommunications 2013 | No.4(40) [2013.12.31]  POSSIBILITY OF FUNCTIONAL PROGRAMS VERIFICATION THROUGH APPLICATION OF MODEL CHECKING 51-58 View article (PDF) or Computer Sciences and Telecommunications 2012 | No.2(34) [2012.06.30]  PRESENTATION OF THE GEORGIAN LANGUAGE DICTIONARY WITH FUNCTIONAL PROGRAMMING LANGUAGES, AND SEARCH BY THE METHOD "WAVE" (Language: Georgian) 59-70 View article (PDF) or Computer Sciences and Telecommunications 2010 | No.3(26) [2010.06.30]  CONSTRUCTION OF THE GENERALIZED RECURSIVE FORMS FOR FUNCTIONAL LANGUAGES AND THEIR APPLICATION IN VERIFICATION OF PROGRAMS (Language: Russian) 133-141 View article (PDF) or Computer Sciences and Telecommunications 2009 | No.2(19) [2009.05.31]  PROGRAMMING PARADIGM AND ASPECTS OF INFORMATION PROCESSING IN FUNCTIONAL PARADIGM (Language: Georgian) 118-149 View article (PDF) or Computer Sciences and Telecommunications 2009 | No.1(18) [2009.02.28]  THE PARALLEL PROGRAMMING ON THE LISP-BASE 13-15 View article (PDF) or  SOME ASPECTS OF TEACHING OF PROGRAMMING LANGUAGE С (Language: Georgian) 72-89 View article (PDF) or 1

Internet Academy 2001-2024