|
|
13121.
|
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).
|
|
|
13122.
|
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).
|
|
|
13123.
|
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).
|
|
|
13124.
|
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).
|
|
|
13125.
|
BROWNIAN MOTION
by Hida, Takeyuki. Description: xvi,325, ,.Publisher: New York Springer-Verlag c1980Availability: No items available Checked out (1).
|
|
|
13126.
|
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).
|
|
|
13127.
|
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).
|
|
|
13128.
|
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).
|
|
|
13129.
|
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).
|
|
|
13130.
|
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).
|
|
|
13131.
|
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).
|
|
|
13132.
|
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).
|
|
|
13133.
|
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).
|
|
|
13134.
|
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).
|
|
|
13135.
|
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).
|
|
|
13136.
|
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).
|
|
|
13137.
|
INTERFACES TO DATABASES (IDS-3)
by Jessie No Kennedy,Peter J. Barclay | Kennedy,Jessie | | Rijsbergen,C.J. Van | | Barclay,Peter J | . Description: 8.Publisher: Springer-Verlag, Berlin 1996Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 025.04 IN8K] (1).
|
|
|
13138.
|
NITRATE CONTAMINATION
by Bogardi,Istvan | | Kuzelka,Robert D | | Istvan No Bogardi,Robert D. Kuzelka | . Description: xii,520.Publisher: Springer-Verlag, Berlin c1991Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 628.168 N214] (1).
|
|
|
13139.
|
Middleware'98
: proceedings ...
by IFIP International Conference on Distributed Systems Platforms and Open Distributed Processing | Davies, Nigel, Ed | | Raymond, Kerry, Ed | | Seitz, Jochen, Ed | . Description: xiv, 476p.Publisher: London Springer-Verlag 1998Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.36 In8m] (1).
|
|
|
13140.
|
PROGRESS IN SYSTEM AND ROBOT ANALYSIS AND CONTROL DESIGN
by Tzafestas,S. G | | Schmidt,G | | S. G. Tzafestas,G. No Schmidt | . Description: xxvii,588.Publisher: Springer-Verlag, London 1999Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 629.892 EU74] (1).
|
