Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)

Your search returned 2732 results. Subscribe to this search

|
781. EQUATIONAL LOGIC AS A PROGRAMMING LANGUAGE

by O'Donnell, Michael J.

Material type: book 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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).

Powered by Koha