კომპიუტერული მეცნიერებანი და ტელეკომუნიკაციები 2018 | No.1(53) [2018.03.31]  ახალი მიდგომა პარალელური ალგორითმების ასაგებად (ენა: ინგლისური) 30-34 დაათვალიერე სტატია (PDF) ან კომპიუტერული მეცნიერებანი და ტელეკომუნიკაციები 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]  ლოგიკების გამოყენება Haskell-ის პარალელური პროგრამების ვერიფიკაციისთვის (ენა: ინგლისური) 30-33 დაათვალიერე სტატია (PDF) ან კომპიუტერული მეცნიერებანი და ტელეკომუნიკაციები 2014 | No.3(43) [2014.09.30]  THE AUTOMATIC SYNTHESIS OF HASKELL FUNCTIONS (ენა: ინგლისური) 20-26 დაათვალიერე სტატია (PDF) ან კომპიუტერული მეცნიერებანი და ტელეკომუნიკაციები 2013 | No.4(40) [2013.12.31]  ფუნქციონალური პროგრამების ვერიფიკაციის შესაძლებლობები Model Checking–ის საშუალებით (ენა: ინგლისური) 51-58 დაათვალიერე სტატია (PDF) ან კომპიუტერული მეცნიერებანი და ტელეკომუნიკაციები 2012 | No.2(34) [2012.06.30]  ქართული ენის ლექსიკონის წარმოდგენა პროგრამირების ფუნქციონალური ენების საშუალებით და ძებნა „ტალღური მეთოდის“ გამოყენებით 59-70 დაათვალიერე სტატია (PDF) ან კომპიუტერული მეცნიერებანი და ტელეკომუნიკაციები 2010 | No.3(26) [2010.06.30]  განზოგადოებული რეკურსიული ფორმების აგება ფუნქციონალური ენებისთვის და მათი გამოყენება პროგრამების ვერიფიკაციის ამოცანებში (ენა: რუსული) 133-141 დაათვალიერე სტატია (PDF) ან კომპიუტერული მეცნიერებანი და ტელეკომუნიკაციები 2009 | No.2(19) [2009.05.31]  დაპროგრამების პარადიგმა და ინფორმაციის დამუშავების ასპექტები ფუნქციონალურ პარადიგმაში 118-149 დაათვალიერე სტატია (PDF) ან კომპიუტერული მეცნიერებანი და ტელეკომუნიკაციები 2009 | No.1(18) [2009.02.28]  The Parallel Programming on the LISP-base (ენა: ინგლისური) 13-15 დაათვალიერე სტატია (PDF) ან  დაპროგრამების ენა C–ის სწავლების ზოგიერთი ასპექტი 72-89 დაათვალიერე სტატია (PDF) ან 1

ინტერნეტ აკადემია 2001-2024