|
4021.
|
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).
|
|
4022.
|
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).
|
|
4023.
|
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).
|
|
4024.
|
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).
|
|
4025.
|
CAUSATION, CHANCE AND CREDENCE
by Skyrms, Brian | | Harper, Williaml | . Description: .Publisher: Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 530.01 IN8C] (1).
|
|
4026.
|
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).
|
|
4027.
|
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).
|
|
4028.
|
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).
|
|
4029.
|
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).
|
|
4030.
|
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).
|
|
4031.
|
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).
|
|
4032.
|
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).
|
|
4033.
|
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).
|
|
4034.
|
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).
|
|
4035.
|
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).
|
|
4036.
|
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).
|
|
4037.
|
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).
|
|
4038.
|
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).
|
|
4039.
|
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).
|
|
4040.
|
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).
|