ՀՀ Գիտությունների ազգային ակադեմիայի հիմնարար գիտական գրադարան = Fundamental Scientific Library of NAS RA

Your search returned 18 results.

Results
	1.	A practical theory of programming / Eric C.R. Hehner. by Hehner, Eric C. R Series: Includes bibliogr. references (p. 215-218) Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: New York ; Berlin : Springer-Verlag, 1993 Availability: Items available for loan: Fundamental Scientific Library (1)Call number: И II/116438. Place hold Save to lists Add to cart (remove)
	2.	Automatic correction and improvement of programs / H. Wertz ; [Translator : Jonathan Barchan]. by Wertz, Harald, 1947- Series: Ellis Horwood books in computing science \| Ellis Horwood series in artificial intelligence Material type: Text; Format: print ; Literary form: Not fiction Language: English, French Publication details: Chichester : New York : Ellis Horwood ; Halsted Press, 1987 Availability: Items available for loan: Fundamental Scientific Library (1)Call number: Gulb/7085. Place hold Save to lists Add to cart (remove)
	3.	Automatic correction and improvement of programs / H. Wertz ; [Translator : Jonathan Barchan]. by Wertz, H, 1947- Barchan, Jonathan [trl] Series: Ellis Horwood books in computing science \| Ellis Horwood series in artificial intelligence Material type: Text; Format: print ; Literary form: Not fiction Language: English Original language: French Publication details: Chichester : New York : Ellis Horwood ; Halsted Press, 1987 Availability: Items available for loan: Fundamental Scientific Library (1)Call number: Gulb/7195. Place hold Save to lists Add to cart (remove)
	4.	Design of library automation systems : File structures, data structures, and tools / Michael D. Cooper. by Cooper, Michael David, 1941- Material type: Text; Literary form: Not fiction Language: English Publication details: New York : Wiley, 1996 Availability: Items available for loan: Fundamental Scientific Library (1)Call number: И 2/113144. Place hold Save to lists Add to cart (remove)
	5.	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 ; 46 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; New York : Springer-Verlag, 1976 Availability: Items available for loan: Fundamental Scientific Library (1)Call number: Gulb/5166. Place hold Save to lists Add to cart (remove)
	6.	Lotos - jezyk formalnych specyfikacji systemow informatycznych / Zbigniew Huzar. by Huzar, Zbigniew Material type: Text; Literary form: Not fiction Language: Polish Publication details: Wrocław : Oficyna Wydawnicza Politechniki Wrocławskiej, 2007 Online resources: Click here to access online Availability: Items available for loan: Fundamental Scientific Library (1)Call number: И II/113962. Place hold Save to lists Add to cart (remove)
	7.	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 ; 324 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; London : Springer-Verlag, 1988 Availability: Items available for loan: Fundamental Scientific Library (1)Call number: Gulb/7303. Place hold Save to lists Add to cart (remove)
	8.	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 ; 26 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Amsterdam ; New York : North-Holland Publ. Co., 1981 Availability: Items available for loan: Fundamental Scientific Library (1)Call number: Gulb/5868. Place hold Save to lists Add to cart (remove)
	9.	Program construction : International Summer School / F. L. Bauer ... et al. ; Ed. by F. L. Bauer and M. Broy. by Bauer, Friedrich Ludwig, 1924- Broy, M, 1949- [edt] North Atlantic Treaty Organization. Scientific Affairs Division Series: Lecture notes in computer science ; 69 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; New York : Springer-Verlag, 1979 Availability: Items available for loan: Fundamental Scientific Library (1)Call number: Gulb/5605. Place hold Save to lists Add to cart (remove)
	10.	Programming for digital computers / Joachim Jeenel. by Jeenel, Joachim Material type: Text Language: English Publication details: New York : McGraw-Hill, 1959 Availability: Items available for loan: Fundamental Scientific Library (1)Call number: Gulb/337. Place hold Save to lists Add to cart (remove)
	11.	Softwarewissen für Einsteiger : Voraussetzungen für die richtige Wahl / Michael Monka, Werner Voss. by Monka, Michael Voss, Werner Series: Grundkurs Computerpraxis Material type: Text; Format: print ; Literary form: Not fiction Language: German Publication details: Reinbek bei Hamburg : Rowohlt, 1992 Availability: Items available for loan: Fundamental Scientific Library (1)Call number: И II/116568. Place hold Save to lists Add to cart (remove)
	12.	Temporal logic of programs / Fred Kroger. by Kroger, Fred, 1945- Series: EATCS monographs on theoretical computer science ; Vol. 8 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; New York : Springer-Verlag, 1987 Availability: Items available for loan: Fundamental Scientific Library (1)Call number: Gulb/7160. Place hold Save to lists Add to cart (remove)
	13.	Universal subgoaling and chunking : The automatic generation and learning of goal hierarchies / by John Laird, Paul Rosenbloom, Allen Newell. by Laird, John, 1954- Rosenbloom, Paul S Newell, Allen Series: Kluwer international series in engineering and computer science. Knowledge representation, learning, and expert systems Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Boston : Kluwer Academic Publishers, 1986 Availability: Items available for loan: Fundamental Scientific Library (1)Call number: Gulb/6832. Place hold Save to lists Add to cart (remove)
	14.	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 science Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: New York : Springer-Verlag, 1978 Availability: Items available for loan: Fundamental Scientific Library (1)Call number: Gulb/5601. Place hold Save to lists Add to cart (remove)
	15.	The journal of logic and algebraic programming Material type: Continuing resource; Type of continuing resource: periodical Language: English Publication details: Amsterdam : Elsevier. Online resources: Click here to access online Availability: Items available for loan: Fundamental Scientific Library (15)Call number: ИЖ 3668, ... Place hold Save to lists Add to cart (remove)
	16.	La programmation en assembleur / par Jacques Riviere. by Riviere, Jacques Series: Dunod informatique : Phase formation Material type: Text; Format: print ; Literary form: Not fiction Language: French Publication details: [Paris] : Dunod, 1979 Availability: Items available for loan: Fundamental Scientific Library (1)Call number: Gulb/5496. Place hold Save to lists Add to cart (remove)
	17.	A programming language. by Iverson, Kenneth E Material type: Text; Literary form: Not fiction Language: English Publication details: New York : Wiley, 1962 Availability: Items available for loan: Fundamental Scientific Library (1)Call number: Gulb/1571. Place hold Save to lists Add to cart (remove)
	18.	A short course in basic Fortran IV programming based on the IBM System/360 and System/370 / Robert M. Lee. by Lee, Robert M Material type: Text; Literary form: Not fiction Language: English Publication details: New York : McGraw-Hill, 1972 Availability: Items available for loan: Fundamental Scientific Library (1)Call number: Gulb/2550. Place hold Save to lists Add to cart (remove)

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

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