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

Your search returned 366 results. Subscribe to this search

|
181. STRUCTURED ANALYSIS

by Wsinberg, Victor.

Material type: book Book; Format: print ; Literary form: not fiction Description: x,328.Publisher: Englewood Cliffs Prentice-Hall 1980Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 003 W43s] (1).

182. PROGRAM DESIGN CONCEPTS

by Philippakis, Andreas S | Kazmier, Leonard J.

Material type: book Book; Format: print ; Literary form: not fiction Description: vi,217.Publisher: New York Mcgraw-Hill 1985Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 P538p] (1).

183. 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).

184. 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).

185. 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).

186. 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).

187. 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).

188. 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).

189. 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).

190. 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).

191. 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).

192. 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).

193. 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).

194. SOFTWARE ENGINEERING

by Blank, J.

Material type: book Book; Format: print ; Literary form: not fiction Description: 241.Publisher: New York John Wiley 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 So23] (1).

195. Iintoduction to FORTRAN IV programming : a general approach [2nd ed.]

by Murrill, Paul W | Smith, Cecil L.

Edition: 2ndMaterial type: book Book; Format: print ; Literary form: not fiction Description: 389p.Publisher: New York Intext Educational Pub. 1975Availability: No items available Checked out (1).

196. PASCAL FOR PROGRAMMERS

by Eisenbach, Susan | Sadler, C.

Material type: book Book; Format: print ; Literary form: not fiction Description: ix,201.Publisher: Berlin Springer-Verlag 1981Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 Ei83p] (1).

197. LOGIC TOOLS FOR PROGRAMMING

by Pace, Philip | Pace, Larry.

Material type: book Book; Format: print ; Literary form: not fiction Description: xi,349.Publisher: Albany Delmar Pub. 1987Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.642 P114Lt] (1).

198. SOFTWARE ENGINEERING

by Pressman, Roger S.

Material type: book Book; Format: print ; Literary form: not fiction Description: xvi,352.Publisher: Auckland Mcgraw-Hill 1984Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.642 P926s] (1).

199. PROGRAMMING PROVERBS FOR FORTRAN PROGRAMMERS

by Ledgard, Henry F.

Material type: book Book; Format: print ; Literary form: not fiction Description: 130.Publisher: New Jersey Hayden 1975Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 L499p] (1).

200. COMPILER DESIGN THEORY

by Lewis, Philip M | Stearns, Richard E.

Material type: book Book; Format: print ; Literary form: not fiction Description: xx,657.Publisher: Reading, Mass. Addison-Wesley 1976Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 L588c] (1).

Powered by Koha