|
|
981.
|
Computer science
: proceeding ...
by ACM Twelfth Annual Computer Science Conference. Description: x, 200p.Publisher: New York Association For Computing Machinery 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 As78] (1).
|
|
|
982.
|
ADVANCES IN ARTIFICIAL INTELLIGENCE-II
by Boulay, Bendu [ed.] | Hogg, David [ed.]. Description: xiv, 682p.Publisher: Amsterdan North-Holland 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 E74a] (1).
|
|
|
983.
|
Computer science
by ACM Fifteenth Annual Computer Science Conference. Description: xx, 473p.Publisher: New York Association For Computing Machinery 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 As78] (1).
|
|
|
984.
|
EXPERT SYSTEMS AND ADVANCED DATA PROCESSING
by Emrich, M. L | Sadlowe, A. Robert | . Description: x,946.Publisher: New York North-Holland c1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 C76e] (1).
|
|
|
985.
|
SEVENTEENTH ANNUAL ACM COMPUTER SCIENCE CONFERENCE Description: xix,491.Publisher: New York Association For Computing Machinery 1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 An78s] (1).
|
|
|
986.
|
RESEARCH AND DEVELOPMENT IN EXPERT SYSTEM V
by Kell, B | | Rector, A. L | . Description: .Publisher: Cambridge Cambridge Univ. Pr. 1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.33 R311] (1).
|
|
|
987.
|
ALOGRITHM THEORY -- SWAT '92
by Nurmi, O | Ukkonen, E | . Description: viii,433.Publisher: Barlin 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).
|
|
|
988.
|
TRANSPUTER/OCCAM JAPAN 3
by Kunii, T. L | May, D | . Description: ix,308.Publisher: Amsterdam Ios 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 T687] (1).
|
|
|
989.
|
AUTOMATA, LANGUAGES AND PROGRAMMING
by Kuich, W. Description: xii,719.Publisher: Barlin 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).
|
|
|
990.
|
PARALLEL PROCESSING
by Bouge, L. Description: xvii,853.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).
|
|
|
991.
|
SOFTWARE PROCESS TECHNOLOGY
by Derniame, J. C. Description: viii,253.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).
|
|
|
992.
|
CONSTRUCTIVITY IN COMPUTER SCIENCE
by Myers, J. P | Donnell, M. J. O | . Description: x,246.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).
|
|
|
993.
|
NETWORK AND OPERATING SYSTEM SUPPORT FOR DIGITAL AUDIO AND VIDEO
by Herrtwich, R. G. Description: xii,402.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).
|
|
|
994.
|
ECOOP `92
by Madsen, O. Lehrmann. Description: x,426.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).
|
|
|
995.
|
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).
|
|
|
996.
|
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).
|
|
|
997.
|
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).
|
|
|
998.
|
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).
|
|
|
999.
|
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).
|
|
|
1000.
|
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).
|
