|
|
481.
|
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).
|
|
|
482.
|
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).
|
|
|
483.
|
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).
|
|
|
484.
|
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).
|
|
|
485.
|
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).
|
|
|
486.
|
COMPUTER SCIENCE LOGO STYLE
by Harvey, Brian. Material type: Book; Format:
print
; Literary form:
not fiction
Description: v.Publisher: Cambridge Mit Pr. 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 H262c] (1).
|
|
|
487.
|
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 Cop.3] (1).
|
|
|
488.
|
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 Cop.4] (1).
|
|
|
489.
|
PROGRAMMING LANGUAGE CONCEPTS AND PARADIGMS
by Watt, David A. Material type: Book Description: xvi,322.Publisher: New York Prentice Hall c1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 W34p] (1).
|
|
|
490.
|
LOGIC DESIGN OF DIGITAL SYSTEMS
by Dietmeyer, Donald L. Edition: 3rdMaterial type: Book Description: xii,638.Publisher: Boston Allyn And Bacon c1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.381958 D567L3] (1).
|
|
|
491.
|
Digital systems from gates to microprocessors
by Bose,Sanjay K. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvi 432.Publisher: Wiley Eastern,New Delhi 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.381958 B651d] (1).
|
|
|
492.
|
ART OF COMPUTER SYSTEMS PERFORMANCE ANALYSIS
by Jain, Raj. Material type: Book Description: xxvii,685.Publisher: New York John Wiley c1991Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 004.24 J199a] (1).
|
|
|
493.
|
Computers today
by Sanders, Donald H. Edition: 3rdMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xxix, 640p.Publisher: New York Mcgraw-Hill 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 SA56c3] (3).
|
|
|
494.
|
HANDBOOK OF ADVANCED SEMICONDUCTOR TECHNOLOGY AND COMPUTER SYSTEMS
by Rabbat, Guy. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xviii,941.Publisher: New York Van Nostrand Reinhold 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.395 H191] (1).
|
|
|
495.
|
TOPICS IN DISTRIBUTED ALGORITHMS
by Tel, Gerard. Material type: Book; Literary form: Publisher: Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.8 T285T] (1).
|
|
|
496.
|
STOCHASTIC ANALYSIS OF COMPUTER AND COMMUNICATION SYSTEMS
by Takagi, Hideaki. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,862.Publisher: Amsterdam North-Holland 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 003 St62] (1).
|
|
|
497.
|
Principles of functional programming
by Glaser, Hugh | Hankin, Chris | Till, David. Material type: Book; Literary form: Description: xi, 251p.Publisher: Englewood Cliffs, New Jersey Prentice Hall 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 G462p] (1).
|
|
|
498.
|
DYNAMIC, GENETIC AND CHAOTIC PROGRAMMING
by Soucek, Branko | Iris Group. Material type: Book; Literary form: Publisher: Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1 SO81D] (1).
|
|
|
499.
|
PASCAL AN INTRODUCTION TO THE ART AND SCIENCE OF PROGRAMMING
by Savitch, Walter J. Edition: 3rdMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xxv, 671p.Publisher: Redwood City, Ca. Benjamin/Cummings, 1991Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.133 SA94P3] (1).
|
|
|
500.
|
INTRODECTORY PROBABILITY AND STATISTICAL APPLICATIONS
by Meyer.P.L. Material type: Book Description: vi,426.Publisher: Auckland Mcgraw-Hill c1980Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.1 M575I2] (1).
|
