National Science Library of Georgia

Your search returned 38 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
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 Series: Lecture notes in computer science ; 1584
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin ; New York : Springer, 1999
Online resources:
Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 1 (1)Call number: 681.3 C-65.
Place hold Log in to add tags Add to cart
Categorical methods in computer science : with aspects from topology / Hartmut Ehrig ... [et al.],(eds.). by Series: Lecture notes in computer science ; 393
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin : Springer, 1989
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Log in to add tags Add to cart
LUCAS associative array processor : design, programming, and application studies / Christer Fernstrom, Ivan Kruzela, Bertil Svensson. by Series: Lecture notes in computer science ; 216
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin ; New York : Springer-Verlag, c1986
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Log in to add tags Add to cart
No cover image available
Advances in Petri Nets 1984 / ed. by G. Rozenberg. by Series: Lecture notes in computer science ; 188
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin : Springer-Verlag, 1985
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Log in to add tags Add to cart
Time series package (TSPack) / Francois S. Chaghaghi. by Series: Lecture notes in computer science ; 187
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin ; New York : Springer-Verlag, c1985
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Log in to add tags Add to cart
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 Series: Lecture notes in computer science ; 181 | ; 181 | ; 4.1984
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English Publisher: Berlin [a. o.] : Springer, 1984
Online resources:
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Log in to add tags Add to cart
Trees in algebra and programming : 8th colloquium, L'Aquila, March 9-11, 1983 : proceedings / CAAP '83 ; edited by G. Ausiello and M. Protasi. by Series: Lecture notes in computer science ; 159
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
CONLAN Report / by R. Piloty ... [et al.]. by Series: Lecture notes in computer science ; 151
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English Berlin ; Heidelberg : Springer, 1983
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Log in to add tags Add to cart
No cover image available
Cryptography : proceedings of the Workshop on Cryptography / Workshop on Cryptography. by Series: Lecture Notes in Computer Science ; 149
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English Berlin ; Heidelberg : Springer, 1983
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Log in to add tags Add to cart
DIANA : An Intermediate Language for Ada / edited by Gerhard Goos ... [et al.]. by Series: Lecture Notes in Computer Science ; 161
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: German Berlin : Springer-Verlag : Springer e-books, 1983
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Log in to add tags Add to cart
Research and development in information retrieval : proceedings, Berlin, May 18-20, 1982 / edited by Gerard Salton and Hans-Jochen Schneider. by Series: Lecture notes in computer science ; 146
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
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
RIMS Symposia on Software Science and Engineering : Kyoto, 1982 ; proceedings / edited by Eiichi Goto [a. o.] ; Kyōto Daigaku, Sūri Kaiseki Kenkyūsho. by Series: Lecture notes in computer science ; 147 | ; 147
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English Publisher: Berlin [a. o.] : Springer, 1983
Online resources:
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Log in to add tags Add to cart
An Attribute grammar for the semantic analysis of ADA / J. Uhl ... [et al.]. by Series: Lecture notes in computer science ; 139
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin ; New York : Springer-Verlag, 1982
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Log in to add tags Add to cart
Data base design techniques : Vol. 2 : Physical structures and applications: proceedings, Tokyo, November 1979 / edited by S.B. Yao ... [et al.] ; by Series: Lecture notes in computer science ; 133
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin : Springer-Verlag, 1982
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Log in to add tags Add to cart
Axiomatising the logic of computer programming / Robert Goldblatt. by Series: Lecture notes in computer science ; 130
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin ; New York : Springer-Verlag, 1982
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
Pages
Not finding what you're looking for?
Copyright © 2023 Sciencelib.ge All rights reserved.