PKK Library

Your cart is empty.

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

Your search returned 7909 results. Subscribe to this search

Unhighlight Highlight
|
1281.
Structure and interpretation of computer programs

by Abelson, Harold | Sussman, Gerald Jay.

Material type: book Book; Format: print ; Literary form: not fiction Description: xx, 542p.Publisher: Cambridge MIT Press 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 Ab34s Cop.3] (1).

Place hold Add to cart
1282.
STRUCTURE AND INTERPRETATION OF COMPUTER PROGRAMS

by Abelson, Harold | Sussman, Julie.

Material type: book Book; Format: print ; Literary form: not fiction Description: xx,542.Publisher: Cambridge Mit Press 1985Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.642 Ab34s] (1).

Add to cart
1283.
STRUCTURE AND INTERPRETATION OF COMPUTER PROGRAMS

by Abelson, Harold | Sussman, Julie.

Material type: book Book; Format: print ; Literary form: not fiction Description: xx,542.Publisher: Cambridge Mit Press 1985Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.642 Ab34s] (1).

Add to cart
1284.
The design of well-structured and correct programs

by Alagic, Suad | Arbib, Michael A.

Material type: book Book; Format: print ; Literary form: not fiction Description: vii, 292p.Publisher: New York Springer 1978Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 Al11d] (2).

Place hold Add to cart
1285.
PROGRAMMING THE M68000

by King, Tim | Knight, Brian.

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

Place hold Add to cart
1286.
A model implementation of standard Pascal

by Welsh, Jim | Hay, Atholl.

Material type: book Book; Format: print ; Literary form: not fiction Description: xi, 463p.Publisher: Englewood Cliffs Prentice-Hall International 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 W465m] (1).

Place hold Add to cart
1287.
COMPANION TO BBC MICROCOMPUTERS

by Wheelwright, Geof.

Material type: book Book; Format: print ; Literary form: not fiction Description: 125.Publisher: London Pan Books 1983Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 W571c] (1).

Add to cart
1288.
PROGRAMMING IN MODULA-2

by Wirth, Niklaus.

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

Add to cart
1289.
PROGRAMMING IN MODULA-2

by Wirth, Niklaus.

Edition: 3rdMaterial type: book Book; Format: print ; Literary form: not fiction Description: 202.Publisher: Berlin Springer-Verlag 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 W746p3] (1).

Place hold Add to cart
1290.
PROBLEM SOLVING AND STRUCTURED PROGRAMMING IN FORTRAN

by Friedman, Frank L | Koffman, Elliot B.

Material type: book Book; Format: print ; Literary form: not fiction Description: 404.Publisher: Massachusetts Addison-Wesley Pub. 1977Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424028 F914] (1).

Place hold Add to cart
1291.
Software verification and validation : realistic project approaches

by Deutsch, Michael S.

Material type: book Book; Format: print ; Literary form: not fiction Description: xvi, 327p.Publisher: Englewood Cliffs, New Jersey Prentice-Hall 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64240287 D489s] (1).

Place hold Add to cart
1292.
SCHAUM'S OUTLINE OF THEORY AND PROBLEMS OF PROGRAMMING WITH STRUCTURED COBOL

by Newcomer, Lawrence R.

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

Add to cart
1293.
KNOWLEDGE SYSTEMS AND PROLOG

by Walker, Adrian.

Material type: book Book; Format: print ; Literary form: not fiction Description: xii,475.Publisher: Reading, Mass. Addison-Wesley 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 003 K76] (1).

Place hold Add to cart
1294.
Program construction and verification

by Backhouse, Roland C.

Material type: book Book; Format: print ; Literary form: not fiction Description: xi, 281p.Publisher: Englewood Cliffs, New Jersey Prentice-Hall International 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 B127p] (1).

Place hold Add to cart
1295.
Program construction and verification

by Backhouse, Roland C.

Material type: book Book; Format: print ; Literary form: not fiction Description: xi, 281p.Publisher: Englewood Cliffs, New Jersey Prentice-Hall 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 B127p] (1).

Place hold Add to cart
1296.
Mathematical theory of program correctness

by Bakker, Jaco de.

Material type: book Book; Format: print ; Literary form: not fiction Description: xvi, 505p.Publisher: Englewood Cliffs, New Jersey Prentice-Hall 1980Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 B179m] (1).

Place hold Add to cart
1297.
TRS-80 ASSEMBLY LANGUAGE SUBROUTINES

by Barden, William.

Material type: book Book; Format: print ; Literary form: not fiction Description: vii,232.Publisher: Englewood Cliffs Prentice-Hall 1982Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.642 B235t] (1).

Add to cart
1298.
IBM PC/PC JR. PROGRAMMING FOR LEARNING AND TEACHING

by Bell, Frederick H.

Material type: book Book; Format: print ; Literary form: not fiction Description: xxiv,353.Publisher: Reston Reston Pub. 1985Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.642 B413i] (1).

Add to cart
1299.
Explorer's guide to the ZX spectrum and ZX81

by Kasper, Boon.

Material type: book Book; Format: print ; Literary form: not fiction Description: viii,257p.Publisher: London Addison-Wesley 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 B644e] (1).

Place hold Add to cart
1300.
DATA MODELS

by Borkin, Sheldon A.

Material type: book Book; Format: print ; Literary form: not fiction Description: 269.Publisher: Cambridge Mit 1980Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 B644d] (1).

Place hold Add to cart

Powered by Koha