|
861.
|
NINTH COLLOQUIUM ON TREES IN ALGEBRA AND PROGRAMMING
by COURCELLE, B [ed.]. Description: 326p.Publisher: Cambridge University 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.5 C698] (1).
|
|
862.
|
DATA COMMUNICATIONS IN THE ISDN ERA
: IFIP TC6 INTERNATIONAL CONFERENCE ON DATA COMMUNICATIONS IN THE ISDN ERA (1985 : TEL-AVIV)
by PERRY, Y [ed.]. Description: viii, 187p.Publisher: Amsterdam North-Holland 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64404 In8d] (1).
|
|
863.
|
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).
|
|
864.
|
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).
|
|
865.
|
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).
|
|
866.
|
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).
|
|
867.
|
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).
|
|
868.
|
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).
|
|
869.
|
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).
|
|
870.
|
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).
|
|
871.
|
Finite state machine datapath design, optimization, and implementation
: [electronic resource] /
by Davis, Justin S 1975- | Reese, Robert B. (Robert Bryan) 1958-. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 electronic text (ix, 113 p. : ill.) : digital file.Publisher: San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool Publishers, c2008Online access: Abstract with links to resource | Abstract with links to full text Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
872.
|
High-speed digital system design
: [electronic resource] /
by Davis, Justin S 1975-. Edition: 1st ed.Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 electronic text (viii, 87 p. : ill.) : digital file.Publisher: San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool Publishers, c2006Online access: Abstract with links to resource | Abstract with links to full text Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
873.
|
Introduction to logic synthesis using Verilog HDL
: [electronic resource] /
by Reese, Robert B. (Robert Bryan) 1958- | Thornton, Mitchell Aaron. Edition: 1st ed.Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 electronic text (vii, 75 p. : ill.) : digital file.Publisher: San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool Publishers, c2006Online access: Abstract with links to resource | Abstract with links to full text Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
874.
|
Power-efficient computer architectures :
: recent advances /
by Själander, Magnus 1977-, [author.] | Martonosi, Margaret [author.] | Kaxiras, Stefanos [author.]. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 PDF (xi, 84 pages) : illustrations.Publisher: San Rafael, California (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, 2015.Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
875.
|
Logic and computer design fundamentals [4th ed.] [Perpetual access till 2027]
by Mano, M. Morris R | Charles R. Kime. Edition: 4th ed. Publisher: Pearson Education 2008Online access: Click here to access online | Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.392 M317l4] (1).
|
|
876.
|
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).
|
|
877.
|
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).
|