No journal is defined! Please go to the main page GESJ:
GEO RUS
News Contents Conception Information for authors Editorial Board Journal Themes
Previous issues Contacts Send Articles For Editors Links to other journals
No journal is defined! Please go to the main page GESJ:

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 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



1
Creative Commons License
Internet Academy 2001-2024