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

Your search returned 20499 results. Subscribe to this search

|
5741. PASCAL Implementation : the Pascal computer

by Pemberton, Steven | Daniels, Martin.

Material type: book Book; Format: print ; Literary form: not fiction Description: 2 v.Publisher: Chichester Ellis Horwood 1982Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 P369p] (1).

5742. PASCAL Implementation : :the Pascal computer

by Pemberton, Steven | Daniels, Martin.

Material type: book Book; Format: print ; Literary form: not fiction Description: 2 v.Publisher: Chichester Ellis Horwood 1982Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 P369p] (1).

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

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

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

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

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

5748. TECHNIQUE FOR SOFTWARE AND SYSTEMS DESIGN

by Lano, R. J.

Material type: book Book; Format: print ; Literary form: not fiction Description: iii,119.Publisher: Amsterdam North-Holland 1979Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 L285t] (1).

5749. Structured programming: theory and practice

by Linger, Richard C | Witt, Bernard I.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiv, 402p.Publisher: Reading, Massachusetts Addison-Wesley 1979Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 L646s] (2).

5750. FORTRAN 77

by Katzan, Harry.

Material type: book Book; Format: print ; Literary form: not fiction Description: xvi, 207p.Publisher: New York Van Nostrand Reinhold 1978Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 K159f] (1).

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

5752. RESEARCH DIRECTIONS OF SOFTWARE TECHNOLOGY

by Wegner, Peter [ed.].

Material type: book Book; Format: print ; Literary form: not fiction Description: xiii, 869p.Publisher: Cambridge Mit Press 1979Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 R311] (1).

5753. RISS : a relational data base management system for minicompurters

by Meldman, Monte Jay.

Material type: book Book; Format: print ; Literary form: not fiction Description: ix,113p.Publisher: New York Van Nostrand Reinhold 1978Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 R496] (1).

5754. CONCEPTS OF PROGRAMMING LANGUAGES

by Elson, Mark.

Material type: book Book; Format: print ; Literary form: not fiction Description: xii,333.Publisher: Chicago Science Research Associates 1973Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 El78c] (1).

5755. VEDIC BIBLIOGRAPHY

by Dandekar, R. N.

Edition: 2ndMaterial type: book Book; Format: print ; Literary form: not fiction Description: xx, 398p.Publisher: Poona Bhandarkar Oriental Research Institute 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 016.2945921 D196v2] (1). Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 016.2945921 D196v2] (1).

5756. VEDIC BIBLIOGRAPHY

by Dandekar, R. N.

Edition: 2ndMaterial type: book Book; Format: print ; Literary form: not fiction Description: 4 v.Publisher: Poona Bhandarkar Oriental Research Institute 1986Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 016.2945921 D196v2] (1).

5757. VEDIC BIBLIOGRAPHY

by Dandekar, R. N.

Edition: 2ndMaterial type: book Book; Format: print ; Literary form: not fiction Description: 4 v.Publisher: Poona Bhandarkar Oriental Research Institute 1986Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 016.2945921 D196v2] (1).

5758. COBOL ENVIRONMENT

by Grauer, Robert T | Crawford, Marshal A.

Material type: book Book; Format: print ; Literary form: not fiction Description: xv,464.Publisher: Englewood Cliffs Prentice-Hall 1979Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 G776c] (1).

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

5760. Schaum's outline of theory and problems of programming with FORTRAN : including structured program

by Lipschutz, Seymour | Poe, Arthur.

Edition: SI (metric)Material type: book Book; Format: print ; Literary form: not fiction Description: 324.Publisher: Singapore Mcgraw-Hill 1982Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 L668s] (1).

Powered by Koha