|
|
5101.
|
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).
|
|
|
5102.
|
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).
|
|
|
5103.
|
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).
|
|
|
5104.
|
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).
|
|
|
5105.
|
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).
|
|
|
5106.
|
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).
|
|
|
5107.
|
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).
|
|
|
5108.
|
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).
|
|
|
5109.
|
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).
|
|
|
5110.
|
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).
|
|
|
5111.
|
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).
|
|
|
5112.
|
SCIENTIFIC APPLICATIONS OF THE CONNECTION MACHINE
by Simon, Horst D. Description: ix,354.Publisher: Singapore World Scientific 1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 C76s] (1).
|
|
|
5113.
|
PROCEEDINGS OF THE SIXTH INTERNATIONAL WORKSHOP ON MACHINE LEARNING, JUNE 26-27, 1989, CORNELL UNIV, ITHACA
by Serge, Alberto Maria. Description: ix,510.Publisher: San Mateo Morgan Kaufman Pub. c1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 In8p] (1).
|
|
|
5114.
|
Privatisation, options and challenges in the context of comparative advantage of public & private enterpises model
: proceedings of the International Workshop on Comparative Advantage of Enterprise Models and Privatisation held in New Delhi, India
by International Workshop on Comparative Advantage of Enterpise Models and Privatisation (1991 : New Delhi, India) | Mohnot, Sohan Raj | Centre for Industrial & Economic Research (New Delhi, India) Interregional Programmes. Interregional Network on Privatisation. United Nations Development Programme. Division for Global and. Description: xii, 418 p.Publisher: New Delhi Industrial Techno-Economic Service P. Ltd. for and on behalf of Centre for Industrial and Economic Research 1991Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 338.61 In8p] (1).
|
|
|
5115.
|
EVIRONMENT AND HEALTH Description: x,154.Publisher: Copenhagen World Health Organization c1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 363.70526 Eu74] (1).
|
|
|
5116.
|
BIBLIOGRAPHIC DATABASES AND NETWORKS
by Moorthy, S. S | Ravi, Anuradha | . Description: 1v.Publisher: New Delhi Tata Mcgraw - Hill c1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 025.3 In8b] (1).
|
|
|
5117.
|
POSITRON ANNIHILATION
by Jain, P. C | Singru, R. M | . Description: xlii,1048.Publisher: Singapore World Scientific 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 539.7214 In8p] (1).
|
|
|
5118.
|
ENVIRONMENTAL CONFERENCE AND COMMUNICATION SYSTEMS
by Hutzinger, O | Fiedler, H | . Description: ix,292.Publisher: Philadelphia Gordon And Breach c1991Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 574.5222 In8e] (1).
|
|
|
5119.
|
Computer simulation in materials science
: interatomic potentials, simulation techniques and applications
by Meyer, Madeleine, ed | Ponlikis, Vassilis, ed. Description: x, 548p.Publisher: Dordrecht Kluwer Academic Pub. c1991Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 620.110113 N214c 1991] (1).
|
|
|
5120.
|
Fifty-Sixth Research and Development Session
: proceedings...
by 56th Research and Development Session Jaipur 1990. Description: 187p.Publisher: New Delhi Central Board Of Irrigation & Power 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 627 C333] (1).
|
