|
|
4041.
|
LECTURE NOTES IN COMPUTER SCIENCE
by . Material type:  Book Description: 457.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).
|
|
|
4042.
|
LECTURE NOTES IN COMPUTER SCIENCE
by . Material type: Book Description: 214.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).
|
|
|
4043.
|
LECTURE NOTES IN COMPUTER SCIENCE
by . Material type: Book Description: ix,227.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).
|
|
|
4044.
|
LECTURE NOTES IN COMPUTER SCIENCE
by . Material type: Book Description: ix,367.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).
|
|
|
4045.
|
LECTURE NOTES IN COMPUTER SCIENCE
by . Material type: Book Description: vi,269.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).
|
|
|
4046.
|
LECTURE NOTES IN COMPUTER SCIENCE
by . Material type: Book Description: xvii,770.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).
|
|
|
4047.
|
LIVE DATA STRUCTURES IN LOGIC PROGRAMS
by Mulkers, Anne. Material type: Book Description: viii,211.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).
|
|
|
4048.
|
Lecture Notes In Computer Science
: RECOGNIZING PLANAR OBJECTS USING INVVARIANT IMAGE FEATURES
by Reiss, Thomas H. Material type: Book Description: x,180p.Publisher: Berlin Springer-Verlag 1993Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
|
4049.
|
LECTURE NOTES IN COMPUTER SCIENCE
by . Material type: Book Description: v,637.Publisher: Berlin Springer-Verlag c1992Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
|
4050.
|
Theories and methods of spatio-temporal reasoning in gepgraphic space: proceedings
by Frank, A. U | International conference GIS-from space to territory:theories and methods of spatio-temporal reasoning Pisa, italy September 1992 | Formentini, U., series ed., Campari,I. series ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi,431.Publisher: Berlin: Springer-Verlag, 1992Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497 V.639] (1).
|
|
|
4051.
|
SPECIFYING MESSAGE PASSING AND TIMECRITICAL SYSTEMS WITH TEMPORAL LOGIC
by Koymans, Ron. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 164.Publisher: Berlin Springer-Verlag 1992Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
|
4052.
|
LECTURE NOTES IN COMPUTER SCIENCE
by . Material type: Book Description: xiv,723.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).
|
|
|
4053.
|
LECTURE NOTES IN COMPUTER SCIENCE
by . Material type: Book Description: viii,659.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).
|
|
|
4054.
|
LECTURE NOTES IN COMPUTER SCIENCE
by . Material type: Book Description: xii,761.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).
|
|
|
4055.
|
LECTURE NOTES IN COMPUTER SCIENCE
by . Material type: Book Description: viii,378.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).
|
|
|
4056.
|
LECTURE NOTES IN COMPUTER SCIENCE
by . Material type: Book Description: xi,689.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).
|
|
|
4057.
|
LECTURE NOTES IN COMPUTER SCIENCE
by . Material type: Book Description: ix,418.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).
|
|
|
4058.
|
LECTURE NOTES IN COMPUTER SCIENCE
by . Material type: Book Description: ix,246.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).
|
|
|
4059.
|
THE KNOWLEDGE FRONTIER
by Cercone, Nick | Mccalla, Gordon. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxxv,512.Publisher: New York Springer-Verlag 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 K76] (1).
|
|
|
4060.
|
LECTURE NOTES IN COMPUTER SCIENCE
by Goos, G | Hartmanis, J. Material type: Book; Format:
print
; Literary form:
not fiction
Publisher: Berlin Springer-Verlag 1984Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
