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

Your search returned 9441 results. Subscribe to this search

|
8901. CONSTRUCTIVITY IN COMPUTER SCIENCE

by Myers, J. P | Donnell, M. J. O | .

Description: x,246.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).

8902. NETWORK AND OPERATING SYSTEM SUPPORT FOR DIGITAL AUDIO AND VIDEO

by Herrtwich, R. G.

Description: xii,402.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).

8903. ECOOP `92

by Madsen, O. Lehrmann.

Description: x,426.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).

8904. APPLICATION AND THEORY OF THE PETRI NETS 1992

by Jenson, K.

Description: 398.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).

8905. ADVANCED DATABASE SYSTEMS

by Gray, P. M. D | Lucas, R. J | .

Description: x,260.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).

8906. LOGICAL FOUNDATIONS OF COMPUTER SCIENCE - TVER `92

by Nerode, A | Taitslin, M | .

Description: ix,514.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).

8907. META PROGRAMMING IN LOGIC

by Pettorossi, A.

Description: xii,351.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).

8908. ALOGRITHMS AND COMPUTATION

by Ibaraki, T.

Description: xi,510.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).

8909. COMPUTER SCIENCE LOGIC

by Borger, E.

Description: viii,428.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).

8910. MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 1992

by Havel, I. M | Koubek, V | .

Description: ix,521.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).

8911. CONCUR'92

by Cleaveland, W. R.

Description: 580.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).

8912. PROGRAMMING LANGUAGE IMPLEMENTATION AND LOGIC PROGRMMING

by Bruynooghe, M | Wirsing, M | .

Description: xi,492.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).

8913. ALGEBRAIC AND LOGIC PROGRAMMING

by Kirchner, H | Levi, G | .

Description: ix,457.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).

8914. FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE

by Shyamasundar, R.

Description: xiii,403.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).

8915. Nonlinear structures in physical systems : edited by Lui Lam and Hedley C. Morris

by Lam, Lui [ed.] | Morris, Hedleye [ed.].

Description: x, 330p.Publisher: New York Springer-Verlag 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.534 W87ln] (1).

8916. BROWNIAN MOTION

by Hida, Takeyuki.

Description: xvi,325, ,.Publisher: New York Springer-Verlag c1980Availability: No items available Checked out (1).

8917. STOCHASTIC STRUCTURAL DYNAMICS

by Lin, Y. K | Elishakoff, I | .

Description: xiii,356.Publisher: Berlin Springer-Verlag c1991Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 624.17 In8s] (1).

8918. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE : ARTIFICIAL INTELLIGENCE IN HIGHER EDUCATION ;V.451

Description: ix,247.Publisher: Springer-Verlag, Berlin c1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 L497] (1).

8919. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE : LOGICS IN AI ;V.478

Description: ix,561.Publisher: Springer-Verlag, Berlin c1991Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 L497] (1).

8920. LECTURE NOTES IN ARTIFICIAL INTELLIGENC : TRENDS ARTIFICIAL INTELLIGENCE ;V.549

Description: xiv,479.Publisher: Springer-Verlag, Berlin c1991Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 L497] (1).

Powered by Koha