|
|
181.
|
STRUCTURED ANALYSIS
by Wsinberg, Victor. Material type:  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; 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; 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; 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; 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; 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; 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; 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; 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; 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; 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; 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; 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; 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.
|
INTRODUCTION TO FORTRAN IV PROGRAMMING
by Murrill, Paul W | Smith, Cecil L. Edition: 2ndMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: 389.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; 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; 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; 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; 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; 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).
|
