Փոփոխությունների ֆորմալ վերիֆիկացիա բիզնես պրոցեսների շաբլոնների համար : Սեղմագիր ֆիզ.-մաթ. գիտ. թեկն. ... ատենախոս. : Ե.13.04 / ՀՀ ԳԱԱ ԻԱՊԻ.
Նյութի տեսակ։
ՏեքստԼեզու: Հայերեն Հրատարակման մանրամասներ։ Երևան, 2011.Նկարագրություն։ 23 էջԱյլ վերնագիր։ - Формальная верификация изменений в шаблонах бизнес процессов. Автореферат дис. ... канд. физ.-мат. наук : 05.13.04 [Զուգահեռ վերնագիր]
| Նյութի տեսակ | Ընթացիկ գրադարան | Հավաքածու | Դարակային համար | Վիճակ | Նշումներ | Վերադարձի ամսաթիվ | Շտրիխ կոդ |
|---|---|---|---|---|---|---|---|
| Author's Abstracts | National Polytechnic University Library Scientific | Dissertations Reading Room | 004.4:004.38(043.3) Վ-33 (Դիտման դարակ(Բացվում է ներքևում)) | In House | One Hour Loan | EU0434171 |
Դիտման National Polytechnic University Library դարակ, Դարակի վրա տեղաբաշխում: Scientific, Հավաքածու։ Dissertations Reading Room Փակիր դարակի դիտակը (Թաքցնում է դարակի դիտակը)
| 004.4:003.63(043.3) Կ-61 Safer ընտանիքի 256 բիթային ծածկագրական համակարգի մշակում և իրականացում : | 004.4:004.312.02(043.3) А-31 Об интерпретаторах систем логического прграммирования : | 004.4:004.38(043.3) Ч-75 Исследование и разработка принципов повышения стойкости асиметричных криптосистем на основе конечных автоматов : | 004.4:004.38(043.3) Վ-33 Փոփոխությունների ֆորմալ վերիֆիկացիա բիզնես պրոցեսների շաբլոնների համար : | 004.4:005.61(043.3) Թ-27 Բիզնես պրոցեսների արտադրողականության առաջնային բնութագրիչների գնահատման համակարգ : | 004.4:005.93(043.3) Թ-83 Տվյալներով պայմանավորված կառավարման նախագծերի իրականացմանը աջակցող ճարտարապետություն ժամանակակից ձեռնարկությունների համար : | 004.4(043.3) A-16 Разработка и исследование программных средств проведения средств проведения занятий в электронной обучающей системе : |
Գիտ. ղեկ.՝ Ս.Կ. Շուքուրյան