ՀԱՅԱՍՏԱՆԻ ԳՐԱԴԱՐԱՆՆԵՐԻ ՀԱՄԱՀԱՎԱՔ ԳՐԱՑՈՒՑԱԿ = Union Catalog of Armenian Libraries

Քո փնտրումը վերադարձրեց 2 արդյունք։

Տեսակավորում
Արդյունքներ
Прикладные методы верификации программ / В.А. Непомнящий, О.М. Рякин ; Под ред. А.П. Ершова.
Նյութի տեսակ։ Տեքստ Տեքստ; Լսարան։: Մասնագիտացված։
Լեզու: Ռուսերեն
Հրատարակման մանրամասներ։ Москва : Радио и связь, 1988
Հասանելիություն: Նյութերը մատչելի են տացքի համար: Engineering University Library (1)Տեղաբաշխում, դասիչ։ 681.3.06 Н-53. Fundamental Scientific Library (1)Տեղաբաշխում, դասիչ։ Р2/597711. National Library of Armenia (1)Տեղաբաշխում, դասիչ։ 681.3 / Н-535. Yerevan State University Library (1)Տեղաբաշխում, դասիչ։ 681.142 Н-535.

Конспект лекций по курсу "Методы контроля и диагностики вычислительных процессов" : Обеспечение достоверности исход. данных / О.М. Рякин ; Ред. В.П. Мудров ; Моск. энерг. ин-т.
Նյութի տեսակ։ Տեքստ Տեքստ; Գրական ժանր: Ոչ գեղարվեստական ; Լսարան։: Մասնագիտացված։
Լեզու: Ռուսերեն
Հրատարակման մանրամասներ։ Москва : МЭИ, 1979
Հասանելիություն: Նյութերը մատչելի են տացքի համար: National Library of Armenia (1)Տեղաբաշխում, դասիչ։ 681.3 / Р-994.

Էջեր

Հայաստանի ազգային գրադարան ՀՀ, 0009,Երևան, Տերյան 72 Հետադարձ կապ

Ուղեկցվում է Կոհա