National Science Library of Georgia

Your search returned 4 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
Logics of programs and their applications : proceedings, Poznan, August 23-29, 1980 / edited by A. Salwicki. by Series: Lecture notes in computer science ; 148
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin ; New York : Springer-Verlag, 1983
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Log in to add tags Add to cart
Formalization of programming concepts : international colloquium, Peniscola, Spain, April 19-25, 1981 : proceedings / edited by J. Díaz and I. Ramos. by Series: Lecture notes in computer science ; 107
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin ; New York : Springer-Verlag, 1981
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Log in to add tags Add to cart
Abstract software specifications : 1979 Copenhagen Winter School, Janauary 22-February 2, 1979 : proceedings / edited by D. Bjørner. by Series: Lecture notes in computer science ; 86
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin : Springer-Verlag, 1980
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Log in to add tags Add to cart
ECI conference 1976 : proceedings of the 1st conference of the European Cooperation in Informatics, Amsterdam, August 9-12, 1976 / edited by K. Samelson ; European Cooperation in Informatics (Organization). by Series: Lecture notes in computer science ; 44
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin : New York : Springer-Verlag, 1976
Availability: Items available for reference: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Not for loan (1)Call number: 004(063).
Log in to add tags Add to cart
Pages
Not finding what you're looking for?
Copyright © 2023 Sciencelib.ge All rights reserved.