National Science Library of Georgia

Your search returned 43 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
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
Ada Software Tools Interfaces Workshop, Bath, July 13-15, 1983 : proceedings / edited by Peter J.L. Wallis. by Series: Lecture notes in computer science ; 180
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: German
Publication details: Berlin : Springer-Verlag, 1984
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
Computer algebra : EUROCAL '83, European Computer Algebra Conference, London, England, March 28-30, 1983 / edited by J.A. van Hulzen. by Series: Lecture notes in computer science ; 162
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
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
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
6th Conference on Automated Deduction, New York, USA, June 7-9, 1982 : proceedings / edited by D. W. Loveland. by Series: Lecture notes in computer science ; 138
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English Berlin ; New York : Springer-Verlag, 1982
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Log in to add tags Add to cart
Computer algebra : EUROCAM'82, European Computer Algebra Conference, Marseille, France, 5-7 April 1982 / edited by Jacques Calmet. by Series: Lecture notes in computer science ; 144
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
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
Pages
Not finding what you're looking for?
Copyright © 2023 Sciencelib.ge All rights reserved.