|
|
1121.
|
Distributed computing and internet technology
: 5th international conference, ICDCIT 2008 New Delhi, India, December 10-12,2008 proceedings
by Parashar, Manish, Ed | . Material type:  Article Description: xii, 195p.Publisher: Berlin Springer-Verlag 2008Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.36 D633] (1).
|
|
|
1122.
|
Lecture notes in computer science
: programming languages and systems
by Ramalingam, G., Ed | . Material type: Article Description: x, 341p.Publisher: Berlin Springer-Verlag 2008Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
|
1123.
|
REWRITING TECHNIQUES AND APPLICATIONS
by KIRCHNER, CLAUDE. Description: xi,487.Publisher: Berlin Springer-Verlag c1993Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
|
1124.
|
Processing declarative knowledge :
: international workshop, PDK '91, Kaiserslautern, Germany, July 1-3, 1991 : proceedings /
by PDK '91 Kaiserslautern, Germany) (1991 : | Boley, H.,(ed.) | Richter, Michael M.,(ed.). Material type:  Book; Format:
print
; Literary form:
not fiction
Description: xii, 427 p.Publisher: Berlin ; New York : Springer-Verlag, c1991Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 v.567] (1).
|
|
|
1125.
|
Lecture notes in computer science [v.6]
: Matrix eigensystem routines- EISPACK guide
by Goos, Gerhard [ed.] | Karlsruhe [ed.] | Hartmanis, J. [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii, 150p.Publisher: Berlin Springer-Verlag 1974Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497 v.6 set 2] (1).
|
|
|
1126.
|
ICDT '88
: 2nd International Conference on Database Theory
by 2nd : International Conference on Database Theory Bruges, Belgium 1988 ; | Gyssens, M., series ed | Paredaens, Jan, series ed | Van Gucht, D., series ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: vi, 409 p.Publisher: Berlin ; New York : Springer-Verlag, c1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497 V.326] (1).
|
|
|
1127.
|
Expert systems in engineering
: principles and applications
by International workshop Vienna, Austria September,1990 | Gottlob, G., series ed | Nejdl, W., series ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: ix, 260 p.Publisher: Berlin ; New York : Springer-Verlag, c1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 l497 V. 462] (1).
|
|
|
1128.
|
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).
|
|
|
1129.
|
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).
|
|
|
1130.
|
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).
|
|
|
1131.
|
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).
|
|
|
1132.
|
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).
|
|
|
1133.
|
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).
|
|
|
1134.
|
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).
|
|
|
1135.
|
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).
|
|
|
1136.
|
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).
|
|
|
1137.
|
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).
|
