|
|
1.
|
LECTURE NOTES IN COMPUTER SCIENCE
by Goos, G [ed.]. Material type:  Book; Format:
print
; Literary form:
not fiction
Description: 114p.Publisher: Berlin Springer-Verlag 1985Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
|
2.
|
LECTURE NOTES IN COMPUTER SCIENCE
by Goos, G [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 215p.Publisher: Berlin Springer-Verlag 1985Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
|
3.
|
LECTURE NOTES IN COMPUTER SCIENCE
by Goos, G [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 424p.Publisher: Berlin Springer-Verlag 1985Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
|
4.
|
LECTURE NOTES IN COMPUTER SCIENCE
by Goos, G [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 519p.Publisher: Berlin Springer-Verlag 1985Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
|
5.
|
LECTURE NOTES IN COMPUTER SCIENCE
by Goos, G [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 273p.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).
|
|
|
6.
|
LECTURE NOTES IN COMPUTER SCIENCE
by Goos, G [ed.] | Hartmanis, J [ed.]. 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).
|
|
|
7.
|
LECTURE NOTES IN COMPUTER SCIENCE
by Goos, G [ed.] | Hartmanis, J [ed.]. 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).
|
|
|
8.
|
Lecture notes in computer science
by Goos, G [ed.] | Hartmanis, J [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 498p.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).
|
|
|
9.
|
Lecture notes in computer science
by Goos, G [ed.] | Hartmanis, J [ed.]. 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).
|
|
|
10.
|
Lecture notes in computer science
by Goos, G. [ed.] | Hartmanis, J [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 395p.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).
|
|
|
11.
|
LECTURE NOTES IN COMPUTER SCIENCE
by Goos, G [ed.]. Material type: Book Description: xi, 581p.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).
|
|
|
12.
|
Lecture notes in computer science
by Goos, G [ed.] | Hartmanis, J [ed.]. Material type: Book Description: vi, 227p.Publisher: Berlin Springer-Verlag 1986Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
|
13.
|
MODULAR CONSTRUCTION AND PARTIAL ORDER SEMANTICS OF PETRI NETS
by Vogler, W. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,252.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).
|
|
|
14.
|
HYPEREDGE REPLACEMENT
by Habel, A. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi,214.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).
|
|
|
15.
|
RELATIONAL MATCHING
by Vosselman, G. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,190.Publisher: Barlin 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).
|
|
|
16.
|
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).
|
|
|
17.
|
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).
|
|
|
18.
|
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).
|
|
|
19.
|
LECTURE NOTES IN COMPUTER SCIENCE Vol. 885
: closed object boundaries from scattered points Material type: Book; Format:
print
; Literary form:
not fiction
Description: vi,144p.Publisher: Berlin Springer-Verlag 1994Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
|
20.
|
LECTURE NOTES IN COMPUTER SCIENCE Vol. 889
: towards a CSCW framework for scientific cooperation in Europe
by Lubich, Hannes P. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x, 268p.Publisher: Berlin Springer-Verlag 1995Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
