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

Your search returned 16164 results. Subscribe to this search

|
13101. APPLICATIONS OF LASER ANEMOMETRY TO FLUID MECHANICS

by Adrian, R. J.

Description: x,534.Publisher: Berlin Springer-Verlag c1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.3660287 In8s] (1).

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

13103. Boundary-layer separation : proceedings...

by IUTAM Symposium London 1986 | Smith, F.T., Ed | Brown, S.N., Ed.

Description: xvi, 412p.Publisher: Berlin Springer-Verlag 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 532.0527 B665] (1).

13104. COMPUTATIONAL METHODS IN FIELD THEORY

by Gausterer, H | Lang, C. B | .

Description: vii,274.Publisher: Berlin Springer -- Verlag 1992Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 530.08 L516] (1).

13105. LOGIC PROGRAMMING IN ACTION

by Comyn, G | Fuchs, N. E | .

Description: x,324.Publisher: Berlin Springer - Verlag 1992Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 L497] (1).

13106. ALOGRITHM THEORY -- SWAT '92

by Nurmi, O | Ukkonen, E | .

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

13107. AUTOMATA, LANGUAGES AND PROGRAMMING

by Kuich, W.

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

13108. PARALLEL PROCESSING

by Bouge, L.

Description: xvii,853.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).

13109. SOFTWARE PROCESS TECHNOLOGY

by Derniame, J. C.

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

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

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

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

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

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

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

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

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

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

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

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

Powered by Koha