|
|
1721.
|
Timesharing system design concepts
by Watson, Richard W. Description: xviii,270p.Publisher: New York Mcgraw-Hill 1970Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 651.8 W337t] (1).
|
|
|
1722.
|
HUMAN AND ARTIFICIAL INTELLIGENCE
by Klix, Friedhard. Description: 227.Publisher: Amsterdam North-Holland 1979Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 In8h] (1).
|
|
|
1723.
|
Linguistic structures processing
by Zampolli, Antonio, Ed. Description: xii, 585p.Publisher: Amsterdam North Holland 1977Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 410.2854 In8l] (1).
|
|
|
1724.
|
DATA BASE FILE ORGANIZATION
by Ghosh, Sakti P [ed.] | Kambayashi, Yahiko [ed.]. Description: x, 352p.Publisher: New York Academic Press 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 C76d] (1).
|
|
|
1725.
|
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).
|
|
|
1726.
|
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).
|
|
|
1727.
|
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).
|
|
|
1728.
|
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).
|
|
|
1729.
|
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).
|
|
|
1730.
|
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).
|
|
|
1731.
|
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).
|
|
|
1732.
|
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).
|
|
|
1733.
|
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).
|
|
|
1734.
|
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).
|
|
|
1735.
|
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).
|
|
|
1736.
|
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).
|
|
|
1737.
|
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).
|
|
|
1738.
|
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).
|
|
|
1739.
|
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).
|
|
|
1740.
|
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).
|
