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