|
|
9721.
|
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).
|
|
|
9722.
|
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).
|
|
|
9723.
|
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).
|
|
|
9724.
|
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).
|
|
|
9725.
|
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).
|
|
|
9726.
|
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).
|
|
|
9727.
|
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).
|
|
|
9728.
|
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).
|
|
|
9729.
|
BROWNIAN MOTION
by Hida, Takeyuki. Description: xvi,325, ,.Publisher: New York Springer-Verlag c1980Availability: No items available Checked out (1).
|
|
|
9730.
|
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).
|
|
|
9731.
|
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).
|
|
|
9732.
|
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).
|
|
|
9733.
|
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).
|
|
|
9734.
|
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE
: RESOLUTION PRINCIPAL FOR A LOGIC WITH RESTRICTED QUANTIFIERS ;V.568 Description: x,116.Publisher: Springer-Verlag, Berlin c1991Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 L497] (1).
|
|
|
9735.
|
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE
: CONTEMPORARY KNOWLEDGE ENGINEERING AND COGNITION ;V.622 Description: ix,258.Publisher: Springer-Verlag, Berlin c1992Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 L497] (1).
|
|
|
9736.
|
3D IMAGING IN MEDICINE, ALGORITHMS SYSTEMS, APPLICATION
by Hohne, Karl Heinz | | Fuchs, Henry | | Pizer, Stephen M | . Description: ix,460.Publisher: Berlin Springer-Verlag c1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 610.28 N214t] (1).
|
|
|
9737.
|
Lecture notes in physics ; 387 : Flare Physics in Solar Activity Maximam 22
by International Solar-A Science Meeting ( 1990 : Tokyo ,Japan ) | Uchida , Y. Ed | . Material type:  Article Description: x , 360p.Publisher: New York Springer-Verlag 1991Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 530.08 L516] (1).
|
|
|
9738.
|
Lecture notes in Physics [V. 388]: Challenges to theories of the Structure of Moderate-Mass Stars.
: Proceedings of a Conference held at the Institute for Theoretical Physics University of California , Santa Barbara , CA , USA 19 - 22 June 1990; edited by D.Gough [and] J .Toomre.
by Conference On Challenges To Theories Of The Structure Of Moderate-Mass Stars (1990: Santa Barbara ) | Gough , D. , [ed.] | Toomre , J. , [ed.]. Material type: Article; Format:
print
; Literary form:
not fiction
Description: viii ,414p.Publisher: New York Springer-Verlag 1991Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 530.08 L516] (1).
|
|
|
9739.
|
Lecture Notes in Physics; 391: Relativistic hadrons in Cosmic Compact Objects
by Workshop On Relativistic Hadrons In Cosmic Compact Objects( 1990 : Pol | I. Zdziarski Andrzej A. , Ed. Ii. Sikora , Marek. , Ed | | ) | . Material type: Article Description: xii , 182p.Publisher: New York Springer - Verlag 1991Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 530.08 L516] (1).
|
|
|
9740.
|
SIGIR'94
: proceedings...
by 17th Conference on Research and Development Information Retrieval Dublin, Ireland 3-6 July 1994 | Croft, W. Bruce [ed.] | Van Rijsbergen, C. J. [ed.]. Description: 358p.Publisher: London Springer-Verlag 1994Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 025.52 An74s] (1).
|
