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

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

Տեսակավորում
Արդյունքներ
Turing's cathedral : the origins of the digital universe / George Dyson.
Նյութի տեսակ։ Տեքստ Տեքստ; Ձևաչափ: տպել ; Գրական ժանր: Ոչ գեղարվեստական
Լեզու: Անգլերեն
Հրատարակման մանրամասներ։ New York : Pantheon Books, 2012
Հասանելիություն: Նյութերը մատչելի են տացքի համար: Fundamental Scientific Library (1)Տեղաբաշխում, դասիչ։ И II/115388.

Introduction to languages and the theory of computation / John C. Martin.
Նյութի տեսակ։ Տեքստ Տեքստ; Ձևաչափ: տպել ; Գրական ժանր: Ոչ գեղարվեստական
Լեզու: Անգլերեն
Հրատարակման մանրամասներ։ New York : McGraw-Hill, c1991
Հասանելիություն: Նյութերը մատչելի են տացքի համար: Yerevan State University Library (1)Տեղաբաշխում, դասիչ։ 51 М-35.

Computability : Computable functions, logic, and foundations of mathematics / Richard L. Epstein, Walter A. Carnielli. Մատենաշար։ Wadsworth & Brook/Cole mathematics series
Նյութի տեսակ։ Տեքստ Տեքստ
Հրատարակման մանրամասներ։ Pacific Grove, CA : Wadsworth & Brooks/Cole Advanced Books & Software , 1989
Հասանելիություն: Նյութերը մատչելի են տացքի համար: Yerevan State University Library (1)Տեղաբաշխում, դասիչ։ 511.3 E-64.

Recursively enumerable sets and degrees : A study of computable functions and computably generated sets / Robert I. Soare. Մատենաշար։ Perspectives in mathematical logic
Նյութի տեսակ։ Տեքստ Տեքստ; Ձևաչափ: տպել ; Գրական ժանր: Ոչ գեղարվեստական
Լեզու: Անգլերեն
Հրատարակման մանրամասներ։ Berlin ; New York : Springer-Verlag, 1987
Հասանելիություն: Նյութերը մատչելի են տացքի համար: Fundamental Scientific Library (1)Տեղաբաշխում, դասիչ։ Gulb/7201.

Computability / Klaus Weihrauch. Մատենաշար։ EATCS monographs on theoretical computer science ; Vol. 9
Նյութի տեսակ։ Տեքստ Տեքստ; Ձևաչափ: տպել ; Գրական ժանր: Ոչ գեղարվեստական
Լեզու: Անգլերեն
Հրատարակման մանրամասներ։ Berlin ; New York : Springer-Verlag, 1987
Հասանելիություն: Նյութերը մատչելի են տացքի համար: Fundamental Scientific Library (1)Տեղաբաշխում, դասիչ։ Gulb/6881.

Aufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit ; Einfuhrung in die Theorie der rekursiven Funktionen / Hans Hermes. Մատենաշար։ Heidelberger Taschenbucher ; Bd. 87
Հրատարակություն։ 2. Aufl.
Նյութի տեսակ։ Տեքստ Տեքստ; Ձևաչափ: տպել ; Գրական ժանր: Ոչ գեղարվեստական
Լեզու: Գերմաներեն
Հրատարակման մանրամասներ։ Berlin ; New York : Springer-Verlag, 1971
Հասանելիություն: Նյութերը մատչելի են տացքի համար: Yerevan State University Library (1)Տեղաբաշխում, դասիչ։ 517.5 H-57.

Էջեր

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

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