|
|
8901.
|
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).
|
|
|
8902.
|
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).
|
|
|
8903.
|
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).
|
|
|
8904.
|
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).
|
|
|
8905.
|
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).
|
|
|
8906.
|
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).
|
|
|
8907.
|
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).
|
|
|
8908.
|
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).
|
|
|
8909.
|
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).
|
|
|
8910.
|
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).
|
|
|
8911.
|
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).
|
|
|
8912.
|
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).
|
|
|
8913.
|
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).
|
|
|
8914.
|
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).
|
|
|
8915.
|
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).
|
|
|
8916.
|
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).
|
|
|
8917.
|
BROWNIAN MOTION
by Hida, Takeyuki. Description: xvi,325, ,.Publisher: New York Springer-Verlag c1980Availability: No items available Checked out (1).
|
|
|
8918.
|
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).
|
|
|
8919.
|
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).
|
|
|
8920.
|
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).
|
