|
1681.
|
PROGRAMMING BY EXAMPLE
by Halbert, Daniel Conard. Material type: Book; Format:
print
; Literary form:
not fiction
Description: v,120.Publisher: Berkeley University Of California 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 H128p] (1).
|
|
1682.
|
PRINCIPLES OF CONCURRENT PROGRAMMING
by Ben-Ari, M. Material type: Book Description: xv,172.Publisher: Englewood Cliffs Prentice Hall c1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 B43p] (1).
|
|
1683.
|
Software engineering
: a practitioner's approach [2nd ed.]
by Pressman, Roger S. Edition: 2ndMaterial type: Book Description: xx, 567p.Publisher: New York McGraw-Hill 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 P926s2] (1).
|
|
1684.
|
PROGRAMMING BY DESIGN
: A FIRST COURSE IN STRUCTURED PROGRAMMING
by Miller, Philip L | Miller, Lee. W. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxi, 567p.Publisher: Belmont Wordsworth 1987Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 M617p] (1).
|
|
1685.
|
Formal development of programs and proofs
by Dijkstra, Edsger W. [Ed.]. Material type: Book Description: xiv, 242p.Publisher: Reading, Massachusetts Addison-Wesley 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 F765] (1).
|
|
1686.
|
SYSTEM SIMULATION PROGRAMMING STYLES AND LANGUAGES
by Kreutzer, Wolfgang. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi,366.Publisher: Sydney Addison-Wesley 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 003 K888s] (1).
|
|
1687.
|
DESIGNING EFFICIENT ALGORITHMS FOR PARALLEL COMPUTERS
by Quinn, Michael J. Material type: Book Description: xvi,288.Publisher: New York Mcgraw-Hill c1987Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.64404 Qu42d] (1).
|
|
1688.
|
ELECTRONIC DEVICES AND CIRCUITS
by Bogart, Theodore F. Edition: 2ndMaterial type: Book Description: xiii,965.Publisher: Columbus, Ohio Merril Pub. c1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.38132 B633e2] (1).
|
|
1689.
|
RECONFIGURABLE PROCESSOR-ARRAY
by Rushton, Andrew. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 175.Publisher: London Pitman 1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64404 R896r] (1).
|
|
1690.
|
COMPUTATIONAL CATEGORY THEORY
by Rydeheard, David E | Burstall, Rod M. Material type: Book Description: xiii,257.Publisher: New York Prentice Hall c1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 R972] (1).
|
|
1691.
|
Introduction to functional programming
by Bird, Richard | Wadler, Philip. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv, 293p.Publisher: New York Prentice Hall 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 B532i] (1).
|
|
1692.
|
STRUCTURED COMPUTER ORGANISATION
by Tanenbaum, Andrew S. Edition: 3rdMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xvii,587.Publisher: New Delhi Prentice Hall Of India 1990Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.642 T155s3] (1).
|
|
1693.
|
NORTON UTILITIES VERSION 4.0
by Evans, Richard. Material type: Book Description: xii,164.Publisher: Delhi Bpb Pub. c1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 Ev16n] (1).
|
|
1694.
|
Concurrency control in distributed database systems
by Cellary, Wojciech | Gelenbe, Erol | Morzy, Tadeusz. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvi, 349p.Publisher: Amsterdam North-Holland 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 C33c] (1).
|
|
1695.
|
Algebraic methods in semantics
by Nivat, Maurice | Nivat, Maurice, Ed. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv, 634p.Publisher: Cambridge Cambridge University Press 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 Al33] (1).
|
|
1696.
|
PARALLEL PROCESSING TECHNOLOGY AND APPLICATIONS
by Neishlos, H. Material type: Book; Format:
print
; Literary form:
not fiction
Description: vii,141.Publisher: Amsterdam Ios 1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64404 P212] (1).
|
|
1697.
|
PARALLEL ARCHITECTURES AND NEURAL NETWORKS
by Caianiello, E. R. Material type: Book Description: x,368.Publisher: Singapore World Scientific c1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64404 P212] (1).
|
|
1698.
|
ELECTROCERAMICS
by Moulson, A. J | Herbert, J. M. Material type: Book Description: xii,464.Publisher: London Chapman & Hall c1990Availability: No items available Checked out (1).
|
|
1699.
|
HANDBOOK OF ELECTRONICS PACKAGING DESIGN AND ENGINEERING
by Matisoff, Bernard S. Edition: 2ndMaterial type: Book Description: x,656.Publisher: New York Van Nostrand Reinhold c1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.381046 M427h2] (1).
|
|
1700.
|
Understanding Z : a specification language and its formal semantics
by Spivey, J. M. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii,131p.Publisher: Cambridge Cambridge University Press 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 Sp49u] (1).
|