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

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

Տեսակավորում
Հանիր գույնը Ընդգծել
Ընտրել բոլորը Մաքրիր բոլորը
Ընտրեք վերնագրերը:
Արդյունքներ
Mathematics, machines & Godel's proof / by N. Shankar. Մատենաշար։ Cambridge Tracts in Theoretical Computer Science Ser. ; No. 38
Նյութի տեսակ։ Տեքստ Տեքստ; Ձևաչափ: տպել ; Գրական ժանր: Ոչ գեղարվեստական
Հրատարակման մանրամասներ։ Cambridge, N.Y. : Cambridge University Press, 1997
Հասանելիություն: Նյութերը մատչելի են տացքի համար: American University Library of Armenia (1)Տեղաբաշխում, դասիչ։ 004.0151 SHA.

Դնել պահում Ավելացրու զամբյուղին
Basic proof theory / by A.S. Troelstra, H. Schwichtenberg. Մատենաշար։ Cambridge Tracts in Theoretical Computer Science
Նյութի տեսակ։ Տեքստ Տեքստ; Ձևաչափ: տպել ; Գրական ժանր: Ոչ գեղարվեստական
Հրատարակման մանրամասներ։ Cambridge, N.Y. : Cambridge University Press, 1996
Հասանելիություն: Նյութերը մատչելի են տացքի համար: American University Library of Armenia (1)Տեղաբաշխում, դասիչ։ 511.3 TRO.

Դնել պահում Ավելացրու զամբյուղին
Topology via logic / by Steven Vickers. Մատենաշար։ Cambridge Tracts in Theoretical Computer Science Ser. ; No. 5
Նյութի տեսակ։ Տեքստ Տեքստ; Ձևաչափ: տպել ; Գրական ժանր: Ոչ գեղարվեստական
Հրատարակման մանրամասներ։ Cambridge, N.Y. : Cambridge University Press, 1996
Հասանելիություն: Նյութերը մատչելի են տացքի համար: American University Library of Armenia (1)Տեղաբաշխում, դասիչ։ 512.55 VIC.

Դնել պահում Ավելացրու զամբյուղին
Mathematical theory of domains / by Viggo Stoltenberg-Hansen, Ingrid Lindstrom, Edward R. Griffor. Մատենաշար։ Cambridge Tracts in Theoretical Computer Science ; 22
Նյութի տեսակ։ Տեքստ Տեքստ; Ձևաչափ: տպել ; Գրական ժանր: Ոչ գեղարվեստական
Հրատարակման մանրամասներ։ Cambridge, N.Y. : Cambridge University Press, 1994
Հասանելիություն: Նյութերը մատչելի են տացքի համար: American University Library of Armenia (1)Տեղաբաշխում, դասիչ։ 511.3 STO.

Դնել պահում Ավելացրու զամբյուղին
Understanding Z : A specification language and its formal semantics / J.M. Spivey. Մատենաշար։ Cambridge tracts in theoretical computer science ; v. 3
Նյութի տեսակ։ Տեքստ Տեքստ
Հրատարակման մանրամասներ։ Cambridge : Cambridge University Press, 1988
Հասանելիություն: Նյութերը մատչելի են տացքի համար: Yerevan State University Library (1)Տեղաբաշխում, դասիչ։ 681.14 S-88.

Դնել պահում Ավելացրու զամբյուղին
Էջեր

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

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