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

Your search returned 317 results. Subscribe to this search

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

102. PROGRAMMING LANGUAGE STRUCTURES

by Organick, Elliott I | Plummer, Robert P.

Material type: book 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).

103. FULL ABSTRACTION AND SEMANTIC EQUIVALENCE

by Mulmuley, Ketan.

Material type: book 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).

104. MICROPROGRAMMING TECHNIQUES

by Evans, Stainley J.

Material type: book 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).

105. McGRAW HILL PERSONAL COMPUTER PROGRAMMING ENCYCLOPEDIA : LANGUAGES AND OPERATING SYSTEMS

by Birnes, William J. [ed.] | Hayfield, Nancy [ed.].

Material type: book 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).

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

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

108. SOFTWARE DESIGN FOR MINICOMPUTERS

by Ogdin, Carol Anne.

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

109. DENOTATIONAL DESCRIPTION OF PROGRAMMING LANGUAGES

by Gordon, Michael J. C.

Material type: book Book; Format: print ; Literary form: not fiction Description: 160.Publisher: New York Springer-Verlag 1979Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 G653d] (1).

110. PROGRAMMING LANGUAGE CONCEPTS

by Ghezzi, Carlo | Jazayeri, Mehdi.

Material type: book Book; Format: print ; Literary form: not fiction Description: xvi,327.Publisher: New York John Wiley 1982Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 G343p] (1).

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

112. FAIRNESS

by Francez, Nissim.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiii,295.Publisher: New York Springer Verlag 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 F845f] (1).

113. Data types and structures

by Gotlieb, C. C | Gotlieb, L. R.

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

114. PROGRAMMING TECHNIQUES IN COMPUTER AIDED DESIGN

by Sabin, M. A.

Material type: book Book; Format: print ; Literary form: not fiction Description: 316.Publisher: London Ncc Pub. 1974Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 Sa13p] (1).

115. SCHAUM'S OUTLINE OF THEORY AND PROBLEMS OF COMPUTERS AND PROGRAMMING

by Scheid, Francis.

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

116. SCHAUM'S OUTLINE OF THEORY AND PROBLEMS OF COMPUTERS AND PROGRAMMING

by Scheid, Francis.

Material type: book Book; Format: print ; Literary form: not fiction Description: 402.Publisher: Singapore Mcgraw-Hill 1983Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 Sch25s] (1).

117. AADIKAND

by Bandyopadhyay.

Material type: book Book; Format: print ; Literary form: not fiction Description: 138.Publisher: Cambridge Mit Press 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 891.433 B222A] (1).

118. Operating system principles

by Hansen, Per Brinch.

Material type: book Book; Format: print ; Literary form: not fiction Description: xviii, 366p.Publisher: New Delhi Prentice-Hall Of India 1980Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 H198o Cop.4] (1).

119. COMPUTER COMES OF AGE

by Moreau, R.

Material type: book Book; Format: print ; Literary form: not fiction Description: x,227.Publisher: Cambridge, Mass. Mit Press 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6409 M813c] (1).

120. ALGORITHMIC LANGUAGE AND PROGRAM DEVELOPMENT

by Bauer, Friedrich Ludwig | Wossner, Hans.

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

Powered by Koha