Your search returned 10 results.

Results
		Computer science logic : 12th international workshop, CSL '98 : annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998 : proceedings / Georg Gottlob, Etienne Grandjean, Katrin Seyr (eds.) by Gottlob, G. (Georg) [რედაქტორი] Grandjean, Etienne [რედაქტორი] Seyr, Katrin [რედაქტორი] Series: Lecture notes in computer science ; 1584 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin ; New York : Springer, 1999 Online resources: Publisher description Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 1 (1)Call number: 681.3 C-65. Place hold Log in to add tags Add to cart (remove)
		Research and advanced technology for digital libraries : second European conference, ECDL '98, Heraklion, Crete, Cyprus, September 21-23, 1998 : proceedings / Christos Nikolaou, Constantine Stephanidis, eds. by ECDL '98 (2 ; 1998 ; Ērakleion, Greece) Nikolaou, Christos Stephanidis, Constantine Series: (Lecture notes in computer science ; 1513, Material type: Text; Format: print ; Literary form: Not fiction Publication details: Berlin : Springer, c1998 Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 1 (1)Call number: 004:02. Place hold Log in to add tags Add to cart (remove)
		Foundations of software technology and theoretical computer science : fourth conference, Bangalore, India, December 13 - 15, 1984 : proceedings / edited by Mathai Joseph and Rudrapatma Shyamasundar. by Joseph, Mathai [რედაქტორი] Shyamasundar, Rudrapatma [რედაქტორი] Series: Lecture notes in computer science ; 181 \| ; 181 \| ; 4.1984 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publisher: Berlin [a. o.] : Springer, 1984 Online resources: Inhaltsverzeichnis Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1). Log in to add tags Add to cart (remove)
		Foundations of computation theory : proceedings of the 1983 International FCT-Conference, Borgholm, Sweden, August 21-27, 1983 / edited by Marek Karpínski ; Organized by the Department of Computer and Information Science, Linköping University and Institute of Technology with the cooperation of the Departments of Computer Science and Mathematics, University of Bonn. by Karpínski, Marek, 1948- [რედაქტორი] Universitetet i Linköping Department of Computer and Information Science Series: Lecture notes in computer science ; 158 Material type: 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 (remove)
		Research and development in information retrieval : proceedings, Berlin, May 18-20, 1982 / edited by Gerard Salton and Hans-Jochen Schneider. by Salton, Gerard [რედაქტორი] Schneider, Hans-Jochen [რედაქტორი] Series: Lecture notes in computer science ; 146 Material type: 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 (remove)
		Logics of programs and their applications : proceedings, Poznan, August 23-29, 1980 / edited by A. Salwicki. by Salwicki, Andrzej [რედაქტორი] Series: Lecture notes in computer science ; 148 Material type: 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 (remove)
		Formalization of programming concepts : international colloquium, Peniscola, Spain, April 19-25, 1981 : proceedings / edited by J. Díaz and I. Ramos. by Díaz, J. (Josep), 1950- [რედაქტორი] Ramos, I. (Isidro), 1943- [რედაქტორი] International Colloquium on the Formalization of Programming Concepts (1981 : Peñíscola, Spain) Series: Lecture notes in computer science ; 107 Material type: 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 (remove)
		Abstract software specifications : 1979 Copenhagen Winter School, Janauary 22-February 2, 1979 : proceedings / edited by D. Bjørner. by Copenhagen Winter School on Abstract Software Specifications (1979) Bjørner, D. (Dines), 1937- [რედაქტორი] Commission of the European Communities Series: Lecture notes in computer science ; 86 Material type: 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 (remove)
		Theoretical computer science : 3rd GI conference, Darmstadt, March 28-30, 1977 / edited by H. Tzschach, H. Waldschmidt and H. K.-G. Walter on behalf of the GI. by Tzschach, H. G [რედაქტორი] Waldschmidt, Helmut [რედაქტორი] Walter, H. K.-G. (Hermann K.-G.), 1942- [რედაქტორი] Series: Lecture notes in computer science ; 48 Material type: Text; Format: print ; Literary form: Not fiction Language: English, French, German Publication details: Berlin ; New York : Springer-Verlag, 1977 Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 1 (1)Call number: 004. Place hold Log in to add tags Add to cart (remove)
		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 Samelson, K. (Klaus), 1918- [რედაქტორი] European Cooperation in Informatics (Organization) Series: Lecture notes in computer science ; 44 Material type: 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 (remove)

Not finding what you're looking for?

Make a purchase suggestion

Copyright © 2023 Sciencelib.ge All rights reserved.