|
481.
|
THE ARCHITECTURE OF SYMBOLIC COMPUTERS
by Kogge, Peter M. Material type: Book Description: xxi,739.Publisher: New York Mcgraw-Hill c1991Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.535 K822a] (1).
|
|
482.
|
ACHIEVING SAFETY AND RELIABILITY WITH COMPUTER SYSTEMS
by Daniels, B.K. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv,293.Publisher: London Elsevier 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 Ac46] (1).
|
|
483.
|
THE LOGICAL BASIS FOR COMPUTER PROGRAMMING
by Manna, Zohar | Waldinger, Richard. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 2 v.Publisher: Reading, Mass. Addison-Wesley 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.7 M315L] (1).
|
|
484.
|
STRUCTURAL COMPLEXITY I
by Balcazar, Josh Luis | Cgabarro, Joaquim. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 2 v.Publisher: Berlin Springer-Verlag 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.4 B189s] (1).
|
|
485.
|
GENETIC PROGRAMMING
by Koza,John R. Material type: Book Description: xiv,819.Publisher: Mit Press, Cambridge c1992Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.3 K849G] (1).
|
|
486.
|
STRUCTURAL COMPLEXITY II
by Balcazar, Josh Luis | Cgabarro, Joaquim. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 2 v.Publisher: Berlin Springer-Verlag 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.4 B189s] (1).
|
|
487.
|
ALGORITHMS
by Kronsjo, Lydia. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xiii,363.Publisher: Chichester Wiley 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.4 K926a2] (1).
|
|
488.
|
WARREN'S ABSTRACT MACHINE
: Hassan Ait-Kaci
by Ait-Kaci, Hassan. Material type: Book Description: xvi,114p.Publisher: Cambridge MIT Press 1991Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.3 AI93w] (1).
|
|
489.
|
VLSI ARCHITECTURE FOR CONCURRENT DATA STRUCTURES
by Dally, William J. Material type: Book Description: xvi,243.Publisher: Boston Academic Pub. c1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.395 D167v] (1).
|
|
490.
|
COOLING TECHNOLOGY FOR ELECTRONIC EQUIPMENT
by Aung, Win. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiv,838.Publisher: New York Hemisphere 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 621.39 C779] (1).
|
|
491.
|
SPECIFICATION OF COMPUTER PROGRAMS
by Turski, Wladyslaw M | Maibaun, Thomas S. E. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,278.Publisher: Wokingham Addison-Wesley 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 T869s] (1).
|
|
492.
|
Logic and computer science
by Odifreddi, Piergiorgio [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii, 430p.Publisher: London Academic Press 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 L829] (1).
|
|
493.
|
Structured computer organization [3rd ed.]
by Tanenbaum, Andrew S. Edition: 3rdMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xvii, 587p.Publisher: New Delhi Prentice Hall Of India 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 T155s3] (2).
|
|
494.
|
Structured computer organization [3rd ed.]
by Tanenbaum, Andrew S. Edition: 3rdMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xvii, 587p.Publisher: New Delhi Prentice Hall Of India 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 T155s3 Cop.3] (1).
|
|
495.
|
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).
|
|
496.
|
INTRODUCTION TO ALGORITHMS
by Cormen,Thomas H., Leiserson,Charles E | Rivest,Ronald L. Material type: Book Description: xvii,1028.Publisher: Mit Press, Cambridge c1990Availability: No items available Checked out (1).
|
|
497.
|
INTRODUCTION TO ALGORITHMS
by Cormen,Thomas H., Leiserson,Charles E | Rivest,Ronald L. Material type: Book Description: xvii,1028.Publisher: Mit Press, Cambridge c1990Availability: No items available Checked out (1).
|
|
498.
|
INTRODUCTION TO ALGORITHMS
by Cormen,Thomas H., Leiserson,Charles E | Rivest,Ronald L. Material type: Book Description: xvii,1028.Publisher: Mit Press, Cambridge c1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1 C814I] (1).
|
|
499.
|
INTRODUCTION TO ALGORITHMS
by Cormen,Thomas H., Leiserson,Charles E | Rivest,Ronald L. Material type: Book Description: xvii,1028.Publisher: Mit Press, Cambridge c1990Availability: No items available Checked out (1).
|
|
500.
|
INTRODUCTION TO ALGORITHMS
by Cormen,Thomas H., Leiserson,Charles E | Rivest,Ronald L. Material type: Book Description: xvii,1028.Publisher: Mit Press, Cambridge c1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1 C814I] (1).
|