|
|
1681.
|
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).
|
|
|
1682.
|
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).
|
|
|
1683.
|
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).
|
|
|
1684.
|
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).
|
|
|
1685.
|
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).
|
|
|
1686.
|
EXPERIMENTAL DISTRIBUTED SYSTEMS Description: xii,119.Publisher: Los Alamitos Ieee Computer Society Press c1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 In7e] (1).
|
|
|
1687.
|
FUTURE TRENDS`90 Description: xii,542.Publisher: Los Alamitos Ieee Computer Society Press 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 In7f] (1).
|
|
|
1688.
|
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).
|
|
|
1689.
|
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).
|
|
|
1690.
|
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).
|
|
|
1691.
|
THEORETICAL ASPECTS OF REASONING ABOUT KNOWLEDGE
by Vardi, Moshe Y. Description: viii,401.Publisher: Los Altos, Morgan Kaufmann c1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 C76t] (1).
|
|
|
1692.
|
ENERGY AND THE ENVIRONMENT INTO THE 1990'S
by Sayigh, A. A. M. Description: 5 v.Publisher: Oxford Pergamon 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 333.79 W893e] (1).
|
|
|
1693.
|
ENERGY AND THE ENVIRONMENT INTO THE 1990'S
by Sayigh, A. A. M. Description: 5 v.Publisher: Oxford Pergamon 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 333.79 W893e] (1).
|
|
|
1694.
|
ENERGY AND THE ENVIRONMENT INTO THE 1990'S
by Sayigh, A. A. M. [ed.]. Description: 5 v.Publisher: Oxford Pergamon 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 333.79 W893e] (1).
|
|
|
1695.
|
ENERGY AND THE ENVIRONMENT INTO THE 1990'S
by Sayigh, A. A. M. Description: 5 v.Publisher: Oxford Pergamon 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 333.79 W893e] (1).
|
|
|
1696.
|
ENERGY AND THE ENVIRONMENT INTO THE 1990'S
by Sayigh, A. A. M. Description: 5 v.Publisher: Oxford Pergamon 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 333.79 W893e] (1).
|
|
|
1697.
|
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).
|
|
|
1698.
|
ORDERED ALGEBRAIC STRUCTURES
by Martinez, Jorge. Description: xx,278.Publisher: Dordrecht Kluwer Academic Pub. c1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 512.2 C191o] (1).
|
|
|
1699.
|
ALGORITHMS FOR APPROXIMATION 11
by Mason, J. C | Cox, M. G | . Description: 514.Publisher: London Chapman & Hall c1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.4 In8a] (1).
|
|
|
1700.
|
OPERATOR ALGEBRA AND TOPOLOGY
by Arveson, W. B. Description: 196.Publisher: Harlow Longman Scientific & Technical 1992Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 512.92 Op2o] (1).
|
