|
|
1121.
|
Mathematical Foundations of Computer Science : proceedings
by 9th Symposium on Mathematical Foundations of Computer Science 1980 Rydzyna, Poland 1980. Material type:  Book; Format:
print
; Literary form:
not fiction
Description: 723 p.Publisher: New York : Springer-Verlag; 1980Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497 V.88] (1).
|
|
|
1122.
|
Machines, languages, and complexity:meeting
by International Meeting of Young Computer Scientists(5th:1988:Smolenice, Slovakia) | Dassow, Jürgen, ed | Kelemen, Jozef, ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: vi, 244 p.Publisher: Berlin: New York; Springer-Verlag, c1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
|
1123.
|
Logic at Botik '89 : proceedings
by Symposium on logical foundations of computer science( 1989:Pereslavl-Zalessky, USSR) | Meyer, Albert R., ed | Taitslin, M. A., ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x, 289 p.Publisher: Berlin ; New York : Springer-Verlag, c1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497 V.363] (1).
|
|
|
1124.
|
Lecture notes in computer science (v.420): statistical and scientific database management
: fifth international conference, V SSDBM, Charlotte, N.C., USA, April 3-5, 1990 : proceedings
by (5th : International Working Conference on Statistical and Scientific Data Base Management Charlotte, N.C.) 1990 : | Michalewicz, Zbigniew. Material type: Book; Format:
print
; Literary form:
not fiction
Description: iv, 255 p.Publisher: Berlin ; New York : Springer-Verlag, 1990Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497 v.420] (1).
|
|
|
1125.
|
Lecture notes in computer science (v.425) Proceedings
by Algebraic Logic and Universal Algebra in Computer Science Conference Ames, Iowa) (1988 : | Bergman, C. H | Maddux, R. D | Pigozzi, Don. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi, 292 p.Publisher: New York : Springer-Verlag, 1990Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497 v.425] (1).
|
|
|
1126.
|
Lecture notes in computer science (v.416) Parallel computing, 1988
by Shell Conference Amsterdam, Netherlands 1988 | Zee, G. A. van | Vorst, J. G. G. van de. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 135 p.Publisher: New York : Springer-Verlag, c1989Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497 v.416] (1).
|
|
|
1127.
|
Lecture notes in computer science (v.384)Parallel computing, 1988
by Shell Conference Amsterdam, Netherlands 1988 | Zee, G. A. van | Vorst, J. G. G. van de. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 135 p.Publisher: New York Springer-Verlag 1989Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497 v.384] (1).
|
|
|
1128.
|
Lecture notes in computer science ESEC '89
: 2nd European Software Engineering Conference, University of Warwick, Coventry, UK, September, 11-15, 1989 : proceedings
by (2nd : European Software Engineering Conference University of Warwick) 1989 : | Ghezzi, Carlo | McDermid, John. Material type: Book; Format:
print
; Literary form:
not fiction
Description: vi, 496 p.Publisher: Berlin ; Springer-Verlag, c1989Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497 v.387] (1).
|
|
|
1129.
|
A formal model of visualization in computer graphics systems
by Onodera, Tamiya | Kawai, Satoru. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x, 100 p.Publisher: Berlin ; New York : Springer-Verlag, 1990Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497 v.421] (1).
|
|
|
1130.
|
Lecture notes in computer science CSL '88
: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings
by (2nd Workshop on Computer Science Logic Duisburg, Germany) 1988 | Börger, E | Kleine Büning, H | Richter, Michael M. Material type: Book; Format:
print
; Literary form:
not fiction
Description: vi, 399 p.Publisher: Berlin ; New York : Springer-Verlag, 1989Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497 v.385] (1).
|
