О семантике бестиповых функциональных программ : Автореф. дис. ... канд. физ.-мат. наук по спец. 05.13.04 - Математическое и программирование обеспечение вычислительных машин, комплексов, систем и сетей / С.А. Аветисян.
Նյութի տեսակ։ ՏեքստԼեզու: Ռուսերեն Հրատարակման մանրամասներ։ Ереван, 2005.Նկարագրություն։ 15 сԱյլ վերնագիր։- Առանց տիպերի ֆունկցիոնալ ծրագրերի սեմանտիկայի մասին. Սեղմ. Ե.13.04- «Հաշվողական մեքենաների, համալիրների, համակարգերի և ցանցերի մաթեմատիկական և ծրագրային ապահովում» մասն. ֆիզ.-մաթ. գիտ. թեկն [Զուգահեռ վերնագիր]
Նյութի տեսակ | Ընթացիկ գրադարան | Հավաքածու | Դարակային համար | Վիճակ | Նշումներ | Վերադարձի ամսաթիվ | Շտրիխ կոդ |
---|---|---|---|---|---|---|---|
Author's Abstracts | National Polytechnic University Library Scientific | Dissertations Reading Room | 004.4:519.767(043.3) A-19 (Դիտման դարակ(Բացվում է ներքևում)) | In House | One Hour Loan | EU0543305 |
Դիտման National Polytechnic University Library դարակ, Դարակի վրա տեղաբաշխում: Scientific, Հավաքածու։ Dissertations Reading Room Փակիր դարակի դիտակը (Թաքցնում է դարակի դիտակը)
004.4:519.687(043.3) Ն-37 Գաղտնի հաղորդագրություններով լայնասփյուռ կապուղիների E-ունակության հետազոտություն : | 004.4:519.688(043.3) А-90 Разработка комбинированных алгоритмов защиты мультимедийной информации : | 004.4:519.7(043.3) К-99 λ-исчисление, его синтаксис и семантика : | 004.4:519.767(043.3) A-19 О семантике бестиповых функциональных программ : | 004.4:519.854(043.3) Ս-15 Դիսկրետ մոդելներում մասնակի բնութագրմամբ տրվող կառուցվածքների գոյություն, կառուցում,նկարագրում : | 004.4:519.856(043.3) А-23 Моделирование сложных систем методом стохастических вычислений : | 004.4:520.88(043.3) Կ-62 Հաշվողական աստղաֆիզիկայի որոշ դասի խնդիրների համար միջավայրի մշակում գրիդ ինֆրակառուցվածքի կիրառմամբ : |
ИПИА НАН РА
Науч. рук.: д.ф.м.н., проф. С.А. Нагиян