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

Your search returned 2255 results. Subscribe to this search

|
941. SCHAUM'S OUTLINE OF THEORY AND PROBLEMS OF PROGRAMMING WITH PASCAL

by Gottfried, Byron S.

Material type: book Book; Format: print ; Literary form: not fiction Description: 406p.Publisher: Mcgraw-Hill Book Company 1985Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 G713s] (1).

942. Introduction to system software

by Dhamdhere, D. M.

Material type: book Book Description: viii, 400p.Publisher: New Delhi Tata Mcgraw-Hill c1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 D535i] (1).

943. The KornShell command and programming language

by Bolsky, Morris I | Korn, David G.

Material type: book Book Description: xvi, 356p.Publisher: Englewood Cliffs Prentice Hall 1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 B638k] (1).

944. Mathematical programming : Theory and algorithms

by Minoux, M.

Material type: book Book; Format: print ; Literary form: not fiction Publisher: Chichester John Wiley & Sons 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 519.7 M666m2] (1).

945. FOUNDATIONS OF DEDUCTIVE DATABASES AND LOGIC PROGRAMMING

by Minker, Jack.

Material type: book Book Description: 746.Publisher: Los Altos Morgan Kaufman Pub. c1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.3 F825] (1).

946. PROGRAMMING BY EXAMPLE

by Halbert, Daniel Conard.

Material type: book Book; Format: print ; Literary form: not fiction Description: v,120.Publisher: Berkeley University Of California 1984Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 H128p] (1).

947. Software engineering : a practitioner's approach [2nd ed.]

by Pressman, Roger S.

Edition: 2ndMaterial type: book Book Description: xx, 567p.Publisher: New York McGraw-Hill 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 P926s2] (1).

948. PROGRAMMING BY DESIGN : A FIRST COURSE IN STRUCTURED PROGRAMMING

by Miller, Philip L | Miller, Lee. W.

Material type: book Book; Format: print ; Literary form: not fiction Description: xxi, 567p.Publisher: Belmont Wordsworth 1987Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 M617p] (1).

949. MICROSOFT (R) WORD FOR THE MACINTOSH TM

by Fischer, Michael A.

Material type: book Book; Format: print ; Literary form: not fiction Description: xvii,671.Publisher: Berkeley Osborne Mcgraw-Hill 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6425 F524m] (1).

950. Formal development of programs and proofs

by Dijkstra, Edsger W. [Ed.].

Material type: book Book Description: xiv, 242p.Publisher: Reading, Massachusetts Addison-Wesley 1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 F765] (1).

951. EFFICIENT PARALLEL ALGORITHMS

by Gibbons, Alan | Rytter, Wajciech.

Material type: book Book; Format: print ; Literary form: not fiction Description: 259.Publisher: Cambridge Cambridge Univ. Press 1988Availability: No items available Checked out (1).

952. SYSTEM SIMULATION PROGRAMMING STYLES AND LANGUAGES

by Kreutzer, Wolfgang.

Material type: book Book; Format: print ; Literary form: not fiction Description: xi,366.Publisher: Sydney Addison-Wesley 1986Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 003 K888s] (1).

953. Elements of Functional Programming

by Reade, Chris.

Material type: book Book Description: xv, 600p.Publisher: Wokingham Addison-Wesley 1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.11 R221e] (1). Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 005.11 R221e] (1).

954. ELEMENTS OF FUNCTIONAL PROGRAMMING

by Reade, Chris.

Material type: book Book Description: xv,600.Publisher: Wokingham Addison-Wesley c1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 R221e] (1).

955. REAL-TIME MICROCOMPUTER CONTROL OF INDUSTRIAL PROCESSES

by Tzafestas, Spyros G | Pal, J. K.

Material type: book Book Description: xv,515.Publisher: Dordrecht Kluwer c1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 670.4202854 R229] (1).

956. CONCURRENT PROGRAMMING

by Gehani, Narain | Mcgettrick, Andrew D.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiii,621.Publisher: Workingham Addison-Wesley 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 C749] (1).

957. COMPUTATIONAL CATEGORY THEORY

by Rydeheard, David E | Burstall, Rod M.

Material type: book Book Description: xiii,257.Publisher: New York Prentice Hall c1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 511.3 R972] (1).

958. Introduction to functional programming

by Bird, Richard | Wadler, Philip.

Material type: book Book; Format: print ; Literary form: not fiction Description: xv, 293p.Publisher: New York Prentice Hall 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 B532i] (1).

959. STRUCTURED COMPUTER ORGANISATION

by Tanenbaum, Andrew S.

Edition: 3rdMaterial type: book Book; Format: print ; Literary form: not fiction Description: xvii,587.Publisher: New Delhi Prentice Hall Of India 1990Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.642 T155s3] (1).

960. DESIGN AND IMPLEMENTATION OF CONCURRENT SMALLTALK

by Yokote, Yasuhiko.

Material type: book Book Description: xv,153.Publisher: Singapore World Scientific c1990Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 Y77d] (1).

Powered by Koha