ჟურნალი არ შეგირჩევიათ! გადადით საწყის გვერდზე ქესჟ:
ENG RUS
ჟურნალის სიახლენი ჟურნალის სარჩევი ჟურნალის კონცეფცია ინფორმაცია ავტორებისათვის სარედაქციო საბჭო ჟურნალის თემატიკა
ჟურნალის წინა ნომრები დაგვიკავშირდით სტატიის გაგზავნა რედაქტორისათვის სხვა ელექტრონული ჟურნალები
ჟურნალი არ შეგირჩევიათ! გადადით საწყის გვერდზე ქესჟ:

კომპიუტერული მეცნიერებანი და ტელეკომუნიკაციები 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) ან



კომპიუტერული მეცნიერებანი და ტელეკომუნიკაციები 2010 | No.3(26) [2010.06.30]


განზოგადოებული რეკურსიული ფორმების აგება ფუნქციონალური ენებისთვის და მათი გამოყენება პროგრამების ვერიფიკაციის ამოცანებში (ენა: რუსული)  133-141
დაათვალიერე სტატია (PDF) ან



1
Creative Commons License
ინტერნეტ აკადემია 2001-2024