|
|
781.
|
EQUATIONAL LOGIC AS A PROGRAMMING LANGUAGE
by O'Donnell, Michael J. Material type:  Book; Format:
print
; Literary form:
not fiction
Description: 297.Publisher: Cambridge Mit Pr. 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 Ob5e] (1).
|
|
|
782.
|
FULL ABSTRACTION AND SEMANTIC EQUIVALENCE
by Mulmuley, Ketan. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 198.Publisher: Cambridge Mit Pr. 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 M918fa] (1).
|
|
|
783.
|
STANDARDISED DEVELOPMENT OF COMPUTER SOFTWARE
by Tausworthe, Robert C. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 379.Publisher: Englewood Cliffs, N. J. Prentice-Hall 1977Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 T196s] (1).
|
|
|
784.
|
ABSTRACTION AND SPECIFICATION IN PROGRAM DEVELOPMENT
by Liskov, Barbara | Guttag, John. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xv,469.Publisher: Cambridge Mit Press 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 L688a] (1).
|
|
|
785.
|
The art of computer programming [Vol. 2, 2nd ed.]
: Seminumerical algorithms
by Knuth, Donald E. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii, 688p.Publisher: Reading, Mass. Addison-Wesley 1981Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 K786a2 v.2 cop.1] (3).
|
|
|
786.
|
MICROPROGRAMMING TECHNIQUES
by Evans, Stainley J. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,229.Publisher: Reston Reston Pub. 1979Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.642 Ev15m] (1).
|
|
|
787.
|
Temporal logic of programs
by Kroger, Fred. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii, 148p.Publisher: Berlin Springer-Verlag 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 K914t] (1).
|
|
|
788.
|
COMPUTATIONAL COMPLEXITY OF SEQUENTIAL AND PARALLEL ALGORITHMS
by Kronsjo, Lydia. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,224.Publisher: Chichester John Wiley 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 K926c] (1).
|
|
|
789.
|
LOGIC PROGRAMMING AND ITS APPLICATIONS
by Van Caneghem, Michel | Warren, David H. D. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,318.Publisher: Norwood Ablex Pub. 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 L829v] (1).
|
|
|
790.
|
TOP DOWN STRUCTURED PROGRAMMING TECHNIQUES
by Mcgowan, Clement L | Kelly, John R. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 288.Publisher: New York Petro-Celli 1975Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 M177t] (1).
|
|
|
791.
|
McGRAW HILL PERSONAL COMPUTER PROGRAMMING ENCYCLOPEDIA
: LANGUAGES AND OPERATING SYSTEMS
by Birnes, William J. [ed.] | Hayfield, Nancy [ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii,696p.Publisher: New York Mcgraw-Hill 1985Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.642 Mc178] (1).
|
|
|
792.
|
FOUNDATIONS OF LOGIC PROGRAMMING
by Lloyd, J.W. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,124.Publisher: Berlin Springer-Verlag 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 L777f] (1).
|
|
|
793.
|
FOUNDATIONS OF LOGIC PROGRAMMING
by Lloyd, J.W. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 317.Publisher: Berlin Springer-Verlag 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 L777f] (1).
|
|
|
794.
|
Studies in operating systems
by McKeag, R. M | Wilson, R | Huxtable, D. H. R. [Ed.]. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x, 263p.Publisher: London Academic Press 1976Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 M193s] (1).
|
|
|
795.
|
Composite/Structured design
by Myers, Glenford J. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xii,174p.Publisher: New York Van Nostrand Reinhold 1978Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 M992c] (1).
|
|
|
796.
|
MANAGING A PROGRAMMING PROJECT
by Metzger, Philip W. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xi,244.Publisher: Englewood Cliffs Prentice-Hall 1981Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 M569m2] (1).
|
|
|
797.
|
SOFTWARE DESIGN FOR MINICOMPUTERS
by Ogdin, Carol Anne. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xi,196.Publisher: Englewood Cliffs Prentice-Hall 1978Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 Og2s] (1).
|
|
|
798.
|
INTRODUCTION TO OPERATING SYSTEMS
by Deitel, Harvey M. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xvii,673.Publisher: Reading, Mass. Addison Wesley 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 D368i] (1).
|
|
|
799.
|
OPERATING SYSTEMS
by Davis, William S. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xix,520.Publisher: Menlo Park Reading Mass. 1983Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 D299o2] (1).
|
|
|
800.
|
INTRODUCTION TO SOFTWARE QUALITY CONTROL
by Cho, Chin-Kuei. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxii,445.Publisher: New York John Wiley 1980Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 C345i] (1).
|
