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

Your search returned 3 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
New list
Results
1.
Computability / Klaus Weihrauch. by Series: EATCS monographs on theoretical computer science ; Vol. 9
Material type: Text 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/6881.

Place hold Save to lists Add to cart
2.
Fundamentals of algebraic specification / H. Ehrig, B. Mahr. by Series: EATCS monographs on theoretical computer science ; Vol. 6
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin ; New York : Springer-Verlag, 1985-
Availability: Items available for loan: Fundamental Scientific Library (1)Call number: Gulb/6821.

Place hold Save to lists Add to cart
3.
Temporal logic of programs / Fred Kroger. by Series: EATCS monographs on theoretical computer science ; Vol. 8
Material type: Text 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


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

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