Fundamental Scientific Library of NAS RA

Refine your search

Your search returned 40 results.

Sort
Results
A practical theory of programming / Eric C.R. Hehner.

by Hehner, Eric C. R.

Series: Includes bibliogr. references (p. 215-218)Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: New York ; Berlin : Springer-Verlag, 1993Availability: Items available for loan: 1 Call number: И II/116438.

Aspect oriented software development / Robert E. Filman, Tzilla Elrad, Siobhan Clarke, Mehmet Aksit.

by Filman, Robert E | Elrad, Tzilla | Clarke, Siobhan | Aksit, Mehmet.

Material type: Text Text; Literary form: Not fiction ; Audience: Specialized; Language: English Publication details: Harlow : Addison-Wesley, 2005Availability: Items available for loan: 1 Call number: И 2/113258.

C++ program design : An introduction to programming and object-oriented design / James P. Cohoon, Jack W. Davidson.

by Cohoon, James P | Davidson, Jack Winfred.

Edition: 3rd ed.Material type: Text Text; Literary form: Not fiction Language: English Publication details: Boston : McGraw-Hill, 2002Availability: Items available for loan: 1 Call number: И 2/113177.

Design of library automation systems : File structures, data structures, and tools / Michael D. Cooper.

by Cooper, Michael David, 1941-.

Material type: Text Text; Literary form: Not fiction Language: English Publication details: New York : Wiley, 1996Availability: Items available for loan: 1 Call number: И 2/113144.

The design of well-structured and correct programs / Suad Alagic, Michael A. Arbib.

by Alagic, Suad, 1946- | Arbib, Michael A.

Series: Texts and monographs in computer scienceMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: New York : Springer-Verlag, 1978Availability: Items available for loan: 1 Call number: Gulb/5601.

Excel 97 ծրագիրը / Կազմ.՝ Ա. Աղաբեկյան, Ա. Նահապետյան.

by Աղաբեկյան, Ալեքսանդր Սերգեյի, 1939- [խմբ.] | Նահապետյան, Ա [խմբ.].

Series: Համակարգիչ սկսնակների համարMaterial type: Text Text; Literary form: Not fiction Language: Armenian Publication details: Երևան : Ա. հ., 1998Availability: Items available for loan: 2 Call number: AII/84914, ...

Fortran IV : For multi-programming systems : With emphasis on the GE-600 series computer / Rudolf G. Schonbeck.

by Schonbeck, Rudolph G.

Material type: Text Text; Literary form: Not fiction Language: English Publication details: Reading, Mass. : Addison-Wesley Publ. Co., 1968Availability: Items available for loan: 1 Call number: Gulb/3183.

A guide to BASIC programming : A time-sharing language / Donald D. Spencer.

by Spencer, Donald D.

Edition: 2nd ed.Material type: Text Text; Literary form: Not fiction Language: English Publication details: Reading, Mass. : Addison-Wesley Publ. Co., 1970Availability: Items available for loan: 1 Call number: Gulb/3108.

A guide to COBOL programming / Daniel D. McCracken.

by McCracken, Daniel D.

Material type: Text Text; Literary form: Not fiction Language: English Publication details: New York : Wiley, 1963Availability: Items available for loan: 1 Call number: Gulb/1618.

Automatic correction and improvement of programs / H. Wertz ; [Translator : Jonathan Barchan].

by Wertz, Harald, 1947-.

Series: Ellis Horwood books in computing scienceEllis Horwood series in artificial intelligenceMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English, French Publication details: Chichester : New York : Ellis Horwood ; Halsted Press, 1987Availability: Items available for loan: 1 Call number: Gulb/7085.

Automatic correction and improvement of programs / H. Wertz ; [Translator : Jonathan Barchan].

by Wertz, H, 1947- | Barchan, Jonathan [trl].

Series: Ellis Horwood books in computing scienceEllis Horwood series in artificial intelligenceMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Original language: French Publication details: Chichester : New York : Ellis Horwood ; Halsted Press, 1987Availability: Items available for loan: 1 Call number: Gulb/7195.

An introduction to the general theory of algorithms / Michael Machtey, Paul Young.

by Machtey, Michael | Young, Paul, 1936-.

Series: Theory of computation seriesMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: New York : North-Holland, 1978Availability: Items available for loan: 1 Call number: Gulb/5204.

The journal of logic and algebraic programming

Material type: Continuing resource Continuing resource; Type of continuing resource: periodical Language: English Publication details: Amsterdam : Elsevier. Online access: Click here to access online Availability: Items available for loan: 15 Call number: ИЖ 3668, ...

Language hierarchies and interfaces : International summer school / F. L. Bauer ... et al. ; Ed. by F. L. Bauer and K. Samelson.

by Bauer, Friedrich Ludwig, 1924- | Samelson, Klaus, 1918- [edt] | North Atlantic Treaty Organization Scientific Affairs Division.

Series: Lecture notes in computer science ; 46Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; New York : Springer-Verlag, 1976Availability: Items available for loan: 1 Call number: Gulb/5166.

Lotos - jezyk formalnych specyfikacji systemow informatycznych / Zbigniew Huzar.

by Huzar, Zbigniew.

Material type: Text Text; Literary form: Not fiction Language: Polish Publication details: Wrocław : Oficyna Wydawnicza Politechniki Wrocławskiej, 2007Online access: Click here to access online Availability: Items available for loan: 1 Call number: И II/113962.

Mathematical foundations of computer science : Proceedings, 7th Symposium, Zakopane, Poland, 4-8, 1978 / Ed. by J. Winkowski.

by Symposium on Mathematical Foundations of Computer Science (7th : 1978 : Zakopane, Poland) | Winkowski, J [edt].

Series: Lecture notes in computer science ; 64Material type: Text Text; Literary form: Not fiction Language: English Publication details: Berlin ; New York : Springer-Verlag, 1978Availability: Items available for loan: 1 Call number: Gulb/5604.

Mathematical foundations of computer science 1988 : Proceedings of the 13th symposium, Carlsbad, Czechoslovakia, August 29 - September 2, 1988 / Eds. : M.P. Chytil, L. Janiga, V. Koubek.

by Symposium on Mathematical Foundations of Computer Science (13th : 1988 : Carlsbad, Czechoslovakia) | Chytil, Michal [edt] | Janiga, Ladislav, 1954- [edt] | Koubek, Vaclav [edt].

Series: Lecture notes in computer science ; 324Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; London : Springer-Verlag, 1988Availability: Items available for loan: 1 Call number: Gulb/7303.

Mathematical logic in computer science / Ed. by B. Domolki and T. Gergely.

by Domolki, B [edt] | Gergely, Tamas [edt] | Colloquium on Mathematical Logic in Computer Science (1978 : Salgotarjan, Hungary) | Bolyai Janos Mathematikai Tarsulat.

Series: Colloquia mathematica societatis Janos Bolyai ; 26Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Amsterdam ; New York : North-Holland Publ. Co., 1981Availability: Items available for loan: 1 Call number: Gulb/5868.

Object-oriented graphics : from GKS and PHIGS to object-oriented systems / Peter Wisskirchen.

by Wisskirchen, Peter.

Series: Symbolic computation. Computer graphics--systems and applicationsMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; New York : Springer-Verlag, 1990Availability: Items available for loan: 1 Call number: Gulb/7655.

OpenGL programming guide : The official guide to learning OpenGL, version 1.2 / OpenGL Architecture Review Board, Mason Woo [et al.].

by Woo, Mason [aui].

Edition: 3rd ed.Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Boston : Addison-Wesley, 1999Availability: Items available for loan: 1 Call number: И II/116870.

Pages


ՀՀ ԳԱԱ հիմնարար գիտական գրադարան
ՀՀ,Երևան 0019
Մարշալ Բաղրամյան 24/6
հեռախոս:(374-10) 52-47-50
Հետադարձ կապ

All site content, except where otherwise noted, is licensed under a
Creative Commons License