|
|
1021.
|
PROGRAM DEVELOPMENT BY SPECIFICATION AND TRANSFORMATION
by Hoffmann, Berthold | Krieg-Bruckner, Bernd. Material type:  Book Description: xiv,623.Publisher: Berlin Springer-Verlag c1993Online access: Click here to access online Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64 L497] (1).
|
|
|
1022.
|
NEURAL AND SYNERGETIC COMPUTERS
by Haken, Hermann. Material type: Book Description: viii,263.Publisher: Berlin Springer-Verlag c1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.353 N398] (1).
|
|
|
1023.
|
MICROCOMPUTER ARCHITECTURE AND PROGRAMMING
by Wakerly, John F. Material type: Book Description: xxii,762.Publisher: New York John Wiley c1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 W139m] (1).
|
|
|
1024.
|
Lecture notes in mathematics
: introduction to digital computer design:lectures given at the 1st session of the Centro internazionale matematico estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 /
by Homer, S | Odifreddi, Piergiorgio | Centro internazionale matematico estivo. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 162 p.Publisher: Berlin ; New York : Springer-Verlag, c1990Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.534 R453s] (1).
|
|
|
1025.
|
LOGIC GRAMMARS
by Abramson, Harvey | Dahl, Veronica. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv,234.Publisher: New York Springer-Verlag 1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 Ab83L] (1).
|
|
|
1026.
|
Natural language understanding
by Allen, James. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv, 574p.Publisher: Mento Park Benjamin/Cummings 1981Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 Al53n] (1).
|
|
|
1027.
|
ARTIFICIAL INTELLIGENCE PROGRAMMING ENVIRONMENTS
by Hawley, Robert. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 214.Publisher: Chichester Ellis Horwood 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 Ar77] (1).
|
|
|
1028.
|
DESIGNING ARTIFICIAL INTELLIGENCE BASED SOFTWARE
by Bahrami, A. Material type: Book Description: 271.Publisher: Wilmslow Sigma Press c1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 B148d] (1).
|
|
|
1030.
|
Meta-programming in logic programming
by Abramson, Harvey [ed.] | Rogers, M. H. [ed.]. Material type: Book Description: 544p.Publisher: Cambridge MIT Press c1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 M564] (1).
|
|
|
1031.
|
MICROPROCESSORS
by Dewar, Robert B. K | Smosna, Matthew. Material type: Book Description: xviii,462.Publisher: New York Mcgraw-Hill c1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 D512m] (1).
|
|
|
1032.
|
The armchair universe
: an exploration of Computer Worlds
by Dewdney, A. K. Material type: Book Description: xiii, 330p.Publisher: New York W. H. Freeman & Co. 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 D513a] (1).
|
|
|
1033.
|
MICROPROCESSORS AND INTERFACING PROGRAMMING AND HARDQARE
by Hall,Douglas V. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xiv,624.Publisher: Macmillan, Illinois 1991Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.26 H141M2] (1).
|
|
|
1034.
|
HIGH-LEVEL LANGUAGES AND THEIR COMPILERS
by Watson, Des. Material type: Book Description: xii,337.Publisher: Wokingham Addison-Wesley c1989Availability: No items available Withdrawn (1).
|
|
|
1035.
|
Constraint-based grammar formalisms
: parsing and type inference for natural and computer languages
by Shieber, Stuart M. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi,183p.Publisher: Cambridge Mit Press 1992Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 410.285 Sh61c] (1).
|
|
|
1036.
|
ACQUISITIONS SYSTEMS FOR LIBRARIES
by Desmarais, Norman. Material type: Book Description: xiii,246.Publisher: Westport Meckler c1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 025.30285 D463a] (1).
|
|
|
1037.
|
Essential guide to the library IBM PC
by Nelson, Nancy Melin. Material type: Book Description: xi, 252p.Publisher: Westport Meckler 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 025.30285 N335l] (1).
|
|
|
1038.
|
THE OPERATING SYSTEM
by Beiser, Karl. Material type: Book Description: xii,160.Publisher: Westport Meckler c1989Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 025.30285 B397o] (1).
|
|
|
1039.
|
DATABASE MANAGEMENT SYSTEMS
by Buckley, Jo Ann. Material type: Book Description: 211.Publisher: Wesport Meckler Pub. Corpn. c1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 025.30285 B856d] (1).
|
|
|
1040.
|
BUYING AND INSTALLING GENERIC SOFRWARE FO LIBRARY USE
by Dewey, Patrick R. Material type: Book Description: 111.Publisher: Westport Meckler Corpn. c1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 025.30285 D515b] (1).
|
