|
4221.
|
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).
|
|
4222.
|
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).
|
|
4223.
|
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).
|
|
4224.
|
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).
|
|
4225.
|
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).
|
|
4226.
|
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).
|
|
4227.
|
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).
|
|
4228.
|
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).
|
|
4229.
|
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).
|
|
4230.
|
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).
|
|
4231.
|
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).
|
|
4232.
|
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).
|
|
4233.
|
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).
|
|
4234.
|
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).
|
|
4235.
|
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).
|
|
4236.
|
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).
|
|
4237.
|
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).
|
|
4238.
|
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).
|
|
4239.
|
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).
|
|
4240.
|
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).
|