|
|
821.
|
Formal models in programming
: proceedings...
by IFIP TC2 Working Conference on the Role of Abstract Models in Information Processing Vienna, Austria 1985 | Neuhold, E. J. [ed.] | Chroust, G. [ed.]. Description: xix, 425p.Publisher: Amsterdam North-Holland 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 In8f] (1).
|
|
|
822.
|
COMPUTER PROGRAM SYNTHESIS METHODOLOGIES
by BIERMANN, ALAN W | GUIHO, GERARD. Description: ix,374.Publisher: Dordrecht D. Reidel Pub. 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 N214c] (1).
|
|
|
823.
|
CHEMICAL ENGINEERING PROGRESS SYMPOSIUM SERIES
: Material type:  Book; Format:
print
; Nature of contents:  Description: xvi,408.Publisher: Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 660.6 Am3s ] (1).
|
|
|
824.
|
CHEMICAL ENGINEERING PROGRESS SYMPOSIUM SERIES
: Material type: Book; Format:
print
; Nature of contents: Description: xvi,408.Publisher: Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 660.6 Am3s ] (1).
|
|
|
825.
|
CHEMICAL ENGINEERING PROGRESS SYMPOSIUM SERIES
: Material type: Book; Format:
print
; Nature of contents: Description: xvi,408.Publisher: Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 660.6 Am3s ] (1).
|
|
|
826.
|
Highly-level language computer architecture
by Chu, Yaohan. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii, 273p.Publisher: New York Academic 1975Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 C47] (1).
|
|
|
827.
|
Understanding computers and data processing
: today and tomorrow with BASIC
by Parker, Charles S. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xix, 523, 92, [32] p., [67] p. of plates.Publisher: New York Holt, Rinehart, and Winston c1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 P223u] (1).
|
|
|
828.
|
Simulating nonlinear circuits with Python power electronics
: an open-source simulator, based on Python
by Iyer, Shivkumar V. Description: xi, 215p.Publisher: Switzerland Springer 2018Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.395 Iy9s] (1).
|
|
|
829.
|
Digital logic and computer design
by Mano, M. Morris. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii, 612p.Publisher: New Delhi Prentice-Hall of India 1979Availability: No items available Checked out (1).
|
|
|
830.
|
Computer architecture
: a quantitative approach [6th ed.]
by Hennessy, John L | Patterson, David A. Edition: 6th ed. Description: xxix, 902p.Publisher: Amsterdam Elsevier 2019Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.22 H392c6 cop.1] (3).
|
