|
5341.
|
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).
|
|
5342.
|
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).
|
|
5343.
|
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).
|
|
5344.
|
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).
|
|
5345.
|
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).
|
|
5346.
|
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).
|
|
5347.
|
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).
|
|
5348.
|
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).
|
|
5349.
|
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).
|
|
5350.
|
ARTIFICIAL NEURAL NETWORKS Description: xi,405.Publisher: London Institution Of Electrical Engineers c1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.353 In8i] (1).
|
|
5351.
|
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).
|
|
5352.
|
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).
|
|
5353.
|
EC3-ENERGY, COMPUTER, COMMUNICATION AND CONTROL SYSTEMS Description: 3 v.Publisher: Bangalore Institute Of Electrical And Electronics Engineers 1991Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 629.895 In8e] (1).
|
|
5354.
|
ADVANCED GEOMETRIC MODELLING FOR ENGINEERING APPLICATIONS
by Krause, F. L | | Jansen, H | . Description: x,457.Publisher: Amsterdam North-Holland 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 620.00285 In8a] (1).
|
|
5355.
|
DESIGN AUTOMATION Description: .Publisher: Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 D46] (1).
|
|
5356.
|
COMPILER CONSTRUCTION
by Kastens, U | | Pfahler, P | . Description: .Publisher: Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
5357.
|
Distributed memory computing conference (Vol.2)
: Proceedings...
by Distributed Memory Computing Conference (5th, 1990, South Carolina) | Walker, David W. ,Ed | . Description: xxx, 630p-1474p.Publisher: California Ieee Computer Society Press 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 D633p] (2).
|
|
5358.
|
Computer science
: proceeding ...
by ACM Annual Computer Science Conference. Description: xxix, 709p.Publisher: New York Association For Computing Machinery 1991Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 As78p] (1).
|
|
5359.
|
Distributed memory computing conference (Vol.1)
: proceedings ...
by Distributed Memory Computing Conference (5th, 1990, South Carolina) | Walker, David W., Ed | Stout, Quentin F., Ed | . Description: xxx, 628p.Publisher: California Ieee Computer Society Press 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 D633p] (2).
|
|
5360.
|
MODELLING AND SIMULATION; PROCEEDINGS
by C. R. Burrows,K. A. Edge | Burrows,C. R | | Edge,K. A | . Description: xii,299.Publisher: John Wiley,New York c1994Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 620.106 B32M] (1).
|