|
|
981.
|
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).
|
|
|
982.
|
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).
|
|
|
983.
|
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).
|
|
|
984.
|
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).
|
|
|
985.
|
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).
|
|
|
986.
|
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).
|
|
|
987.
|
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).
|
|
|
988.
|
NEURAL NETWORKS
by Brunak, Soren | Lautrup, Benny. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 180.Publisher: Singapore World Scientific 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64404 B835n] (1).
|
|
|
989.
|
OPERATING SYSTEMS CONCEPTS
by Silberschatz, Abraham | Galvin, Peter B. Edition: 3rdMaterial type: Book Description: xviii,696.Publisher: Reading, Mass. Addison-Wesley c1991Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.644 Si32o3] (1).
|
|
|
990.
|
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).
|
|
|
991.
|
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).
|
|
|
992.
|
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).
|
|
|
993.
|
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).
|
|
|
994.
|
ESSENTIAL CONCEPTS OF OPERATING SYSTEMS
by Yuen, C. K. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii,199.Publisher: Singapore Addison-Wesley 1986Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.644 Y9e] (1).
|
|
|
995.
|
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).
|
|
|
996.
|
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).
|
|
|
997.
|
ADAPTIVE PATTERN RECOGNITION AND NEURAL NETWORKS
by Pao, Yoh-Han. Material type: Book Description: xviii,309.Publisher: Reading, Mass. Addison-Wesley c1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64404 P196a] (1).
|
|
|
998.
|
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).
|
|
|
999.
|
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).
|
|
|
1000.
|
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).
|
