Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)

Your search returned 1145 results. Subscribe to this search

|
381. LIVE DATA STRUCTURES IN LOGIC PROGRAMS

by Mulkers, Anne.

Material type: book 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).

382. Lecture Notes In Computer Science : RECOGNIZING PLANAR OBJECTS USING INVVARIANT IMAGE FEATURES

by Reiss, Thomas H.

Material type: book Book Description: x,180p.Publisher: Berlin Springer-Verlag 1993Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).

383. LECTURE NOTES IN COMPUTER SCIENCE

by .

Material type: book 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).

384. 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 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).

385. SPECIFYING MESSAGE PASSING AND TIMECRITICAL SYSTEMS WITH TEMPORAL LOGIC

by Koymans, Ron.

Material type: book 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).

386. LECTURE NOTES IN COMPUTER SCIENCE

by .

Material type: book 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).

387. LECTURE NOTES IN COMPUTER SCIENCE

by .

Material type: book 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).

388. LECTURE NOTES IN COMPUTER SCIENCE

by .

Material type: book 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).

389. LECTURE NOTES IN COMPUTER SCIENCE

by .

Material type: book 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).

390. LECTURE NOTES IN COMPUTER SCIENCE

by .

Material type: book 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).

391. LECTURE NOTES IN COMPUTER SCIENCE

by .

Material type: book 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).

392. LECTURE NOTES IN COMPUTER SCIENCE

by .

Material type: book 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).

393. LECTURE NOTES IN COMPUTER SCIENCE

by Goos, G | Hartmanis, J.

Material type: book 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).

394. LECTURE NOTES IN COMPUTER SCIENCE

by Goos, G | Hartmanis, J.

Material type: book 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).

395. LECTURE NOTES IN COMPUTER SCIENCE

by Goos, G | Hartmanis, J.

Material type: book 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).

396. LECTURE NOTES IN COMPUTER SCIENCE

by Goos, G | Hartmanis, J.

Material type: book 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).

397. LECTURE NOTES IN COMPUTER SCIENCE

by Goos, G | Hartmanis, J.

Material type: book 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).

398. LECTURE NOTES IN COMPUTER SCIENCE

by Goos, G | Hartmanis, J.

Material type: book 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).

399. LECTURE NOTES IN COMPUTER SCIENCE

by Goos, G | Hartmanis, J.

Material type: book 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).

400. LECTURE NOTES IN COMPUTER SCIENCE

by Goos, G | Hartmanis, J.

Material type: book 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).

Powered by Koha