|
|
1381.
|
PARALLEL LOGIC PROGRAMMING IN PROLOG
by Gregory, Steve. Material type:  Book; Format:
print
; Literary form:
not fiction
Description: x,217.Publisher: Wokingham Addison-Wesley 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 G862p] (1).
|
|
|
1382.
|
PROGRAMMING LANGUAGES, DESIGN AND IMPLEMENTATION
by Pratt, Terrence W. Material type: Book; Format:
print
; Literary form:
not fiction
Description: 530.Publisher: Englewood Cliffs, N. J. Prentice-Hall 1975Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 P889p] (1).
|
|
|
1383.
|
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).
|
|
|
1384.
|
FORMAL SPECIFICATION OF PROGRAMMING LANGUAGES
by Pagan, Frank G. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,245.Publisher: Englewood Cliffs Prentice-Hall 1981Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 P14f] (1).
|
|
|
1385.
|
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).
|
|
|
1386.
|
PROGRAMMING LANGUAGE STRUCTURES
by Organick, Elliott I | Plummer, Robert P. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xviii,659.Publisher: New York Academic Press 1978Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 Or3p] (1).
|
|
|
1387.
|
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).
|
|
|
1388.
|
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).
|
|
|
1389.
|
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).
|
|
|
1390.
|
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).
|
|
|
1391.
|
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).
|
|
|
1392.
|
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).
|
|
|
1393.
|
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).
|
|
|
1394.
|
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).
|
|
|
1395.
|
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).
|
|
|
1396.
|
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).
|
|
|
1397.
|
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).
|
|
|
1398.
|
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).
|
|
|
1399.
|
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).
|
|
|
1400.
|
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).
|
